Homework 8

Table of Contents

Exercise 19.8

  1. Use the Mean Value theorem to prove

    sinxsinyxy\abs{\sin{x} - \sin{y}} \leq \abs{x - y}

    for all x,yRx, y \in \R; see the proof of Theorem 19.6.

  2. Show sinx\sin x is uniformly continuous on R\R.

Solution.
  1. Let x,yRx, y \in \R. By the mean value theorem, there exists cc between xx and yy such that

    sinxsiny=(xy)cosc.\sin{x} - \sin{y} = \p{x - y} \cos{c}.

    But cosθθ\abs{\cos{\theta}} \leq \theta for any θR\theta \in \R, so taking absolute values, we get

    sinxsiny=(xy)coscxy.\abs{\sin{x} - \sin{y}} = \abs{\p{x - y} \cos{c}} \leq \abs{x - y}.
  2. Given ε>0\varepsilon > 0, we can just set δ=ε\delta = \varepsilon. If xy<δ\abs{x - y} < \delta, then by (1), we have

    sinxsinyxy<δ=ε.\abs{\sin{x} - \sin{y}} \leq \abs{x - y} < \delta = \varepsilon.

Exercise 28.4 (not graded)

Let f(x)=x2sin1xf\p{x} = x^2 \sin\frac{1}{x} for x0x \neq 0 and f(0)=0f\p{0} = 0.

  1. Use Theorem 28.3 and 28.4 to show ff is differentiable at each a0a \neq 0 and calculate f(a)f'\p{a}. Use, without proof, the fact that sinx\sin{x} is differentiable and that cosx\cos{x} is its derivative.
  2. Use the definition to show ff is differentiable at x=0x = 0 and f(0)=0f'\p{0} = 0.
  3. Show ff' is not continuous at x=0x = 0.
Solution.
  1. By the product rule and chain rule,

    f(a)=2asin1acos1a.f'\p{a} = 2a \sin\frac{1}{a} - \cos\frac{1}{a}.
  2. We have

    f(x)f(0)x0=x2sin1xx=xsin1xx.\abs{\frac{f\p{x} - f\p{0}}{x - 0}} = \abs{\frac{x^2\sin\frac{1}{x}}{x}} = \abs{x\sin \frac{1}{x}} \leq \abs{x}.

    By the squeeze theorem (which still applies to limits of functions by using the sequential definition of limits), since x0\abs{x} \to 0 as x0x \to 0, we see that ff is differentiable at 00 and f(0)=0f'\p{0} = 0.

  3. Let xn=12πnx_n = \frac{1}{2\pi n} so that xn0x_n \to 0. Then

    f(xn)=1πnsin(2πn)cos(2πn)=1f'\p{x_n} = \frac{1}{\pi n} \sin\p{2\pi n} - \cos\p{2\pi n} = 1

    for all nn. Thus, f(xn)1f'\p{x_n} \to 1, but f(0)=0f'\p{0} = 0.

Exercise 28.16

Let ff be a function defined on an open interval II containing aa. Show f(a)f'\p{a} exists if and only if there is a function ε(x)\varepsilon\p{x} defined on II such that

f(x)f(a)=(xa)[f(a)ε(x)]andlimxaε(x)=0.f\p{x} - f\p{a} = \p{x - a}\br{f'\p{a} - \varepsilon\p{x}} \quad\text{and}\quad \lim_{x\to a} \varepsilon\p{x} = 0.
Solution.

"    \implies"

Assume f(a)f'\p{a} exists; that is, the limit

limxaf(x)f(a)xa\lim_{x\to a} \frac{f\p{x} - f\p{a}}{x - a}

exists. Let

ε(x){f(a)f(x)f(a)xaif a0,0if a=0.\varepsilon\p{x} \coloneqq \begin{cases} f'\p{a} - \frac{f\p{x} - f\p{a}}{x - a} & \text{if } a \neq 0, \\ 0 & \text{if } a = 0. \end{cases}

(You can figure this out by just solving for ε(x)\varepsilon\p{x} in the equation they give you. Also, it doesn't matter what the value of ε(a)\varepsilon\p{a} is as long as you define it.) Then it's easy to check that

f(x)f(a)=(xa)[f(a)ε(x)],f\p{x} - f\p{a} = \p{x - a}\br{f'\p{a} - \varepsilon\p{x}},

so it remains to check that limxaε(x)=0\lim_{x\to a} \varepsilon\p{x} = 0. By limit laws, it exists and

limxaε(x)=limxa[f(a)f(x)f(a)xa]=f(a)limxaf(x)f(a)xa=f(a)f(a)=0.\begin{aligned} \lim_{x\to a} \varepsilon\p{x} &= \lim_{x\to a} \br{f'\p{a} - \frac{f\p{x} - f\p{a}}{x - a}} \\ &= f'\p{a} - \lim_{x\to a} \frac{f\p{x} - f\p{a}}{x - a} \\ &= f'\p{a} - f'\p{a} \\ &= 0. \end{aligned}

"    \impliedby"

Suppose there exist a number LRL \in \R and a function ε(x)\varepsilon\p{x} such that

f(x)f(a)=(xa)[Lε(x)]andlimxaε(x)=0.f\p{x} - f\p{a} = \p{x - a}\br{L - \varepsilon\p{x}} \quad\text{and}\quad \lim_{x\to a} \varepsilon\p{x} = 0.

By limit laws again ff is differentiable at aa with

limxaf(x)f(a)xa=limxa[Lε(x)]=Llimxaε(x)=L.\begin{aligned} \lim_{x\to a} \frac{f\p{x} - f\p{a}}{x - a} &= \lim_{x\to a} \br{L - \varepsilon\p{x}} \\ &= L - \lim_{x\to a} \varepsilon\p{x} \\ &= L. \end{aligned}

Common Mistakes

The most common mistake I saw was trying to do something like this to try to show that limxaε(x)=0\lim_{x\to a} \varepsilon\p{x} = 0:

f(a)=limxa[f(x)f(a)xa]=limxa[f(a)ε(x)]=f(a)limxaε(x).f'\p{a} = \lim_{x\to a} \br{\frac{f\p{x} - f\p{a}}{x - a}} = \lim_{x\to a} \br{f'\p{a} - \varepsilon\p{x}} = f'\p{a} - \lim_{x\to a} \varepsilon\p{x}.

Thus, solving gives limxaε(x)=0\lim_{x\to a} \varepsilon\p{x} = 0.

The issue with this is that the argument only says this: if limxaε(x)\lim_{x\to a} \varepsilon\p{x} exists, then it must be 00. However, you need to show that limxaε(x)\lim_{x\to a} \varepsilon\p{x} exists to begin with. In other words, you can't just take limits on both sides and solve. The easiest way to do this is to use limit laws, which tells you that the limit exists and tells you have to compute the limit--you kill two birds with one stone.

This argument can be fixed, though it requires a little bit of work. See the following exercise.

Exercise 1.

Assume that (an)n,(bn)n\p{a_n}_n, \p{b_n}_n are sequences such that (an)n\p{a_n}_n and (an+bn)n\p{a_n + b_n}_n converge. Show that (bn)n\p{b_n}_n also converges.