2004 Spring Comprehensive in Analysis
Problem 1.
Let
Compute
Proof.
Define
and
Then the system is
At
Its determinant is
Therefore, by the implicit function theorem,
Differentiate the two equations with respect to
At
so
Thus
Therefore
Problem 2.
Suppose
and assume that this series converges whenever
(a) Prove that the series
converges for
(b)
Prove that there exists a constant
for any
(c)
Prove that there exists a constant
for any
Proof.
(a)
Since the series converges at
In particular, there exists
for all
Since
converges, the series
converges absolutely. Hence it converges.
(b)
Since the series converges at
Thus the sequence
is bounded. Hence there exists
for all
Increasing
(c)
From part (b), there exists
Since
Therefore
Write
Since
we get
Using
with
Hence
Taking
we get
Problem 3.
(a) Define a contractive mapping. State the Contractive Mapping Principle.
(b)
For
for
(c) Use the Contractive Mapping Principle to prove that the system of equations
has a unique solution on
Proof.
(a)
A mapping
for all
The Contractive Mapping Principle says that if
(b) We use the sup norm
on
Thus
Taking the supremum over
Since
(c)
Since
The fixed point condition
Putting
Differentiating the equation gives
Therefore
Hence the fixed point is a solution of the system.
Conversely, any solution of the system satisfies
Integrating from
Since
Thus any solution is a fixed point of
Problem 4.
State and prove the Intermediate Value Theorem in one variable.
Proof.
Intermediate Value Theorem.
Let
Assume, without loss of generality, that
Define
Then
We claim that
First suppose
In particular, for some
Now suppose
Then no point of
Therefore neither
This proves the theorem.
Problem 5.
Suppose
such that
Proof.
Let
Since
Define
We must show that this definition is independent of the sequence chosen. Suppose
Then
By uniform continuity of
Hence the two limits are equal. Therefore
If
Thus
It remains to show that
then
Let
If
choose sequences
For sufficiently large
Then
Therefore
Letting
Thus
Problem 6.
Suppose
for all
Proof.
Since
for all
The function
is continuous on the compact interval
A standard theorem says that if
is Riemann integrable on
Remark.
This can be generalized to the improper integral case.
Problem 7.
For
Suppose
for any
Proof.
First,
then
so
Since
For
Then
Therefore
Now let
and
is open.
Problem 8.
Suppose
Prove that the product
Proof.
Since
For
Since
As
because
because
Thus
Problem 9.
(a)
State the Heine-Borel Theorem for subsets of
(b)
Construct a sequence
and let
for
Proof.
(a)
The Heine-Borel Theorem says that a subset
(b)
We first show that
Then
and
for
for every
and
for all
Next, since
Therefore
Thus
Then
we get
Thus
so
Therefore
