Skip to main content

Homework 12

Exercise: Suppose f:RRf:\mathbb{R}\rightarrow\mathbb{R} is continuous on R\mathbb{R}, and differentiable in R\{a}\mathbb{R}\backslash\{a\}. Suppose further that limxaf(x)\lim_{x\rightarrow a}f'(x) exists. Prove that ff is differentiable at aa, and f(a)=limxaf(x)f'(a)=\lim_{x\rightarrow a}f'(x).

Proof. Let {an}\{a_n\} be a sequence of real numbers approaching aa, but none of them are equal to aa. We want to show that under the given assumption the sequence f(an)f(a)ana\frac{f(a_n)-f(a)}{a_n-a} has a limit. By the mean value theorem, for each ana_n, there is a bnb_n sitting between aa and ana_n such that f(an)f(a)ana=f(bn)\frac{f(a_n)-f(a)}{a_n-a}=f'(b_n). As bnb_n is also converging to aa and f(x)f'(x) is continuous at aa. So the limit exists and it’s equal to limxaf(x)\lim_{x\rightarrow a}f'(x).

Exercise: Suppose for some integer n2n\geq 2 that the derivatives f,,f(n)f', \ldots, f^{(n)} exist and are continuous on an open interval II containing x0x_0 and that f(x0)==f(n1)(x0)=0f'(x_0)=\ldots=f^{(n-1)}(x_0)=0, but f(n)0f^{(n)}\neq 0. Use Taylor’s Theorem to prove:

  1. If nn is even and f(n)(x0)<0f^{(n)}(x_0)<0 then ff has a local maximum at x0x_0.
  2. If nn is even and f(n)(x0)>0f^{(n)}(x_0)>0 then ff has a local minimum at x0x_0.
  3. If nn is odd then ff has neither a local maximum nor a local minimum at x0x_0.

Proof. By the assumptions, f(x)=f(x0)+(an+h(x))(xx0)nf(x)=f(x_0)+(a_n+h(x))(x-x_0)^n where an=f(n)(x0)n!a_n=\frac{f^{(n)}(x_0)}{n!} and limxx0h(x)=0\lim_{x\rightarrow x_0}h(x)=0.

  1. If an>0a_n>0, as limxx0h(x)=0\lim_{x\rightarrow x_0}h(x)=0, there is a neighborhood of x0x_0, denoted as I0I_0, such that an+h(x)<0a_n+h(x)<0 for every xI0x\in I_0. Since nn is even, f(x)f(x0)=(an+h(x))(xx0)n0f(x)-f(x_0)=(a_n+h(x))(x-x_0)^n\leq 0 for every xI0x\in I_0. And the equality holds if and only if x=x0x=x_0. So ff achieves a local miximum at x0x_0.
  2. The same reasoning as above but with all the inequalities reversed.
  3. Suppose an>0a_n>0. The same argument tells us that for every xI0x\in I_0, f(x)f(x0)=(an+h(x))(xx0)nf(x)-f(x_0)=(a_n+h(x))(x-x_0)^n has the same sign as xx0x-x_0 if nn is odd. Thus ff has no local extremal at x0x_0. Suppose an<0a_n<0, one can argue f(x)f(x0)=(an+h(x))(xx0)nf(x)-f(x_0)=(a_n+h(x))(x-x_0)^n has the opposite sign of xx0x-x_0. Thus the same.

Exercise:

  1. Suppose f(x)=cf(x)=c for all x[0,1]x\in[0,1]. Prove that ff is Riemann integrable and 01f(x)dx=c\int_0^1 f(x)dx=c.
  2. Suppose f(x)=xf(x)=x for all x[0,1]x\in[0,1]. Prove that ff is Riemann integrable and 01f(x)dx=12\int_0^1f(x)dx=\frac{1}{2}.
  3. Suppose f:[0,1]Rf:[0,1]\rightarrow\mathbb{R}, f(x)=0f(x)=0 for all x[0,1]x\in[0,1] except that f(x)=1f(x)=1 for x=12x=\frac{1}{2}. Prove that ff is Riemann integrable and 01f(x)dx=0\int_0^1f(x)dx=0.

Proof.

  1. Whichever partition you choose, the Riemann sum is always cc. So the integral is cc.
  2. Let a partition PP be 0=x0<x1<<xn=1)0 = x_0 < x_1 < \ldots < x_n = 1) with all gaps less than δ\delta. The the lower Riemann sum is x0(x1x0)+x1(x2x1)++xn1(xnxn1)x_0(x_1-x_0)+x_1(x_2-x_1)+\ldots+x_{n-1}(x_n-x_{n-1}), while the upper one is x1(x1x0)+x2(x2x1)++xn(xnxn1)x_1(x_1-x_0)+x_2(x_2-x_1)+\ldots+x_{n}(x_n-x_{n-1}). The difference between the two sums is (x1x0)2+(x2x1)2++(xnxn1)2(x_1-x_0)^2+(x_2-x_1)^2+\ldots+(x_n-x_{n-1})^2, which is less than δ((x1x0)+(x2x1)++(xnxn1))=δ\delta((x_1-x_0)+(x_2-x_1)+\ldots+(x_n-x_{n-1}))=\delta. So ff is Riemann integrable. To calculate to value of the integral, just look at the average of the lower sum and the upper sum, which turns out to be 1/21/2.
  3. Same argument as the previous one, but upper one is less than δ\delta, while the lower equals .Hencetheintegralis. Hence the integral is .

Exercise: Suppose f:[0,1]Rf:[0,1]\rightarrow\mathbb{R} is continuous, f(x)0f(x)\geq 0 for all x[0,1]x\in[0,1], and 01f(x)dx=0\int_0^1f(x)dx=0. Prove that f(x)=0f(x)=0 for all x[0,1]x\in[0,1].

Proof. (Sketch) Suppose for contradiction that f(x0)>0f(x_0)>0 for some x0[0,1]x_0\in[0,1]. As ff is continuos, there is a non-empty interval (a,b)[0,1](a,b)\subset[0,1] on which ff is bigger than h=f(x0)/2>0h=f(x_0)/2>0. Thus the integral is greater than or equal to h(ab)h(a-b) which is positive. Contradiction.