This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Mean Value Theorem and L’Hˆopital’s Rule Jonathan L.F. King University of Florida, Gainesville FL 326112082, USA [email protected] Webpage http://www.math.ufl.edu/ ∼ squash/ 22 March, 2010 (at 17:35 ) Abbrevs. IVT; Intermediate Value Thm . MVT; Mean Value Thm . FTC; Fund. Thm of Calculus . Use cts for “continuous” and cty for “continuity”. The exponential fnc exp can also be written exp( x ) = e x . ( So log ◦ exp = Id R and exp ◦ log = Id R + . ) Use Nev Z to mean “neverzero”; e.g “exp() is Nev Z on R ”. Prolegomena. Use R for the extended re als [ ∞ , ∞ ] . With DNE denoting “ Does Not Exist ”, adjoin a point to R to create R ~ := [ ∞ , ∞ ] t { DNE } . Use diff’able for “differentiable”. A fnc f : R → R is extdiff’able ( for extended diff’able ) at point 6 if the lim x → 6 f ( x ) f (6) x 6 exists in [ ∞ , ∞ ] . Use f LH for the lefthand extderivative , from lim x % 6 . Use f RH for the righthand extderivative , lim x & 6 . The result below apply to fncs on a closed bounded interval J . For specificity, I will use J := [ 4 , 6 ] and will use J ◦ := ( 4 , 6 ) for its interior. A fnc h : J → R has a ( global ) maxpoint P ∈ J if ∀ x ∈ J : h ( P ) > h ( x ); and the number h ( P ) is the “ maxvalue of h on J ” . Weaker, P is a local maxpoint of h ( on J ) if there exists a Jopen set U 3 P , so that P is a global maxpoint of h U . Imagine analogous defns for min point , minvalue and local minpoint of h . 1 : Tool. A continuous h : J → R has a maxpoint and a minpoint. Proof. Interval J is compact, etc. ♦ 2 : Lemma. Suppose continuous h : J → R has a localextremum at a point τ ∈ J ◦ . If h is extended differentiable at τ , then h ( τ ) = 0 . ♦ Proof. WLOG τ is a localmin of h . So for all x > τ with x suff. close to τ , necessarily h ( x ) h ( τ ) > 0; thus h RH ( τ ) ∈ [ , ∞ ] . Similarly, h LH ( τ ) ∈ [ ∞ , ] . By hypothesis, h LH ( τ ) = h RH ( τ ). So h ( τ ) is zero. 3 : Rolle’s Thm. Suppose a continuous h : [ 4 , 6 ] → R is extdiff’able on ( 4 , 6 ) . If h (4) = h (6) , then there exists a point τ ∈ ( 4 , 6 ) such that h ( τ ) = 0 . ♦ Pf. Courtesy(2), WLOG h () has no globalmax in J ◦ , so its globalmax on J must be the common value of h (4) = h (6). Thus h has a global min in J ◦ ; pick one, and call it...
View
Full
Document
This note was uploaded on 01/26/2012 for the course MAC 3472 taught by Professor Jury during the Fall '07 term at University of Florida.
 Fall '07
 JURY
 Calculus, Mean Value Theorem

Click to edit the document details