Differentiability in R
Differentiability in R
Sections A,B,C,D
January 14, 2024
1 Differentiability
1.1 Differentiability at one point
Example
1. Prove that the function f (x) = b is differentiable at any point x0 of R and determine
f 0 (x0 )
2. Same question for f (x) = x.
3. f (x) = sin x.
Definition
1. Let f be a function defined on the right of x0 .
f is differentiable at x0 on the right (or differetiable, on the right at x0 ) iff
f (x) − f (x0 )
∃l ∈ R | x→x
lim =l
>
0 x − x0
1
√
Example Examine the differentiability of f (x) = x at the right of 0
Remark If f isn’t differentiable on the left at x0 or on the right at x0 then f isn’t differentiable
at x0 .
If f is differentiable at x0
Remark
1. The inverse of this theorem is false.
Example: Examine the differentiability of f at 0
x cos 1
si x 6= 0
f (x) = x
0 si x = 0
2
2. f.g is differentiable at x0 and (f.g)0 (x0 ) = f 0 (x0 ).g(x0 ) + f (x0 ).g 0 (x0 ).
!0
f f f 0 (x0 ).g(x0 ) − f (x0 ).g 0 (x0 )
3. If g(x0 ) 6= 0 then is differentiable at x0 and (x0 ) = .
g g (g(x0 ))2
Example
1. f (x) = an xn + an−1 xn−1 · · · + a0 is differentiable at any point of R.
an xn + an−1 xn−1 · · · + a0
2. g(x) = , is differentiable at any point of Dg.
bm xm + bm−1 xm−1 · · · + b0
Remark In the previous theorem the condition "f and g are differentiable at x0 " is only a
sufficient condition, it isn’t a necessary condition.
Example
Test the differentiability of h(x) = x2 int(x) at 0 .
π
Example Examine the differentiability of h(x) = |sin x| at x0 = , then at x0 = 0 .
2
1.3 Extremum
3
1.3.2 Definition of an extremum
Let f be a function defined in a neighborhood of x0 .
Definition
∀x ∈ Df f (x) ≤ f (x0 )
∀x ∈ Df f (x) ≥ f (x0 )
Remark
1. A critical point of a function f is not always an extremum of f .
Example: f (x) = x3 ; f admits at x0 = 0 a critical point but f does not admit at x0 = 0
an extremum , we say that (0, 0) is an inflexion point of f .
4
Figure 2: x power 3
2. A function can have at a point an extremum without being differentiable at this point.
Example: f (x) = |x| admits at x0 = 0 an extremum but f is not differentiable at 0; we
say that f has a corner at 0.
1.4.1 Definition
1. f is differentiable on ]a, b[ ⇐⇒ f is differentiable at each point of ]a, b[.
5
Theorem 1.4.2 Mean Value Theorem
Let f be a function defined on [a, b] , a 6= b;
6
Remark
0
1. The L’Hopital Rule is used in cases of indeterminacy of type ; it can be extended to the
0
∞
cases .
∞
f 0 (x) f (x)
2. If lim doesn’t exist we can’t say any thing about lim ; we can see that in the
x→a g 0 (x) x→a g(x)
following example:
1
Let f (x) = x2 sin( ) and g(x) = x
x
we have
2 1
f (x) x sin( ) 0
lim
= lim x =
x→0 g(x) x→0 x 0
2
1
f (x) x sin( )
1
lim
= lim x = lim x sin =0
x→0 g(x) x→0 x x→0 x
But
1 1 1
0
f (x) 2x sin − x2 . 2 cos
lim = lim x x x
x→0 g 0 (x) x→0 1
1 1
= lim 2x sin − cos n’existe pas
x→0 x x
1 1
lim 2x sin − cos doesn’t exist because
x→0 x x
1 1
lim 2x sin = 0 ∈ R et lim − cos doesn’t exist.
x→0 x x→0 x
1.4.2 Definition
◦
Let I be an interval, the interior of I, denoted I is the largest open interval included in I.
7
Example Find the interior of each of these intervals:
π
Example Prove that f (x) = sin x is strictly increasing on 0, .
2
f 0 : I −→ R
x 7−→ f 0 (x)
8
Example
π
1. f (x) = sin x, x ∈ R, Prove that f (n) (x) = sin(x + n ).
2
π
2. f (x) = cos x, x ∈ R, prove that f (n) (x) = cos(x + n ).
2
k=0 n! (n − k)!
2. C ∞ (I) the set of real functions that belong to C n (I) for all n ∈ N .
Example
1.5.4 Taylor’s theorem (or Taylor’s formula) with the Lagrange form of the
remainder
If f is a function such that
9
then ∃cx ∈ ]a, x[ (respectively on ∃cx ∈ ]x, a[ ) such that
1.5.5 Corollary
Let I be an open interval containing a point a.
If f ∈ C n+1 (I) then ∀x 6= a ∃cx strictly between x and a such that:
n
f (k) (a) (x − a)n+1 (n+1)
(x − a)k +
X
f (x) = f (cx ).
k=0 k! (n + 1)!
Exercise 1 Use the Taylor’s Formula with Lagrange form of the remainder to prove the
following inequalities:
x3
∀x ∈ R∗+ sin x ≥ x −
3!
10
√
Exercise 2 Let f (x) = 1+x
1. Write the Maclaurin’s Formula with Lagrange form of the remainder of f on N0̂ to order
5.
√
2. Deduce an approximate value of 2.
11