2020 Fall Qualifying Exam in Complex Analysis
Problem 1.
Prove that there exists no holomorphic function
where
Proof.
If such an
Thus the imaginary part would be
The Cauchy-Riemann equations give
and
The first equation says
while the second says
Then
which is impossible for a
Problem 2.
Let
for all
Prove that
Proof.
First,
but
for small
Thus
so
By the maximum modulus principle,
Therefore
Problem 3.
Prove that for any
has at least one root in the disk
Proof.
If
Let the roots be
for every
Then
The reciprocal polynomial is
After dividing by
Thus the elementary symmetric functions satisfy
and
Newton's identities then imply
But
for
is already impossible with both
Therefore at least one root satisfies
Problem 4.
Evaluate
Proof.
Use the partial fraction decomposition
The apparent singularities are removable in the original integrand. We use
and, in the principal-value sense,
Therefore
Since
Problem 5.
Suppose the radius of convergence of
is equal to
Proof.
Since the original radius of convergence is
It follows that
Let
Then
The new series is
As a power series in
Therefore it converges when
The radius of convergence in
Problem 6.
Find explicitly a conformal mapping of
onto the unit disk.
Proof.
One explicit construction is as follows. First square:
This maps the right half of the unit disk with the slit
Next use the disk automorphism
which sends the slit
This opens the slit and maps the domain conformally to a half-disk. A final Mobius transformation maps that half-disk to the unit disk. Thus one explicit map is
with the square-root branch chosen as above. This is a composition of conformal maps and hence is conformal onto the unit disk.
Problem 7.
Let
and
Which of
Proof.
The family
with
Thus
The family
belong to
The family
Thus
Problem 8.
Let
(1) There exists at most one fixed point of
(2) There exists exactly one fixed point of
Proof.
Since
Then
is a holomorphic self-map of
(1) This is true. If
(2) This is false. For example, on
This maps
Conjugating this example by a Riemann map gives a counterexample on any simply connected proper domain
