The Cauchy Integral Formula

Transcription

The Cauchy Integral Formula
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
The Cauchy Integral Formula
Bernd Schröder
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
1. One of the most important consequences of the Cauchy-Goursat
Integral Theorem is that the value of an analytic function at a
point can be obtained from the values of the analytic function on
a contour surrounding the point
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
1. One of the most important consequences of the Cauchy-Goursat
Integral Theorem is that the value of an analytic function at a
point can be obtained from the values of the analytic function on
a contour surrounding the point (as long as the function is
defined on a neighborhood of the contour and its inside).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
1. One of the most important consequences of the Cauchy-Goursat
Integral Theorem is that the value of an analytic function at a
point can be obtained from the values of the analytic function on
a contour surrounding the point (as long as the function is
defined on a neighborhood of the contour and its inside).
2. The result itself is known as Cauchy’s Integral Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
1. One of the most important consequences of the Cauchy-Goursat
Integral Theorem is that the value of an analytic function at a
point can be obtained from the values of the analytic function on
a contour surrounding the point (as long as the function is
defined on a neighborhood of the contour and its inside).
2. The result itself is known as Cauchy’s Integral Theorem.
3. Among its consequences is, for example, the Fundamental
Theorem of Algebra, which says that every nonconstant complex
polynomial has at least one complex zero.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
4. Once we have introduced series, another consequence is the fact
that every analytic function is locally equal to a power series.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
4. Once we have introduced series, another consequence is the fact
that every analytic function is locally equal to a power series.
This very powerful result is a cornerstone of complex analysis.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
4. Once we have introduced series, another consequence is the fact
that every analytic function is locally equal to a power series.
This very powerful result is a cornerstone of complex analysis.
5. In this presentation we will at least be able to prove that analytic
functions have derivatives of any order.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Introduction
4. Once we have introduced series, another consequence is the fact
that every analytic function is locally equal to a power series.
This very powerful result is a cornerstone of complex analysis.
5. In this presentation we will at least be able to prove that analytic
functions have derivatives of any order.
6. ... and the above are only highlights of the consequences of
Cauchy’s Integral Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula. Let C be a simple closed
positively oriented piecewise smooth curve, and let the function f be
analytic in a neighborhood of C and its interior.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula. Let C be a simple closed
positively oriented piecewise smooth curve, and let the function f be
analytic in a neighborhood of C and its interior. Then for every z0 in
the interior of C we have that
f (z0 ) =
Bernd Schröder
The Cauchy Integral Formula
1
2πi
f (z)
dz.
C z − z0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz
C(r,z0 ) z − z0
Z
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz =
C(r,z0 ) z − z0
Z
Bernd Schröder
The Cauchy Integral Formula
1
2πi
Z 2π
0
1
ireit dt
(z0 + reit ) − z0
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz =
C(r,z0 ) z − z0
Z
=
Bernd Schröder
The Cauchy Integral Formula
2π
1
1
ireit dt
2πi 0 (z0 + reit ) − z0
Z 2π
1
1
ireit dt
2πi 0 reit
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz =
C(r,z0 ) z − z0
Z
=
=
Bernd Schröder
The Cauchy Integral Formula
2π
1
1
ireit dt
2πi 0 (z0 + reit ) − z0
Z 2π
1
1
ireit dt
2πi 0 reit
Z
1 2π
dt
2π 0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz =
C(r,z0 ) z − z0
Z
=
=
Bernd Schröder
The Cauchy Integral Formula
2π
1
1
ireit dt
2πi 0 (z0 + reit ) − z0
Z 2π
1
1
ireit dt
2πi 0 reit
Z
1 2π
dt = 1
2π 0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Example. Let’s first check out if the theorem works for f (z) = 1 and
the circle C(r, z0 ) of radius r around z0 .
1
2πi
1
dz =
C(r,z0 ) z − z0
Z
=
=
Bernd Schröder
The Cauchy Integral Formula
2π
1
1
ireit dt
2πi 0 (z0 + reit ) − z0
Z 2π
1
1
ireit dt
2πi 0 reit
Z
1 2π
dt = 1 = f (z0 )
2π 0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
-
C(r, z0 )
r
]
?
O
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
-
C(r, z0 )
r
]
?
O
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
-
C(r, z0 )
r
]
?
O
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
r-
C(r, z0 )
r
]
?
O
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
rr C(r, z )
r 0?
]
O
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
I r rC(r, z0 )
r
?
O
]
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
R
I r rC(r, z0 )
r
?
O
]
C
-
Bernd Schröder
The Cauchy Integral Formula
1
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
D
r
r
R
I r rC(r, z0 )
r
?
O
]
C
-
1
f (z)
dz =
C z − z0
Z
Bernd Schröder
The Cauchy Integral Formula
f (z)
dz.
C(r,z0 ) z − z0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) ≤
z − z0 d|z|
C(r,z )
0
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
1
= max f (z) − f (z0 )2πr
r
C(r,z0 )
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
1
= max f (z) − f (z0 )2πr = 2π max f (z) − f (z0 )
r
C(r,z0 )
C(r,z0 )
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
1
= max f (z) − f (z0 )2πr = 2π max f (z) − f (z0 )
r
C(r,z0 )
C(r,z0 )
and if we choose r small enough, we can make the last term arbitrarily
small.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
1
= max f (z) − f (z0 )2πr = 2π max f (z) − f (z0 )
r
C(r,z0 )
C(r,z0 )
and if we choose r small enough, we can make the last term arbitrarily
small. But that means that the original difference must be zero.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof of Cauchy’s Integral Formula.
Z
f
(z)
C z − z0 dz − 2πif (z0 )
Z
Z
f (z)
f (z0 ) = dz −
dz
C(r,z0 ) z − z0
C(r,z0 ) z − z0
Z
f (z) − f (z0 ) dz
= z − z0
C(r,z0 )
Z
f (z) − f (z0 ) Z
1
d|z| ≤ max f (z) − f (z0 )
≤
d|z|
z − z0
C(r,z0 )
C(r,z0 )
C(r,z0 ) r
1
= max f (z) − f (z0 )2πr = 2π max f (z) − f (z0 )
r
C(r,z0 )
C(r,z0 )
and if we choose r small enough, we can make the last term arbitrarily
small. But that means that the original difference must be zero.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Bernd Schröder
The Cauchy Integral Formula
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
1. Note that the right side is a function of z0 .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
1. Note that the right side is a function of z0 .
1
2. For z fixed,
is differentiable in z0 .
z − z0
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
1. Note that the right side is a function of z0 .
1
2. For z fixed,
is differentiable in z0 .
z − z0
3. So if we could move the derivative into the integral, we could get
a formula for f 0 .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
1. Note that the right side is a function of z0 .
1
2. For z fixed,
is differentiable in z0 .
z − z0
3. So if we could move the derivative into the integral, we could get
a formula for f 0 .
1
4. And, anticipating that the new integrand will involve
,
(z − z0 )2
there is no reason to think that the process should stop there.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
1
Analyzing f (z0 ) =
2πi
Fundamental Theorem of Algebra
Maximum Modulus Principle
f (z)
dz.
γ z − z0
Z
1. Note that the right side is a function of z0 .
1
2. For z fixed,
is differentiable in z0 .
z − z0
3. So if we could move the derivative into the integral, we could get
a formula for f 0 .
1
4. And, anticipating that the new integrand will involve
,
(z − z0 )2
there is no reason to think that the process should stop there.
5. So for analytic functions, being once differentiable should imply
that we have derivatives of any order.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Warning.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Warning. The next result (as motivated on the preceding panel) does
not work for functions of a real variable.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Warning. The next result (as motivated on the preceding panel) does
not work
of a real variable. Consider
for functions
x2 ; for x > 0,
f (x) =
−x2 ; for x ≤ 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Warning. The next result (as motivated on the preceding panel) does
not work
of a real variable. Consider
for functions
x2 ; for x > 0,
Its derivative is 2|x|
f (x) =
−x2 ; for x ≤ 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Warning. The next result (as motivated on the preceding panel) does
not work
of a real variable. Consider
for functions
x2 ; for x > 0,
Its derivative is 2|x|, which is not
f (x) =
−x2 ; for x ≤ 0.
differentiable at 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula (extended).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula (extended). Let C be a simple
closed positively oriented piecewise smooth curve, and let the
function f be analytic in a neighborhood of C and its interior.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Integral Formula (extended). Let C be a simple
closed positively oriented piecewise smooth curve, and let the
function f be analytic in a neighborhood of C and its interior. Then
for every z0 in the interior of C and every natural number n we have
that f is n-times differentiable at z0 and its derivative is
f
Bernd Schröder
The Cauchy Integral Formula
(n)
n!
(z0 ) =
2πi
f (z)
dz.
n+1
C (z − z0 )
Z
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
f (n) (w) − f (n) (z0 )
w→z0
w − z0
lim
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
f (n) (w) − f (n) (z0 )
w→z0
w − z0
Z
Z
f (z)
f (z)
1
n!
n!
= lim
dz −
dz
w→z0 w − z0
2πi C (z − w)n+1
2πi C (z − z0 )n+1
lim
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
f (n) (w) − f (n) (z0 )
w→z0
w − z0
Z
Z
f (z)
f (z)
1
n!
n!
= lim
dz −
dz
w→z0 w − z0
2πi C (z − w)n+1
2πi C (z − z0 )n+1
Z
n!
1
f (z)
f (z)
= lim
−
dz
n+1
w→z0 2πi w − z0 C (z − w)
(z − z0 )n+1
lim
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
f (n) (w) − f (n) (z0 )
w→z0
w − z0
Z
Z
f (z)
f (z)
1
n!
n!
= lim
dz −
dz
w→z0 w − z0
2πi C (z − w)n+1
2πi C (z − z0 )n+1
Z
n!
1
f (z)
f (z)
= lim
−
dz
n+1
w→z0 2πi w − z0 C (z − w)
(z − z0 )n+1
lim
n!
= lim
w→z0 2πi
Bernd Schröder
The Cauchy Integral Formula
Z
f (z)
C(z0 ,r)
1
(z−w)n+1
− (z−z1 )n+1
0
w − z0
dz
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. Induction on n.
Base step, n = 0. This is Cauchy’s Integral Formula.
Induction step, n → (n + 1).
f (n) (w) − f (n) (z0 )
w→z0
w − z0
Z
Z
f (z)
f (z)
1
n!
n!
= lim
dz −
dz
w→z0 w − z0
2πi C (z − w)n+1
2πi C (z − z0 )n+1
Z
n!
1
f (z)
f (z)
= lim
−
dz
n+1
w→z0 2πi w − z0 C (z − w)
(z − z0 )n+1
lim
1
Z
− (z−z1 )n+1
n!
(z−w)n+1
0
= lim
f (z)
dz
w→z0 2πi C(z0 ,r)
w − z0
Z
n!
1
=
f (z)(−(n + 1))
(−1) dz
2πi C(z0 ,r)
(z − z0 )n+2
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
n!
2πi
Bernd Schröder
The Cauchy Integral Formula
Fundamental Theorem of Algebra
Z
f (z)(−(n + 1))
C(z0 ,r)
Maximum Modulus Principle
1
(−1) dz
(z − z0 )n+2
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
1
(−1) dz
n+2
(z
−
z
C(z0 ,r)
0)
Z
f (z)
(n + 1)!
=
dz
n+2
2πi
C(z0 ,r) (z − z0 )
n!
2πi
Bernd Schröder
The Cauchy Integral Formula
Z
f (z)(−(n + 1))
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
1
(−1) dz
n+2
(z
−
z
C(z0 ,r)
0)
Z
f (z)
(n + 1)!
=
dz
n+2
2πi
C(z0 ,r) (z − z0 )
Z
(n + 1)!
f (z)
=
dz
2πi
(z
−
z0 )n+2
C
n!
2πi
Bernd Schröder
The Cauchy Integral Formula
Z
f (z)(−(n + 1))
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
1
(−1) dz
n+2
(z
−
z
C(z0 ,r)
0)
Z
f (z)
(n + 1)!
=
dz
n+2
2πi
C(z0 ,r) (z − z0 )
Z
(n + 1)!
f (z)
=
dz
2πi
(z
−
z0 )n+2
C
n!
2πi
Bernd Schröder
The Cauchy Integral Formula
Z
f (z)(−(n + 1))
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable and thus all
derivatives are analytic on the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable and thus all
derivatives are analytic on the domain. Therefore real and imaginary
part have
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable and thus all
derivatives are analytic on the domain. Therefore real and imaginary
part have (by repeated application of the Cauchy-Riemann equations)
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable and thus all
derivatives are analytic on the domain. Therefore real and imaginary
part have (by repeated application of the Cauchy-Riemann equations)
continuous partial derivatives of all orders throughout the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be an analytic function on an open domain. Then all
derivatives of f are analytic on this domain, too. Moreover, the
component functions (the real and imaginary parts) have continuous
partial derivatives of all orders throughout the domain.
Proof. By the preceding result, we see that f has derivatives of all
orders. That means all derivatives are differentiable and thus all
derivatives are analytic on the domain. Therefore real and imaginary
part have (by repeated application of the Cauchy-Riemann equations)
continuous partial derivatives of all orders throughout the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0.
contained in the open set we have
C
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
Bernd Schröder
The Cauchy Integral Formula
C
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
C
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
C
Proof. By theorem from an earlier presentation, f has an
antiderivative F.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
C
Proof. By theorem from an earlier presentation, f has an
antiderivative F. By the preceding theorem, all derivatives of F
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
C
Proof. By theorem from an earlier presentation, f has an
antiderivative F. By the preceding theorem, all derivatives of F
(including f ) are analytic.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Morera’s Theorem. Let f be a continuous complex
function on an open set so that for Zevery simple closed curve C
f (z) dz = 0. Then f is analytic in
contained in the open set we have
the open set.
C
Proof. By theorem from an earlier presentation, f has an
antiderivative F. By the preceding theorem, all derivatives of F
(including f ) are analytic.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Z
f (z) n!
d|z|
≤
2π CR (z0 ) (z − z0 )n+1 Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Z
f (z) n!
d|z|
≤
2π CR (z0 ) (z − z0 )n+1 Z
n!
MR
≤
d|z|
2π CR (z0 ) Rn+1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Z
f (z) n!
d|z|
≤
2π CR (z0 ) (z − z0 )n+1 Z
n!
MR
≤
d|z|
2π CR (z0 ) Rn+1
n!
MR
≤
2πR n+1
2π
R
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Z
f (z) n!
d|z|
≤
2π CR (z0 ) (z − z0 )n+1 Z
n!
MR
≤
d|z|
2π CR (z0 ) Rn+1
n!MR
n!
MR
≤
2πR n+1 =
Rn
2π
R
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Cauchy’s Inequality. Let f be analytic on a circle CR (z0 )
of radius R centered at z0 and in the circle’s interior. If |f | is bounded
n!M
R
by MR on the circle, then for all n we have f (n) (z0 ) ≤
.
Rn
Proof.
n! Z
f
(z)
(n)
dz
f (z0 ) = 2πi CR (z0 ) (z − z0 )n+1 Z
f (z) n!
d|z|
≤
2π CR (z0 ) (z − z0 )n+1 Z
n!
MR
≤
d|z|
2π CR (z0 ) Rn+1
n!MR
n!
MR
≤
2πR n+1 =
Rn
2π
R
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.)
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 )
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B
R
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B → 0 (R → ∞).
R
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B → 0 (R → ∞).
R
Because R was arbitrary, we infer that f 0 (z0 ) = 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B → 0 (R → ∞).
R
Because R was arbitrary, we infer that f 0 (z0 ) = 0. Because z0 was
arbitrary, we have f 0 = 0.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B → 0 (R → ∞).
R
Because R was arbitrary, we infer that f 0 (z0 ) = 0. Because z0 was
arbitrary, we have f 0 = 0. But f 0 = 0 implies that f is constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Liouville’s Theorem. Let f be an entire function. (That is,
f is analytic in C.) If f is bounded, then f is constant.
Proof. Let |f | be bounded by B. Let R > 0 be arbitrary. By Cauchy’s
Inequality with n = 1, for every z0 in C we have
0
f (z0 ) ≤ B → 0 (R → ∞).
R
Because R was arbitrary, we infer that f 0 (z0 ) = 0. Because z0 was
arbitrary, we have f 0 = 0. But f 0 = 0 implies that f is constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then
analytic in the complex plane.
Bernd Schröder
The Cauchy Integral Formula
1
p
is
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
=0
z→∞ p(z)
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere, which was excluded by
hypothesis.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere, which was excluded by
hypothesis. Thus 1p is bounded on C.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere, which was excluded by
hypothesis. Thus 1p is bounded on C.
Now by Liouville’s Theorem we infer that 1p is constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere, which was excluded by
hypothesis. Thus 1p is bounded on C.
Now by Liouville’s Theorem we infer that 1p is constant. Hence p is
constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Fundamental Theorem of Algebra. Every nonconstant
complex polynomial has at least one complex zero.
Proof. Let p be a complex polynomial without zeros. Then 1p is
analytic in the complex plane. We claim that 1p is bounded on C. To
1
see this claim, first note that lim
= 0, because lim p(z) = ∞.
z→∞ p(z)
z→∞
1
Thus p is bounded outside a circle C(R, 0) for sufficiently large R.
But the only way 1p can be unbounded inside C(R, 0) is for the
denominator p(z) to go to zero somewhere, which was excluded by
hypothesis. Thus 1p is bounded on C.
Now by Liouville’s Theorem we infer that 1p is constant. Hence p is
constant.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Lemma.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Lemma. If f is analytic in some neighborhood |z − z0 | < ε and
|f (z)| ≤ |f (z0 )| for all z in that neighborhood
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Lemma. If f is analytic in some neighborhood |z − z0 | < ε and
|f (z)| ≤ |f (z0 )| for all z in that neighborhood, then in fact f (z) = f (z0 )
for all z in that neighborhood.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z|
≤
2π C(z0 ,r) r
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z| = f (z0 )
≤
2π C(z0 ,r) r
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z| = f (z0 )
≤
2π C(z0 ,r) r
and the latter integral will be strictly smaller
than
f (z0 ) if there is
even a single point z on C(z0 , r) where f (z) < f (z0 ).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z| = f (z0 )
≤
2π C(z0 ,r) r
and the latter integral will be strictly smaller
than
f (z0 ) if there is
even a single point z on C(z0 , r) where f (z) < f (z0 ). Thus for all
r < ε and all |z − z0 | = r we must have f (z) = f (z0 ).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z| = f (z0 )
≤
2π C(z0 ,r) r
and the latter integral will be strictly smaller
than
f (z0 ) if there is
even a single point z on C(z0 , r) where f (z) < f (z0 ). Thus for all
r < ε and all |z − z0 | = r we must have f (z) = f (z0 ). But if |f | is
constant for |z − z0 | < ε, then so is f .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Proof. By Cauchy’s Formula, for all circles C(z0 , r) with r < ε we
have that
Z
f (z)
f (z0 ) = 1
2πi C(z ,r) z − z0 dz
0
Z
f (z) 1
d|z|
≤
2π C(z0 ,r) z − z0 Z
f (z0 )
1
d|z| = f (z0 )
≤
2π C(z0 ,r) r
and the latter integral will be strictly smaller
than
f (z0 ) if there is
even a single point z on C(z0 , r) where f (z) < f (z0 ). Thus for all
r < ε and all |z − z0 | = r we must have f (z) = f (z0 ). But if |f | is
constant for |z − z0 | < ε, then so is f .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ). Thus the point on C that
is in this disk and closest to z1 (on the arc C) has the same properties
as z0 .
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ). Thus the point on C that
is in this disk and closest to z1 (on the arc C) has the same properties
as z0 . Continue with a disk of maximum radius around this new point.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ). Thus the point on C that
is in this disk and closest to z1 (on the arc C) has the same properties
as z0 . Continue with a disk of maximum radius around this new point.
Repeat until we have that f (z1 ) = f (z0 ).
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ). Thus the point on C that
is in this disk and closest to z1 (on the arc C) has the same properties
as z0 . Continue with a disk of maximum radius around this new point.
Repeat until we have that f (z1 ) = f (z0 ). This would prove that f is
constant, a contradiction.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Theorem. Maximum Modulus Principle. Let f be analytic and not
constant on an open domain. Then f does not assume a maximum
value on the domain. That is, there is no z0 in the domain so that
|f (z)| ≤ |f (z0 )| for all z in the domain.
Proof. Suppose for a contradiction that such a z0 does exist. By the
preceding lemma, f would be constant on a disk around z0 . Moreover,
we could choose the radius of the disk arbitrarily large, as long as it
stays inside the domain. Now let z1 be in the domain. Then there is an
arc C from z0 to z1 and the arc has a positive (minimum) distance
from the boundary of the domain. Now there is a disk of maximum
radius around z0 on which f is equal to f (z0 ). Thus the point on C that
is in this disk and closest to z1 (on the arc C) has the same properties
as z0 . Continue with a disk of maximum radius around this new point.
Repeat until we have that f (z1 ) = f (z0 ). This would prove that f is
constant, a contradiction.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
z0
u
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
u
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
&%
"!
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
&%
"!
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
h
z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
hi z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
hi
k z1
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
n z1
hi
k
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
n z1
hi
k
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Visualization
'$
z0
# u
'$
&%
"!
&%
C
u
i
h
n z1
hi
k
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be continuous on a closed and bounded region and
let it be analytic and nonconstant in the interior of the region.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be continuous on a closed and bounded region and
let it be analytic and nonconstant in the interior of the region. Then
the largest value of |f | will be assumed at some point on the boundary
of the region and it will not be reached in the interior.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be continuous on a closed and bounded region and
let it be analytic and nonconstant in the interior of the region. Then
the largest value of |f | will be assumed at some point on the boundary
of the region and it will not be reached in the interior.
Proof.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be continuous on a closed and bounded region and
let it be analytic and nonconstant in the interior of the region. Then
the largest value of |f | will be assumed at some point on the boundary
of the region and it will not be reached in the interior.
Proof. Direct consequence of the fact that continuous functions will
assume a maximum on closed and bounded regions and the Maximum
Modulus Principle.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science
Cauchy Integral Formula
Infinite Differentiability
Fundamental Theorem of Algebra
Maximum Modulus Principle
Corollary. Let f be continuous on a closed and bounded region and
let it be analytic and nonconstant in the interior of the region. Then
the largest value of |f | will be assumed at some point on the boundary
of the region and it will not be reached in the interior.
Proof. Direct consequence of the fact that continuous functions will
assume a maximum on closed and bounded regions and the Maximum
Modulus Principle.
Bernd Schröder
The Cauchy Integral Formula
logo1
Louisiana Tech University, College of Engineering and Science

Similar documents