\magnification=\magstep1
\centerline{Mathematics 242 -- Principles of Analysis}
\centerline{Problem Set 8 -- {\bf Due:}  Friday, April 11}
\bigskip
\noindent
{\it `A` Section}
\bigskip
\noindent
1.  For each of the following functions and intervals: First state whether 
the hypotheses of the MVT are satisfied for $f$.  Second: If they are satisfied, 
determine all $c \in (a,b)$ such that $f(b) - f(a) = f'(c)(b - a)$.  If
they are not satisfied, determine whether the conclusion of the MVT holds even so.
\bigskip
\item{(a)} $f(x) = {4x + 1\over x - 1}$ on $[a,b] = [0,2]$.  
\item{(b)} $f(x) = x^{1/3}$ on $[a,b] = [0,1]$.
\item{(c)} $f(x) = \sin(\pi x)$ on $[0,3]$.
\item{(d)} $f(x) = \cases{1/x & if $x > 0$ \cr
                           2 & if $x = 0$\cr}$ on $[a,b] = [0,2]$.  
\bigskip
\noindent
2.  Let $f(x) = x^3 - \lambda x^2 - \lambda^2 x$, where $\lambda > 0$ is
a constant.
\bigskip
\item{(a)}  Show that $f$ is a 1-1 function on the interval $I = [-\lambda/3,\lambda]$.
\item{(b)}  Determine $f(I)$.  
\item{(c)}  Let $g$ be the inverse function of $f$ restricted to $I$.  What is
$g'(0)$?
\bigskip
\noindent
3.  Let $f(x) = x^2 + x + 3$ on $[0,3]$.  
\bigskip
\item{(a)}  Compute $L(f,{\cal P})$ and $U(f,{\cal P})$ for 
the partition ${\cal P} = \{0,1,2,3\}$.
\item{(b)}  Compute $L(f,{\cal P})$ and $U(f,{\cal P})$ for 
the partition ${\cal P'} = \{0,1/2,1,2,5/2,3\}$ and verify that the
statement of Lemma 5.1.9 holds here.  
\bigskip
\noindent
{\it `B` Section}
\bigskip
\noindent
1.  Recall that on a previous problem set, we showed
that 
$$\lim_{x \to 0} {\sin x \over x} = 1.\leqno(1)$$  
\item{(a)}  Show that 
$$\lim_{x \to 0} {1 - \cos(x)\over x} = 0.\leqno(2)$$  
You may only use the fact in equation (1) above and other general facts about limits. 
(In other words, no L'Hopital's Rule, which we have not discussed (yet) in this course -- see
part (e) of question 1 in the `B` section below.)
\item{(b)}  Use the limits in (1) and (2) above to show that if $f(x) = \sin(x)$
then $f$ is differentiable at all real $c$, and $f'(c) = \cos(c)$.  (Hint:
The best way to do this is to set up the limit for the derivative like this:
$$f'(c) = \lim_{x \to c} {\sin(x) - \sin(c)\over x - c} = 
\lim_{h\to 0} {\sin(c + h) - \sin(c)\over h}.)$$
\item{(c)}  Similarly, show that if $g(x) = \cos(x)$, then $g$ is differentiable
at all real $c$ and $g'(c) = -\sin(c)$.  
\bigskip
\noindent
2.  (Applications and Extensions of the ``Most Valuable Theorem'')
\bigskip
\item{(a)}  Prove that if $f$ is differentiable on $(a,b)$ and there exists a 
positive constant $M$ such that $|f'(x)| \le M$ for
all $x \in (a,b)$, then $f$ is uniformly continuous on $(a,b)$.  
\item{(b)}  Let $f$ be a function such that the first $n$ derivatives
$f', f'', \ldots, f^{(n)}$ exist for 
all $x\in {\bf R}$, and assume that 
$$f(x_1) = f(x_2) = \cdots = f(x_{n+1})$$
for distinct $x_1,x_2, \ldots, x_{n+1} \in {\bf R}$.  Show that $f^{(n)}(c) = 0$
for some $c \in {\bf R}$.  (An induction proof is a possibility here.  What is the base case?)
\item{(c)}  Let $f$ be differentiable and assume that $f'$ is strictly increasing
on ${\bf R}$.  If $f(a) = f(b)$ where $a < b$, then show that $f(x) < f(a) = f(b)$ for
all $a < x < b$.  
\item{(d)}  Let $f,g$ be continuous on $[a,b]$ and differentiable on $(a,b)$.  Show
there exists $c\in (a,b)$ such that $g'(c)(f(b) - f(a)) = f'(c)(g(b) - g(a))$.  
(Hint:  Consider the linear combination $h(x) = g(x)(f(b) - f(a)) - f(x)(g(b) - g(a))$. 
\item{(e)}  Use part (d) to deduce that if $f,g$ are differentiable on a deleted
neighborhood of $c$ with $\lim_{x\to c} f(x) = \lim_{x\to c} g(x) = 0$,
if $g'(x) \ne 0$ at all points of that deleted neighborhood and if
$$\lim_{x\to c} {f'(x)\over g'(x)} = L,$$
then 
$$\lim_{x\to c} {f(x) \over g(x)} = L\leqno(3) $$
as well.  That is, show that the limit on the left side of the equation in (3) 
exists and equals $L$.  (This is a basic form of L'Hopital's Rule for limits.)
\bigskip
\noindent
3.  Show that $\int_0^3 f$ exists and determine its value if
$$f(x) = \cases{1 & if $0 \le x \le 1$\cr
                3 & if $1 < x \le 3$.\cr}$$
(That is, show that $f$ is integrable according to our definition and determine
the value of $\int_0^3 f$.)
\bye
