MATH 409 Lecture 21

From Notes
Jump to navigation Jump to search

« previous | Tuesday, November 12, 2013 | next »

End Exam 2 content
Lecture Slides

Exam 2 Review

Topics

Derivatives

  • Derivative of a function
  • Differentiability Theorems
  • derivative of inverse function
  • Mean Value Theorem
    • Rolle's Theorem
    • Generalized Mean Value Theorem
  • Taylor's Formula
  • l'Hôpital's rule

Integrals

  • Definitions
    • Darboux Sums
    • Riemann Sums
    • Riemann Integral
  • Properties of Integrals
  • Fundamental Theorem of Calculus (both parts)
  • Integration by Parts
  • Change of variable in an integral

Chapters 4.1–4.5, 5.1–5.3

Differentiability Theorems

  • sum / difference rules
  • product rule
  • quotient rule
  • chain rule
  • differentiability implies continuity
  • Rolle's Theorem: If a function f is continuous on a closed interval [a,b], differentiable on (a,b), and f(a)=f(b), then f′(c)=0 for some c∈(a,b)
  • Mean Value Theorem: If a function f is continuous on [a,b] and differentiable on (a,b), then there exists c∈(a,b) such than f(b)−f(a)=f′(c)(b−a).
  • f is increasing on [a,b] if and only if f′≥0 on (a,b)
  • f is decreasing on [a,b] if and only if f′≤0 on (a,b)
  • f is constant on [a,b] if and only if f′=0 on (a,b)


Properties of Integrals

  • Linearity:
    • ∫ab(f(x)+g(x))dx=∫abf(x)dx+∫abg(x)dx
    • ∫ab(αf(x))dx=α∫abf(x)dx
  • Subinterval property: ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx
  • Comparison Theorem: If f(x)≤g(x) for all x∈[a,b], then ∫abf(x)dx≤∫abg(x)dx


Fundamental Theorem of Calculus

  • Part 1: F(x)=∫axf(t)dt, x∈[a,b] is continuously differentiable on [a,b] and F′(x)=f(x) for all x∈[a,b]
  • Part 2: If a function F is differentiable on [a,b], and the derivative F′ is integrable on [a,b], then ∫axF′(t)dt=F(x)−F(a) for all x∈[a,b].


Sample Problems

Problem 1: Prove the Chain Rule

Theorem. If a function f...

Proved in class (except for one small part)


Problem 2: Find the Limits

limx→0(1+x)1x

The function f(x)=(1+x)1x is well-defined on (−1,∞) except at 0. Since f(x)>0 for all x>1, a function g(x)=log⁡f(x) is well-defined on (−1,∞) except at 0 as well. For any x>1, we have g(x)=log⁡(1+x)1x=x−1log⁡(1+x). Hence g=h1h2, where h1(x)=log⁡(1+x) and h2(x)=x are continuously differentiable on (−1,∞). Since h1(0)=h2(0)=0, it follows that limx→0h1(x)=limx→0h2(x)=0. By l'Hôpital's rule, h1′(0)=1 and h2′(0)=1, so limx→0g(x)=limx→0h1(x)h2(x)=11=1

Since f=eg(x), a composition of g with a continuous function, it follows that limx→0f(x)=e1=e


limx→+∞(1+x)1x Similar to above, limx→+∞h1(x)=limx→+∞h2(x)=+∞. At the same time, h1′(x)→0 as x→+∞, while h2′ is identically 1. Using l'Hôpital's Rule, we obtain limx→+∞g(x)=limx→+∞h1(x)h2(x)=01=0


Since f=eg(x), a composition of g with a continuous function, it follows that limx→0f(x)=e0=1


Problem 3: Limit of a sequence

Find the limit of a sequence xn=1k+2k+…+nknk+1 for n∈ℕ, where k is a natural number.

The general element of the sequence can be represented as

xn=1k+2k+…+nknk⋅1n=(1n)k1n+(2n)k1n+…+(nn)k1n

which shows that xn is a Riemann sum of the function f(x)=xk on the interval [0,1] that corresponds to the partition Pn={0,1n,2n,…,n−1n,1} and samples tj=jn, j=1,2,…,n. The norm of the partition is ‖Pn‖=1n. Since ‖Pn‖→0 as n→∞ and the function f is integrable on [0,1], the Riemann sums xn converge to the integral:

limn→∞xn=∫01xkdx=xk+1k+1|x=01=1k+1


Problem 4: Find/evaluate indefinite/definite integrals

Subproblem 1

∫x21−xdx

A standard way to evaluate this type of function is to split it into the sum of a polynomial and a simple fraction:

x21−x=x2−1+11−x=x2−11−x+11−x=−x−1−1x−1

Since the domain of the function is (−∞,1)∪(1∞), the indefinite integral has differetn representations on the intervals (−∞,1) and (1,∞):

∫x21−x={−x22−x−log⁡(1−x)+C1x<1−x22−x−log⁡(x−1)+C2x>1

Subproblem 2

∫0πsin2(2x)dx

To integrate this function, we use a trigonometric formula 1−cos⁡2α=2sin⁡2α and a new variable u=4x:

∫0πsin2(2x)dx=∫0π1−cos⁡(4x)2dx=∫0π1−cos⁡(4x)8d(4x)=∫04π1−cos⁡u8du=u−sin⁡u8|u=04π=π2

Subproblem 3

∫log3xdx

To find this indefinite integral, we integrate by parts:

∫log3xdx=xlog3x−∫xd(log3x)=xlog3x−∫x(log3x)dx=xlog3x−∫3log2xdx=xlog3x−3xlog2x+∫xd(3log2x)=xlog3x−3xlog2x+∫6log⁡xdx=xlog3x−3xlog2x+6xlog⁡x−∫xd(6log⁡x)=xlog3x−3xlog2x+6xlog⁡x−∫6dx=xlog3x−3xlog2x+6xlog⁡x−6x+C

Subproblem 4

∫012x1−x2dx

To integrate this function, we introduce a new variable u=1−x2:

∫012x1−x2dx=−12∫012(1−x2)1−x2dx=−12∫01211−x2d(1−x2)=−12∫1341udu=…=1−32

Subproblem 5

∫0114−x2dx

To integrate this function, we use a substitution x=2sin⁡t. Observe that x changes from 0 to 1 when t changes from 0 to π6):

∫0114−x2dx=∫0π614−(2sin⁡t)2d(2sin⁡t)=∫0π6(2sin⁡t)4−4sin2tdt=∫0π62cos⁡t4cos2tdt=∫0π61dx=π6


Bonus Problem 5

Suppose p:ℝ→ℝ is locally a polynomial, which means that for every c∈ℝ, there exists ϵ>0 such that p coincides with a polynomial on the interval (c−ϵ,c+ϵ). Prove that p is a polynomial.

Proof. For any c∈ℝ let pc denote a polynomial and ϵc denote a positive number such that p(x)=pc(x) for all x∈(c−ϵc,c+ϵc). Consider two sets:

E+={x>0∣p(x)≠p0(x)}E−={x<0∣p(x)≠p0(x)}

We are going to show that E+=E−=∅.

Assume that the set E+ is not empty. Clearly, E+ is bounded below, hence d=inf⁡E+ is a well-defined real number. Note that E+⊂[ϵ0,∞) Therefore d≥ϵ0>0.

Observe that p(x)=p0(x) for x∈(0,d) and p(x)=pd(x) for x∈(d−ϵd,d+ϵd). The interval (0,d) overlaps with the interval (d−ϵd,d+ϵd). Hence pd coincides with p0 on the intersection (0,d)∩(d−ϵd,d+ϵd). Equivalently, the difference pd−p0 is zero on (0,d)∩(d−ϵd,d+ϵd). Since pd−p0 is a polynomial and any nonzero polynomial has only finitely many roots, we conclude that pd−p0 is identically 0. Then the polynomials pd and p0 are the same. It follows that p(x)=p0(x) for x∈(0,d+ϵd), so d≠inf⁡E+, a contradiction.

Thus E+=∅. Similarly, we prove that the set E− is empty as well. Since E+=E−=∅, the function p coincides with the polynomial p0 everywhere.


Bonus Problem 6

Show that a function f(x)={e−11−x2|x|<10|x|≥1

is infinitely differentiable on ℝ.

Observe that the integral of this function goes from 0 to 1 smoothly. Constant functions and ef(x) are infinitely differentiable.