Professional Documents
Culture Documents
{ } c b a , ,
dsigne lensemble dont les lments sont exactement a, b, c.
(remarque : { } { } { } 3 , 2 , 2 , 1 1 , 3 , 2 3 , 2 , 1 )
Soit P une proprit dfinie sur un ensemble E. Pour tout E x ,
) ( P x
est un
nonc (vrai ou faux).
Exemple : P pourrait tre la proprit tre pair dfinie sur Z.
P(6) est vrai ; P(-7) est fausse ; P(3.2) na pas de sens.
La notation { } ) ( P , x E x dsigne lensemble des lments de E qui ont la
proprit P.
) ( P x
est un nonc avec une variable libre x.
{ } ) ( P , x E x est un ensemble avec une variable muette x.
iv. Oprations sur les parties dun ensemble
A.BENHARI 4
Soit E un ensemble.
Une partie de E est un ensemble inclus dans E.
On note
) (E P
lensemble des parties de E.
Ainsi, on a lquivalence :
E A E P A ) (
On a aussi :
) ( ), ( E P E E P
Exemple : soit { } c b a E , , un ensemble trois lments. Alors :
{ } { } { } { } { } { } { } { } c b a c a c b b a c b a E P , , , , , , , , , , , , ) (
Soient A et B deux parties de E.
{ }
{ }
{ } e) (diffrenc ) et ( , \
ion) (intersect ) et ( ,
(runion) ) ou ( ,
B x A x E x B A
B x A x E x B A
B x A x E x B A
E
A
B
Sur le dessin :
- runion : // \\
- intersection :
- diffrence : //
Cas particulier :
Si A B , B A\ est le complmentaire de B dans A, not B C
A
v. Produit cartsien
Soient E, F deux ensembles.
F E est lensemble des couples
) , ( y x
forms dun lment x de E et dun
lment y de F.
Rappel :
' et ' ) ' , ' ( ) , ( y y x x y x y x
De mme on peut dfinir ... G F E
E E est aussi not
2
E
(et
fois
...
n
E E E
est not
n
E
B. Logique
On y utilise :
Des lettres de variables, de constantes, de proprits, de relations
Des connecteurs et, ou,
.
La ngation non
Des quantificateurs
,
Pour lutilisation, les rgles, voir lusage.
Notons cependant :
A.BENHARI 5
Si E dsigne un ensemble, P une proprit dfinie sur E :
- lnonc
) ( P , x E x
signifie que quel que soit x de E,
) ( P x
, soit que tout
lment de E vrifie P.
- lnonc
) ( P , x E x
signifie quil existe un lment de E qui vrifie P.
Exemple : { } 4 , 5 , 3 , 1 E ,
pair" tre " P
; alors
) ( P , x E x
est vrai.
On a les quivalences suivantes (ngation) :
)) ( P ( non , )) ( P , ( non
)) ( P ( non , )) ( P , ( non
x E x x E x
x E x x E x
Concernant et et ou :
)) ( Q , ( ou )) ( P , ( )) ( Q ou ) ( P ( ,
)) ( Q , ( et )) ( P , ( )) ( Q et ) ( P ( ,
)) ( Q , ( ou )) ( P , ( )) ( Q ou ) ( P ( ,
)) ( Q , ( et )) ( P , ( )) ( Q et ) ( P ( ,
x E x x E x x x E x
x E x x E x x x E x
x E x x E x x x E x
x E x x E x x x E x
Autres rgles :
A et B sont deux noncs quelconques.
) ( non et ) ( non
) ( non et ) ( non ) ou ( non
) ( non ou ) ( non ) et ( non
B A B A
B A B A
B A B A
A.BENHARI 6
D. Les applications
E, F, G dsignent ici des ensembles quelconques.
i. Gnralits
La donne dune application f est la donne :
- Dun ensemble de dpart E.
- Dun ensemble darrive F.
- Pour chaque lment x de E, dun lment de F not
) (x f
et appel limage de
x par lapplication f.
On note :
) (
:
x f x
F E f
Exemples :
Lapplication :
x x
E E
2
x x
+
R R
,
2
x x
R R
,
2
x x
R R
,
2
x x
R R
(Lensemble darrive ne convient
pas),
2
x x
R R
+
,
x x
2
R R
(Mauvaise variable),
2
x x
+ +
R R
; toutes ces
applications sont des applications diffrentes.
On note
) , ( F E F
lensemble des applications de E dans F.
ii. Composition
Dfinition : Soient
F E f :
,
G F g :
.
f g
dsigne lapplication de E dans
G qui tout lment x de E associe
)) ( ( x f g
.
Ainsi, pour tout x de E,
)) ( ( ) )( ( x f g x f g
Thorme : la loi
constitue une loi sur
) , ( E E F
:
Pour
) , ( E E f F
,
) , ( E E g F
,
f g
est bien dfini.
Associativit : soient f, g, h trois lments de
) , ( E E F
.
Montrons que
h g f h g f ) ( ) (
. Dj, les deux applications
) ( h g f
et
h g f ) (
sont bien de E dans E.
Soit E x . On a :
))) ( ( ( )) ( )( ( ) )( ) ((
))) ( ( ( )] )( [( ) ))( ( (
x h g f x h g f x h g f
x h g f x h g f x h g f
Cest valable pour tout x de E. donc les deux applications sont gales. Cest
valables pour toutes applications
) , ( , , E E h g f F
. Donc la loi
est associative.
Attention : crire
)] ( [ x g f
na aucun sens. En effet, la loi
prend comme
arguments deux applications, et ici
) (x g
est un lment de E.
Elment neutre :
A.BENHARI 7
Pour tout
) , ( E E f F
, f f f
E E
Id Id . En effet :
Dj, ) , ( Id , Id , E E f f f
E E
F . Pour tout x de E, on a :
E x f x f x f x f
x f x f x f
E E
E E
) ( car ) ( )) ( ( Id ) )( (Id
) ( )) ( Id ( ) )( Id (
'
x x f b a E x
a b f
b a f
) ( , , \
) (
) (
{ }
'
x x g c a E x
a c g
c a g
) ( , , \
) (
) (
Alors :
c c f a g f a g f
b b g a f g a f g
) ( )) ( ( ) )( (
) ( )) ( ( ) )( (
Gnralisation :
On a associativit "en gnral" de la loi
: pour tous
) , ( F E f F
,
) , ( G F g F
,
) , ( H G h F
, on a :
f g h f g h ) ( ) (
, quon note aussi
f g h
Dmonstration : les deux applications
) ( f g h
et
f g h ) (
sont bien des
lments de
) , ( H E F
. Ensuite, procder comme pour montrer lassociativit dans
) , ( E E F
iii. Injectivit, surjectivit
Soit
F E f :
.
On dit que f est injective lorsque
) ' ) ' ( ) ( ( , ' , x x x f x f E x E x
Autrement dit : si deux lments de E ont la mme image par f, alors ils sont gaux
Ou encore : deux lments distincts de E on toujours des images distinctes (cest la
contrapose de lnonc prcdent)
On dit que f est surjective lorsque
)) ( ( , , x f y E x F x
C'est--dire que tout lment de F est limage dun lment de E.
On dit que f est bijective lorsquelle est la fois injective et surjective.
Exemples :
(1)
A.BENHARI 8
E
F
Injective non surjective
E F
Surjective non injective
E F
Bijective
E F
Ni injective ni surjective
(2)
2
:
x x
f
R R
nest ni injective ni surjective :
) 1 ( ) 1 ( f f
et ) 4 , ( non
2
x x R
2
:
x x
g
+
R R
est surjective, non injective.
2
:
x x
h
R R
+
est injective non surjective.
2
:
x x
+ +
R R
est bijective.
(3)
On note H lhumanit, M lensemble des mres, A lensemble des ans.
x x
H H
de mre
est bijective.
Antcdent ventuel.
Soit
F E f :
Soit
F y
. Un antcdent de y est un lment x de E tel que
) (x f y
.
Attention, il ny a en gnral ni existence ni unicit.
Proposition :
f est injective si et seulement si tout lment de F a au plus un antcdent.
f est surjective si et seulement si tout lment de F a au moins un antcdent.
f est bijective si et seulement si tout lment de F a exactement un antcdent.
Dmonstration :
Pour linjectivit :
)) ( ) ( ( , ,
1
y f x x f y E y F x
Proposition :
Soit
F E f :
bijective.
Alors
F
f f Id
1
et
E
f f Id
1
Dmonstration :
*
1
f f est bien dfini et va de F dans F.
Soit F x
Alors x x f f x f f
)) ( ( ) )( (
1 1
(car ) (
1
x f
est lantcdent de x par f)
* f f
1
est bien dfini et va de E dans E.
Soit E x .
Alors x x f f x f f
)) ( ( ) )( (
1 1
(car x est lantcdent de
) (x f
par
1
f ).
Thorme (inversible
bijectif).
Soit
F E f :
.
A.BENHARI 10
Sil existe
E F g :
telle que
E
f g Id et
F
g f Id , alors f est bijective et
g f
1
Dmonstration :
Soit
F E f :
. Supposons quil existe
E F g :
telle que
E
f g Id et
F
g f Id
(1) Alors f est injective :
Soient
E x x ' ,
, supposons que
) ' ( ) ( x f x f
.
Alors
)) ' ( ( )) ( ( x f g x f g
, soit
) ' ( ) ( x f g x f g
. Ainsi, ' x x .
(2) Et f est surjective :
Soit
F y
. Alors
)) ( ( ) )( ( y g f y g f y
Donc y a un antcdent par f, savoir
) ( y g
, et ce quel que soit y.
Donc f est surjective
Donc f est bijective.
(3) Montrons que g f
1
On a :
1 1 1 1
Id ) ( ) ( Id
f f f f g f f g g g
E F
Consquence : si f est bijective,
1
f lest aussi et f f
1 1
) (
v. Image directe, image rciproque
Dfinitions :
Soit
F E f :
Soit A une partie de E. On appelle image directe de A par f, et on note ) (
A f
lensemble des images par f des lments de A, c'est--dire :
{ } { } A x x f x f y A x F y A f ), ( ) ( , , ) (
) ( , ) (
Cas particulier :
Limage directe par f de E est lensemble image de f, not
) Im( f
Soit
F E f :
. Alors,
) (
) Im( :
~
x f x
f E f
A f
) (B f
)) ( (
B f f
)) (
( A f f
A.BENHARI 11
Proposition :
Si
F E f :
est bijective, alors pour toute partie B de F,
) ( ) (
1
B f B f
Soit
) (
1
B f x
. Montrons que
) (B f x
(c'est--dire que
B x f ) (
).
E x car
E B f
) (
1
, et il existe
B y
tel que ) (
1
y f x
par dfinition de
) (
1
B f
. Donc y y f f x f
)) ( ( ) (
1
. Or,
B y
. Donc
B x f ) (
. Donc
) (B f x
,
do la premire inclusion
(2) : montrons que
) ( ) (
1
B f B f
Soit
) (B f x
. On a :
B x f ) (
, et ) ( )) ( (
1 1
y f x f f x
avec
B x f y ) (
.
Donc
) (
1
B f x
. En effet, il
suffit dappliquer lgalit prcdente avec
1
f qui est aussi une bijection de F dans E.
) ( ) ( ) (
1 1 1
A f A f
, c'est--dire
) ( ) (
1
A f A f
lorsque F B . (attention, le
-1
ne signifie pas pour autant que f est
bijective !).
II. Rappels sur la continuit
Introduction :
Il sagit dtendre ltude de la continuit et de la drivabilit dune variable relle des
applications
E A f :
o A est une partie de R et E un espace vectoriel norm sur R K ou
C (au programme : seulement de dimension finie).
Rappel :
Si
1
E
,
2
E
, F sont des espaces norms, une application bilinaire
F E E B
2 1
:
est
continue si et seulement si il existe 0 C tel que
2 1 2 1 2 1 2 1
) , ( , ) , ( x x C x x B E E x x
.
De plus, lorsque
1
E
et
2
E
sont de dimension finie, toute application bilinaire
F E E B
2 1
:
est continue.
Cas particuliers importants : le produit usuel, le produit de deux matrices, les produits
scalaires, le produit vectoriel sont continus.
A) Exemples
Les applications lipschitziennes sont continues
Un compose, une somme de fonctions continues sont continues.
A.BENHARI 12
Si
1
: E A f
et
2
: E A g
sont continues, et si B est bilinaire continue, alors
)) ( ), ( ( x g x f B x
est continue.
Si E est de dimension finie, et
) ,... (
1 n
e e B
est une base de E, alors une
application
E A f :
se dcompose de manire unique en
n
k
k k
e f f
1
o
K A f
k
:
. f est alors continue si et seulement si toutes les applications coordonnes le
sont.
En particulier, si les
k
f
sont polynomiales ou rationnelles et les dnominateurs
ne sannulant pas, alors f est continue.
B) Prolongement par continuit en un point
Thorme :
Soit
E A f :
une application et
A A a \
. f a un prolongement continu en a si et
seulement si
) (x f
a une limite E b quand x tend vers a.
Dans ce cas, le prolongement par continuit de f est unique et obtenu en posant
b a f ) (
.
C) Continuit sur une partie et continuit uniforme
Dfinition :
E A f :
est dite continue sur A si elle est continue en tout point A a , c'est--
dire
< > > ) ( ) ( , , 0 , 0 , a f y f a y A y A a
(1)
Les deux premiers quantificateurs sont identiques, donc ils peuvent tre permuts :
< > > ) ( ) ( , , 0 , , 0 a f y f a y A y A a
(1)
E A f :
est dite uniformment continue sur A si :
< > > ) ( ) ( , , , 0 , 0 a f y f a y A y A a
(2)
Entre (1) et (2), on a chang deux quantificateurs diffrents.
Mais
)) , ( , 0 , ( )) , ( , , 0 ( a P A a a P A a > >
Donc on peut en dduire que toute fonction
E A f :
uniformment continue sur
A est continue sur A.
Caractrisation de luniforme continuit :
On verra plus loin quune fonction
E A f :
est uniformment continue si et
seulement si il existe une fonction
+ +
R R :
continue en 0 telle que :
0 ) 0 (
et
) ( ) ( ) ( , , y x y f x f A y x
Ainsi, luniforme continuit est en quelque sorte une gnralisation du caractre
lipschitzien.
D) Continuit et compacit
Thorme (Heine) :
A.BENHARI 13
Toute fonction continue sur une partie compacte dun espace norm est
uniformment continue sur cette partie.
Limage dune partie compacte par une application continue est un compact.
En particulier, si
R X f :
est continue sur la partie compacte non vide X dun
espace norm, alors f est borne et atteint ses bornes.
NB :
Les compacts dun espace norm de dimension finie sont les ferms borns. Par
exemple, tout segment est compact ; si la suite
N n n
u ) (
converge vers l, lensemble
{ } { } l n u
n
N ,
est compacte.
Dmonstration du cas particulier (les autres ont dj t vus) :
Dans ce cas,
) ( X f
est un compact non vide de R, il est donc born et non vide.
Donc
) ( X f
admet des bornes infrieures et suprieures, qui sont dans
) ( X f
car
cest un ferm.
Exercices connatre :
(1) Si
R R : f
est uniformment continue, alors il existe
0 , > b a
tels que
b x a x f x + ) ( , R
. Mais la rciproque est fausse, par exemple avec
) sin(
2
x x .
Dmonstration :
Soit
R R : f
, uniformment continue.
Alors
< < > > ) ( ) ( , ) , ( , 0 , 0
2
y f x f x y y x R
On veut montrer quil existe
0 , > b a
tels que
b x a x f x + ) ( , R
.
On pose 1 .
Il existe alors 0 > tel que
1 ) ( ) ( , ) , (
2
< y f x f x y y x R
Soit 0 > x
On pose pour
[ ] n i , 0
,
h i x
i
.
avec
2
h
,
1
]
1
h
x
n
.
On a ainsi
<
+
h x x
i i 1 , soit
1 ) ( ) (
1
<
+ i i
x f x f
Et
< x x
n donc
1 ) ( ) ( < x f x f
n
Donc en sommant :
) 0 ( 1
) 0 ( 1
) 0 ( ) ( ) ( ... ) ( ) ( ) 0 ( ) (
) 0 ( ) 0 ( ) ( ) (
1 2 1
f
h
x
f n
f x f x f x f x f f x f
f f x f x f
n
+ +
+ +
+ + + +
+
Do le rsultat avec
h
a
1
,
) 0 ( 1 f b +
, valable aussi pour 0 < x .
On note ) sin( :
2
x x f .
Alors f est continue, telle que
1 ) sin(
2
x
, mais pas uniformment continue :
On pose
2
2
+ n x
n
, n y
n
2
On a alors
0 lim
+
n n
n
y x
, et
0 1 ) ( ) ( lim
+
n n
n
y f x f
On peut poser
2
1
. Alors pour tout 0 > , il existe N tel que
<
n n
y x N n ,
, mais
2
1
1 ) ( ) ( >
n n
y f x f
Donc f nest pas uniformment continue.
A.BENHARI 14
Remarque :
Caractrisation de luniforme continuit avec les suites :
E A f :
est uniformment continue si et seulement si pour tout couple de suites
N n n
x ) (
,
N n n
y ) (
de A telles que
0 ) ( lim
+
n n
n
y x
, on a
0 )) ( ) ( ( lim
+
n n
n
y f x f
.
Dmonstration :
- Si f nest pas uniformment continue, il existe N n n
x ) (
et N n n
y ) (
suites de
A telles que
0 lim
+
n n
n
y x
et
0 ) ( ) (
+
n n
y f x f
En effet, il existe 0 > tel que
< > ) ( ) ( et , ) , ( , 0
2
y f x f y x A y x
Pour
n
1
, on prend
2
) , ( A y x
n n
vrifiant
< ) ( ) ( et
1
n n n n
y f x f
n
y x
Et les deux suites introduites conviennent.
- Soit f uniformment continue et
N n n
x ) (
,
N n n
y ) (
deux suites telles que
0 lim
+
n n
n
y x
.
Soit 0 > . Comme f est uniformment continue, il existe 0 > tel que
2
) , ( A y x ,
< < ) ( ) ( , ) , (
2
y f x f y x A y x
Comme
0 lim
+
n n
n
y x
, il existe un rang N tel que
<
n n
y x N n ,
Et donc pour N n , on aura
< ) ( ) (
n n
y f x f
.
(2)
E f R :
est uniformment continue si et seulement si :
y x A y f x f y x A + > > ) ( ) ( , ) , ( , 0 , 0
2
R
Dmonstration :
Soit
E f R :
.
Supposons que
y x A y f x f y x A + > > ) ( ) ( , ) , ( , 0 , 0
2
R
.
Soit 0 > . Il existe donc 0 > A tel que y x A y f x f +
2
) ( ) (
Donc pour
) 1 ( 2 +
<
A
y x
, on a alors
<
+
+ <
) 1 ( 2
) ( ) (
2
A
A y f x f
Rciproquement, soit f uniformment continue.
Soit 0 > ; il existe 0 > tel que
< < ) ( ) ( , ) , (
2
y f x f y x y x R
Soit
2
) , ( R y x , avec
x y
.
On note
2
h
,
1
]
1
h
x y
N
Alors pour tout
[ ] N i , 0
,
< + + + h h i x ih x ) ) 1 ( ( ) (
Et
< < + h Nh x y ) (
Donc
) 1 ( ) ( ) ( ... ) ( ) ( ) ( ) ( + + + + + N y f Nh x f h x f x f y f x f
Mais
1 +
1
]
1
h
x y
h
x y
N
Donc
+ ) ( ) ( ) ( x y
h
y f x f
On peut donc prendre
h
A
.
(3) Si
R R : f
est continue et T-priodique, alors f est uniformment continue.
A.BENHARI 15
Dmonstration :
Soit 0 > . Comme f est uniformment continue sur
[ ] T 2 , 0
(car cest un
compact), il existe 0 > tel que
[ ] < < ) ( ) ( , 2 , 0 ) , (
2
y f x f y x T y x
On note alors
) , min( ' T
.
Soit alors
2
) , ( R y x , supposons que
' < y x
, montrons que
) ( ) ( y f x f
.
Comme
T y x
, il existe un entier relatif N tel que
[ ] T NT x 2 , 0
et
[ ] T NT y 2 , 0
.
On a alors
y x NT y NT x ) (
Donc
) ( ) ( ) ( ) ( NT y f NT x f y f x f
Ce qui achve la dmonstration.
(4) Relvements :
On appelle relvement de
U A f :
(cercle unit de C) toute application
R A :
telle que
) (
) ( ,
x i
e x f A x
(o A est un ensemble quelconque)
Problme :
Si f possde une certaine rgularit, peut on choisir
est de classe
1
C , alors
) (
) ( ' ) ( ' ,
t i
e t i t f I t
C'est--dire
) (
) ( '
) ( ' ,
t f
t f
i t I t
(f ne sannule pas car valeurs dans U)
Synthse :
Soit
I t
0
. On peut crire
0
) (
0
i
e t f o
R
0
.
On pose alors pour I t ,
t
t
ds
s f
s f
i t
0
) (
) ( '
) (
0
Comme f est de classe
1
C et ne sannule pas,
' f
f
est continue et donc
est de
classe
1
C .
De plus,
t
t
ds
s f
s f s f s f s f
I t
Ce qui est vrai car
1 ) ( ,
2
s f I s
, c'est--dire
1 ) ( ) ( s f s f
,
Donc
0 ) ( )' ( ) ( ) ( ) ( ' ,
'
+
s f s f s f s f I s
f
De plus,
est un relvement de f :
Considrons h dfinie par
) (
) ( ) (
t i
e t f t h
.
On a
1 ) (
0
t h
et h est drivable, et 0 ) )( ' . . ' ( ) ( ' ,
) (
t f i f e t h I t
t i
Donc
1 ) ( , t h I t
.
A.BENHARI 16
Thorme du relvement continu :
Soit
[ ] U b a f , :
continue. Alors il existe
[ ] R b a, :
, continue et unique
2 prs, telle que
i
e f
.
Dmonstration :
Unicit 2 prs :
Si [ ]
) ( ) (
2 1
) ( , ,
t i t i
e e t f b a t
o
1
et
2
,
_
1 )) ( Re(
) ( Im
Arctan 2 ) (
t f
t f
t
(qui est bien
dfinie)
(Justification du choix :
Si
i
e t iy t x t f + ) ( ) ( ) ( o
R ) (t x
et
R ) (t y
, alors
'
+
+
2
2
2
1
2
sin
1
1
cos
u
u
y
u
u
x
o
2
t a n
u et donc
1 +
x
y
u
et
,
_
1 ) (
) (
Arctan 2
t x
t y
)
Alors
est
continue telle que [ ]
) (
1
) ( , ,
t i
e t g b a t
)
- Dans le cas gnral :
[ ] U b a f , :
est continue, donc uniformment continue sur
[ ] b a,
. Donc il
existe 0 > tel que pour tous
[ ] b a y x , ,
, si
< y x
alors
2 ) ( ) ( < y f x f
Ainsi, pour tout
[ ] b a c ,
, [ ] + c c
f
, / nest pas surjective car
[ ] 2 ) ( ) ( , , < + x f c f c c x
donc
) ( ) ( c f x f
.
On pose alors
1
]
1
a b
N
Et pour
[ ] N k , 0
,
kN a a
k
+
, et
b a
N
+1
Ainsi, pour tout
[ ] N i , 0
,
[ ]
1
, /
+ i i
a a
f
nest pas surjective, il existe
[ ] R
+1
, :
i i i
a a
qui soit un relvement de
[ ]
1
, /
+ i i
a a
f
.
On a alors
) ( ) (
1
1 2 1 1
) (
a i a i
e e a f
Donc il existe
Z
1
n
tel que
1 1 1 1 2
2 ) ( ) ( n a a +
A.BENHARI 17
Quitte remplacer
2
par
1 2
2n
, on peut supposer que
0
1
n
, c'est--dire
que
) ( ) (
1 1 1 2
a a
Et on a toujours
[ ]
2
2 1
, /
i
a a
e f
On recommence ensuite en
2
a
On considre alors
[ ] R b a, :
dfinie par
[ ]
[ ] i a a
i i
N i
+1
, /
, , 0
Ainsi, par construction des
i
est continue.
Remarque :
Le rsultat est vrai aussi pour un intervalle I quelconque :
En effet :
Il existe une suite de segment croissants (au sens de linclusion)
N n n
K ) (
telle
que
N
n
n
K I
.
On applique le thorme du relvement continu
n
K
f
/
On trouve alors
R
n n
K :
continues telles que
n
n
i
K
e f
/
Soit
0 0
K t
. Pour tout N n ,
0
/ K n
et
0
) que
0 /
0
K n
et donc
) ( ) (
0 0 0 /
0
t t
K n
On a alors pour tout
N m n,
tels que
m n >
,
m K n
m
/
car ce sont deux
relvements continus de
m
K
f
/
qui prennent la mme valeur en
0
t
.
On pose alors pour tout I t ,
) ( ) ( t t
n
o n est tel que
n
K t
.
Ainsi, par construction,
est dfinie et
croissante sur
+
R
, vrifie
0 ) 0 (
f
et
) ( ) ( ) ( , 0 ,
f f f
+ +
De plus, f
f 2
.
Donc
) (
f existe pour tout 0 .
On note
{ } y x y f x f A , ) ( ) ( ) (
Alors pour
0 ' ,
tels que ' , on a
) ( ) ' ( A A
.
Donc
) ( ) ' (
f f
De plus,
{ } { } 0 0 sup , ) ( ) ( sup ) 0 ( y x y f x f
f
Soient
0 ,
. Montrons que
) ( ) ( ) (
f f f
+ +
.
Soit
2
) , ( I y x , supposons que
x y
et
+ y x
Si
y x +
, alors
y x
et donc
) ( ) ( ) ( ) ( ) (
f f f
y f x f +
, soit en passant la borne suprieure pour
+ y x
,
) ( ) ( ) (
f f f
+ +
.
Si
y x +
, alors
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
f f
y f x f x f x f y f x f + + + +
car
+ y x
A.BENHARI 18
Montrons maintenant que f est uniformment continue si et seulement si
0 ) ( lim
0
f
Remarque :
Par dfinition de f
, on a
) ( ) ( ) ( , ) , (
2
y x A y f x f I y x
Donc
) ( ) ( ) ( , ) , (
2
y x y f x f I y x
f
Supposons que
0 ) ( lim
0
f .
Soit 0 > . Il existe alors 0 > tel que
[ ] ) ( , , 0
f
Pour
2
) , ( I y x , si
y x
, alors
) ( ) ( ) ( y x y f x f
f
Donc f est uniformment continue.
Rciproquement, supposons que f est uniformment continue.
Soit 0 > . Il existe 0 > tel que
< < ) ( ) ( , ) , (
2
y f x f y x I y x
Pour ,
) ( A
est alors major par
, et donc
) (
f .
E) Cas des fonctions relles dune variable relle : thorme de la valeur
intermdiaires et consquences
Thorme :
Soit
[ ] R b a f , :
une application continue sur
[ ] b a,
telle que
[ ] b a,
. Alors il
existe
] [ b a c ,
tel que
0 ) ( c f
.
Limage dun intervalle par une application continue valeurs relles est encore
un intervalle.
Limage dun segment par une application continue valeurs relles est un
segment.
F) Fonctions monotones et homomorphismes
Thorme (de la limite monotone) :
Soient
R b a,
et
[ [ R b a f , :
croissante. Alors f a une limite finie en b si et
seulement si elle est majore. Si elle nest pas majore, alors
+
) ( lim x f
b x
On a des noncs analogues pour f dcroissante et pour a au lieu de b.
Dfinition :
On appelle homomorphisme entre A et B toute application
B A f :
bijective,
continue et de rciproque continue.
Thorme :
Soit I un intervalle de R et
R I f :
une application continue. Alors :
(1) f est injective si et seulement si elle est strictement monotone. De plus, si f est
injective, cest un homomorphisme de I sur son image
{ } I f J
.
(2) f est un homomorphisme entre I et J si et seulement si
{ } I f J
et f est soit
injective soit strictement monotone.
III. Drivation des fonctions dune variable relle
A) Drivabilit et drive en un point
A.BENHARI 19
Cest la mme chose que pour les fonctions numriques :
Soient R a , A un voisinage de a et
E A f :
. f est dite drivable en a si le taux
daccroissement
a x
a f x f
) ( ) (
a une limite lorsque x tend vers a. Dans ce cas, cette
limite est appele drive de f en a, et note
) ( ' a f
.
Extension :
Le cas chant, on pourra aussi considrer les drives droite et gauche en a.
Proprits :
Si f est drivable en a, alors f est continue en a.
Soit
) ,... (
1 n
e e
une base de E, et
E A f :
se dcomposant en
n
i
i i
e x f x f
1
) ( ) (
.
Alors f est drivable en A a si et seulement si toutes les i
f
le sont et on a alors
n
i
i i
e a f a f
1
) ( ' ) ( '
.
B) Caractrisation par un dveloppement limit
Thorme :
Soit f dfinie dans un voisinage de a. Alors f est drivable en a si et seulement si
elle admet un dveloppement limit dordre 1 en a
) ( ) ( ) ( ) ( a x o a x k a f a f + +
et dans ce cas
k a f ) ( '
.
C) Oprations
Thorme :
- Soient
E A g f : ,
des fonctions drivables en a et K . Alors
g f +
est
drivable en a, et
) ( ' ) ( ' ) ( )' ( a g a f a g f + +
- Soient
1
: E A f
et
2
: E A g
drivables en a et
F E E B
2 1
:
bilinaire
continue. Alors
)) ( ), ( ( : x g x f B x k
est drivable en a et
)) ( ' ), ( ( )) ( ), ( ' ( ) ( ' a g a f B a g a f B a k +
- Soient
R B A f :
drivable en a,
2
: E B g
drivable en
) (a f b
. Alors
f g
est drivable en a et
)) ( ( ' ) ( ' ) ( )' ( a f g a f a f g
Dmonstration (pour le deuxime point) :
Comme B est continue, il existe M tel que
2 1 2 1 2 1 2 1
) , ( , ) , ( V V M V V B E E V V
.
On a des dveloppements limits :
) ( ) ( ' . ) ( ) (
1
h o a f h a f h a f + + +
et
) ( ) ( ' . ) ( ) (
2
h o a g h a g h a g + + +
o 0
) (
lim
0
h
h o
j
h
pour
2 , 1 j
.
Alors
) ( ) ( ))) ( ' ), ( ( )) ( ), ( ' ( ( ) (
)) ( ) ( ' ) ( ), ( ) ( ' ) ( ( )) ( ), ( (
2 1
+ + +
+ + + + + +
h R a g a f B a g a f B h a k
h o a hf a g h o a hf a f B h a g h a f B
avec
)) ( ), ( ( )) ( ) ( ' ), ( ' ( )) ( ), ( ( ) (
1 2 2
h a g h o B h o a hg a f hB h o a f B h R + + + +
A.BENHARI 20
Donc
( ) ) ( ) ( ) ( ) ( ' ) ( ' ) ( ) ( ) (
1 2 2
h a g h o h o a hg a f h h o a f M h R + + + +
Et 0
) (
0
h
h
h R
Donc
) (
est un DL de k en a, donc k est drivable en a et
) ( ' a k
est bien
lexpression souhaite.
Exemple :
Soit
) ( ) ( R R
n
M x P x
une application drivable telle que pour tout R x ,
) (x P
est orthogonale. Alors pour tout R x , ) ( ) ( ' x P x P
t
est antisymtrique. Si de
plus n est impair, alors
0 )) ( ' det( , x P x R
(le dterminant dune matrice
antisymtrique dordre impair est nul)
En effet :
Comme
) ( ) ( , R R
n
O x P x
, on a
n
t
I x P x P x ) ( ) ( , R
On pose
N M N M
M M B
t
n n
) , (
) ( ) ( :
2
R R
, bilinaire continue (on est en dimension finie)
Alors
n
I x P x P B x ) ( ), ( ( , R
Et en drivant 0 ) ( ' ) ( ) ( ) ( ' , + x P x P x P x P x
t t
R
C'est--dire )) ( ) ( ' ( ) ( ) ( ' , x P x P x P x P x
t t t
R
Donc
) ( ) ( ) ( ' , R R
n
t
A x P x P x
.
De plus, le dterminant dune matrice antisymtrique dordre impair est nul.
En effet, soit
) (R
n
A A
.
Alors
A A
t
, et A A A A A
n t
det det ) 1 ( ) det( det det donc
0 det A .
Ainsi, pour tout R x , 0 )) ( ) ( ' det( x P x P
t
.
Mais comme
) (x P
, on a
0 )) ( ' det( x P
.
D) Fonction drive sur un intervalle, drives successives
1) Fonction drivable et fonction drive
Si A est un intervalle ouvert, f est dite drivable sur A si elle lest en tout
point de A. Par extension, si A est un intervalle ferm ou semiferm, f sera dite
drivable si elle lest sur lintrieur de A et admet une drive droite en sa borne
infrieure ventuelle a et gauche en sa borne suprieure ventuelle b (on note
alors
) ( ' ) ( ' a f a f
d
et
) ( ' ) ( ' b f b f
g
)
Dans ce cas, lapplication
) ( ' x f A x
est lapplication drive de f. Elle
est note f, cest aussi une application de A dans E.
Lorsque f est son tour drivable, on note f sa drive. Par rcurrence, on
dfinit les drives successives ventuelles de la manire suivante : f f
) 0 (
et
pour 0 n , la drive dordre 1 + n ,
) 1 ( + n
f , est, si elle existe, la drive de
) (n
f .
2) Espaces de fonctions drivables
A.BENHARI 21
Pour N k , on note ) , ( E I D
k
lespace vectoriel des applications E I
admettant des drives jusqu lordre k inclus et ) , ( E I C
k
le sous-espace de
) , ( E I D
k
constitu des applications f telles que
) (k
f est continue sur I.
On pose aussi
N N
k
k
k
k
E I C E I D E I C ) , ( ) , ( ) , (
Proprits :
On a :
) , ( ) , ( ) , ( ) , ( ... ) , ( ) , (
1 1 0
E I C E I C E I D E I C E I D E I C
k k k
Une compose dapplications de classe
k
C (ou
k
D
) est aussi de classe
k
C (ou
k
D
)
(Leibniz) : soient
1
: E A f
,
2
: E A g
de classe
k
D
(resp.
k
C ) et
F E E B
2 1
:
bilinaire continue.
Alors
)) ( ), ( ( : x g x f B x h
est aussi de classe
k
D
(resp.
k
C ) et on a :
k
j
j k j j
k
k
x g x f B C x h A x
0
) ( ) ( ) (
)) ( ), ( ( ) ( ,
E) Fonctions de classe
k
C
par morceaux
Soit
{ } N k
. Une application
[ ] E b a f , :
est dite de classe
k
C par
morceaux sil existe une subdivision
) ... (
1 0
b a a a a S
n
< < <
de
[ ] b a,
telle que la
restriction de f chaque sousintervalle
] [
1
,
+ i i
a a
(
[ ] 1 , 0 n i
) a un prolongement
k
C
[ ]
1
,
+ i i
a a
. Cela quivaut dire que f est de classe
k
C sur
[ ] S b a \ ,
et que f et
toutes ses drives dordre infrieur k admettent des limites gauche et droite en tout
point de S ( droite seulement en a et gauche seulement en b)
Une fonction
E I f :
dfinie sur un intervalle non compact I est dit de classe
k
C par morceaux si sa restriction tout segment de I lest.
Remarques :
Pour 0 k , on dit plutt continue par morceaux. Une application continue par
morceaux sur un segment est borne.
Dans le cas dun intervalle non compact, f peut avoir une infinit de discontinuits.
Par exemple, la fonction partie entire est de classe
.
Ici,
)) ( ' det(
) ( ' ) (
) ( ' ) (
...
) ( ' ) (
) ( ' ) (
) ( ) ( '
) ( ) ( '
)) ( (det
, 1 ,
, 1 1 , 1
1 , 1 ,
2 , 1 1 , 1
1 , 1 ,
2 , 1 1 , 1
t M
t a t a
t a t a
t a t a
t a t a
t a t a
t a t a
dt
t M d
n n n
n
n n n n
+ + +
(Il suffit de dvelopper selon la premire colonne et faire par rcurrence sur n)
B) Les thormes de Rolle et des accroissements finis
Thorme (Rolle) :
Soit
[ ] R b a f , :
continue sur
[ ] b a,
, drivable sur
] [ b a,
et telle que
) ( ) ( b f a f
. Alors il existe
] [ b a c ,
tel que
0 ) ( ' c f
.
(Accroissements finis) : Soit
[ ] R b a f , :
continue sur
[ ] b a,
et drivable sur
] [ b a,
. Alors il existe
] [ b a c ,
tel que
) ( ) ( ) ( ' ) ( a f b f c f a b
Extension de Rolle une borne infinie :
Si f est continue sur
[ [ + , a
, drivable sur
] [ + , a
tendant vers 0 en + et
telle que
0 ) ( a f
, alors il existe
a c >
tel que
0 ) ( ' c f
(Il suffit dappliquer Rolle
,
_
+
x
x
a f x g
1
:
prolonge en 1 par
0 ) 1 ( g
)
Les thormes sont faux pour des fonctions valeurs dans un autre espace que R.
Par exemple, [ ] C
ix
e x f 2 , 0 : est de classe
C telle que
) 2 ( ) 0 ( f f
mais f
ne sannule pas.
Application :
A.BENHARI 23
Si
] [ X P R
est scind, alors P aussi. Il en est de mme pour ' P aP + , R a .
Dmonstration :
Soit
n
i
m
i
i
a X P
1
) (
tel que
n
a a < <...
1
(
d m P
n
i
i
1
deg
,
1
i
m
)
Chaque i
a
est racine de P de multiplicit
1
i
m
, donc on a dj
n d m
n
i
i
1
) 1 (
racines. Il en manque 1 n :
Sur chaque segment
[ ]
1
,
+ i i
a a
pour
[ ] 1 , 1 n i
, on a
0 ) ( ) (
1
+ i i
a P a P
.
Et P est rel, continu sur
[ ]
1
,
+ i i
a a
, drivable sur
] [
1
,
+ i i
a a
.
Donc daprs le thorme de Rolle, il existe
] [
1
,
+
i i i
a a b
tel que
0 ) ( '
i
b P
On a donc 1 n racines supplmentaires, distinctes des autres.
Donc P est scind.
Montrons maintenant que ' P aP + est scind.
Si 0 a , le rsultat est vu.
Sinon :
On a
n
i
m
i
i
X P
1
) (
, et
1
1 1
1
) ( ) ( '
n
i
i
n
i
m
i
X X K P
i
O n n
< < < < < <
1 2 2 1 1
...
Ainsi,
,
_
+ +
1
1 1 1
1
) ( ) ( ) ( '
n
i
i
n
i
i
n
i
m
i
X K X a X aP P
i
On note
+
1
1 1
) ( ) (
n
i
i
n
i
i
X K X a R
.
Ainsi, pour tout
[ ] 1 , 1 n i
, on a
0 ) ( ) ( ) ( ) (
1
1
1
1
1
2
1
<
+
n
j
j i
n
j
j i i i
K R R
, puisque
1
1
) (
n
j
j i
a le
signe de
i n
) 1 ( et
+
1
1
1
) (
n
j
j i
celui de
1
) 1 (
i n
.
Ainsi, pour tout
[ ] 1 , 1 n i
, il existe
] [
1
,
+
i i i
tel que
0 ) )( ' ( +
i
aP P
On a ainsi 1 n valeurs distinctes, et distinctes des
i
1
1
) (
, avec Q de degr 1 donc scind.
Autre dmonstration :
Les
i
C , et
) ( ) (
1 +
i i
f f
Donc il existe
] [
1
,
+
i i i
tel que
0 ) ( '
i
f
Mais on a )) ( ' ) ( ( ) ( '
.
t P t aP e t f
t a
+
Donc
i
d
j
j
j
X a Q
0
A.BENHARI 24
Alors
d
j
j
j
P a R
0
) (
est scind.
Dmonstration : par rcurrence.
- Si 1 d , on vient de le faire.
- Soit 1 d , supposons le rsultat vrai pour tout polynme Q scind de degr d.
Alors
1
) ( Q X Q
o
1
Q
est de degr d et scind.
On pose alors
'
] [ ] [ :
P P
X X D R R
Ainsi, ) ))( (
~
) Id (( ) ))( (
~
(
1
P D Q D P D Q R
Et ) )( (
~
1
P D Q S est scind par hypothse de rcurrence, puis
) )( Id ( S D
puisque cest le cas 1 d .
Donc R est scind.
C) Consquences du thorme de Rolle
Thorme (de prolongement
1
C ) :
Soient R a , R b et
] [ R b a f , :
de classe
1
C . f a un prolongement
1
C en
a si et seulement si f a une limite en a (lexistence dune limite pour f est alors
automatiquement assure)
Exemple :
x x
x f
1
sin
1
:
a un prolongement
1
C sur
] [ ,
(Remarque : il ne suffit pas dappliquer le thorme, il ne donnera que le caractre
1
C par morceaux ; il faut aussi vrifier que les limites droite et gauche sont gales)
Monotonie, convexit :
Proprits de rgularit :
(1) Une fonction monotone sur un intervalle admet une limite gauche et une
limite droite en tout point o cela a un sens, et elle est continue, sauf
ventuellement en les points dun ensemble fini ou dnombrable.
(2) Une fonction convexe sur un intervalle I admet une drive gauche et une
drive droite en tout point o cela a un sens. Elle est lipschitzienne sur tout
segment inclus dans I ; en particulier, elle est continue, sauf, ventuellement,
en les bornes de I.
Caractrisation des applications constantes, monotones ou convexes sur un
intervalle :
(1) Une application est constante sur un intervalle si et seulement si elle est
drivable de drive nulle.
(2) Une application drivable est croissante sur un intervalle I si et seulement si sa
drive est positive ; elle est strictement croissante si et seulement si sa drive
est positive et lintrieur de
{ } 0 ) ( ' , x f I x
est vide.
(3) Une application deux fois drivable est convexe sur un intervalle si et
seulement si sa drive seconde est positive.
Attention : Une fonctions drivable de drive nulle sur R A nest pas
ncessairement constante, elle ne lest que sur tout intervalle inclus dans A ; on la dit
localement constante.
A.BENHARI 25
Rgle de lHpital (hors programme) :
Pour f et g relles drivables au voisinage de a, si f et g tendent vers 0 en a et si
'
'
g
f
a une limite R b en a, alors
g
f
a aussi cette limite en a.
Thorme de Darboux :
La drive dune fonction f drivable sur un intervalle I, bien quelle puisse ne pas
tre continue, vrifie quand mme le thorme de la valeur intermdiaire.
Dmonstration :
Pour
[ ] I b a ,
, on applique le thorme de la valeur intermdiaire aux fonctions
continues dfinies par
'
a x a f
a x
a x
a f x f
x g
si ) ( '
si
) ( ) (
) (
et
'
b x b f
b x
b x
b f x f
x h
si ) ( '
si
) ( ) (
) (
On remarque que
[ ] [ ]) , ( ) , ( b a h b a g J
est un intervalle (runion de deux
intervalles scants en
) ( ) ( a h b g
) contenant
) ( ' a f
et
) ( ' b f
.
Mais daprs le thorme des accroissements finis,
[ ]) , ( b a g
et
[ ]) , ( b a h
sont
inclus dans
[ ]) , ( ' b a f
, donc J aussi. Donc on a
[ ] [ ]) , ( ' ) ( ' ), ( ' b a f J b f a f
D) Rciproque dune application de classe
k
C et diffomorphisme entre
deux intervalles
Thorme :
Soient I, J deux intervalles de R, et
J I f :
une application bijective drivable.
Alors f est monotone, sa drive est de signe constant, et
1
f
, rciproque de f, est
drivable en
I a f b ) (
si et seulement si
0 ) ( ' a f
, et dans ce cas on a
)) ( ( '
1
) ( )' (
1
1
b f f
b f
Dfinition :
On appelle diffomorphisme de classe
k
C entre I et J toute application
J I f :
bijective, de classe
k
C et dont la rciproque est aussi de classe
k
C .
Thorme :
Soit 1 k . Une application
J I f :
est un
k
C -diffomorphisme si et
seulement si elle est de classe
k
C , bijective et f ne sannule pas.
V. Approximation uniforme des fonctions continues
Thorme :
(1) Toute fonction continue sur un segment et valeurs dans un espace norm E est
limite uniforme dune suite de fonctions affines par morceaux et continues.
(2) Elle est aussi limite uniforme dune suite de fonctions en escaliers.
A.BENHARI 26
Thorme quon peut aussi noncer sous la forme :
Lensemble des fonctions affines par morceaux et continues est une partie dense de
lespace norm
[ ] ) ), , , ( (
0
E b a C
. Lensemble des fonctions en escalier est dense dans le
mme espace.
Dmonstration :
On considre lensemble
[ ] ) , , ( E b a B
des fonctions bornes muni de
tels
que
1
f
et
2
f
.
Soit donc 0 > .
Comme f est continue sur le compact
[ ] b a,
, elle y est uniformment continue.
Il existe donc 0 > tel que
[ ]
E
y f x f y x b a y x ) ( ) ( , , ) , (
2
On pose alors
i a a
i
. +
pour
[ ] 1 , 0 N i
o N est le plus grand entier tel que
b N a < + ) 1 (
Et on pose aussi
b a
N
.
Considrons alors [ ] ) , , (
1
E b a dfini par
[ ]
[ [
) ( , 1 , 0
1
, / 1 i a a
a f N i
i i
+
et
) ( ) (
1
b f a
N
.
On a alors
1
f
.
En effet, pour
[ ] b a x ,
, on a :
Soit b x , et
) ( ) (
1
x x f
Soit
[ [ b a x ,
, et il existe
[ ] 1 , 0 N i
tel que
[ [
1
,
+
i i
a a x
,
Et alors
E
i
E
a f x f x x f ) ( ) ( ) ( ) (
1
Donc
[ ]
E
x x f b a x ) ( ) ( , ,
1 , c'est--dire
1
f
.
Considrons
2
Et pour tout
[ ] b a x ,
, il existe
[ ] 1 , 0 N i
tel que
[ ]
1
,
+
i i
a a x
On note alors
[ ] 1 ; 0 t
tel que i i
a t a t x ). 1 ( .
1
+
+ .
On a ainsi
) ( ) 1 ( ) ( ) ( ) 1 ( ) ( . ) (
1 2 1 2 2 i i i i
a f t a tf a t a t x + +
+ +
Donc
+ +
+
) 1 ( ) ( ) ( ) 1 ( ) ( ) ( . ) ( ) (
1 2
t t a f x f t a f x f t x x f
E
i
E
i
E
(Car
+ + 1 1 i i i
a a a x
et
+1 i i i
a a a x
)
Do
2
f
.
Ainsi, on a montr les inclusions
0
C , A C
0
.
On verra quune limite uniforme dune suite de fonctions continues est continue, et donc
que
0
C A , puisque A est constitue de fonctions continues.
Donc
0
C A pour
.
Remarque (hors programme) :
Ladhrence de
[ ] ) , , ( E b a
dans
[ ] ) ) , , ( (
E b a B
est lensemble des fonctions
rgles, c'est--dire des fonctions admettant une limite droite et gauche en tout point.
A.BENHARI 27
Thorme (Weierstrass) :
(1) (algbrique) toute fonction continue sur un segment
[ ] b a,
est limite uniforme sur
[ ] b a,
dune suite de fonctions polynomiales.
(2) (trigonomtrique) toute fonction continue sur R et 2 -priodique est limite
uniforme dune suite de polynmes trigonomtriques.
Prcision :
Pour tout Z n , on dfini
n
e
par
t n i
n
e t e t
. .
) ( , R
Ainsi, les
C R :
n
e
sont continus, 2 -priodiques.
Et Z n n
e ) (
est libre.
On note alors pour N n ,
) , ( Vect n k e T
k n
et
) , ( Vect Z
N
k e T T
k
n
n
.
Un lment de T est appel polynme trigonomtrique.
Dmonstration (de Bernstein) du thorme :
(1) On se ramne
[ ] [ ] 1 , 0 , b a
.
En effet, supposons le thorme de Weierstrass tabli sur
[ ] 1 , 0
et soit
[ ] C b a f , :
continue.
Posons, pour
[ ] 1 , 0 t
,
) ). 1 ( . ( ) ( a t b t f t g +
. Alors g est continue sur
[ ] 1 , 0
.
Il existe alors une suite
N n n
P ) (
de polynmes telle que [ ]
0
1 , 0 ,
+ n n
g P
On dfinit alors
,
_
a b
a X
P Q
n n
Pour tout
[ ] b a x ,
, en posant
[ ] 1 , 0
a b
a x
t
, on a
a t b t x ). 1 ( . +
et donc
[ ] 1 , 0 ,
) ( ) ( ) ( ) (
g P t P t g x Q x f
n n n
C'est--dire [ ] [ ] 1 , 0 , , ,
g P Q f
n
b a
n , do la limite.
Maintenant :
Soit
[ ] C 1 , 0 : f
. On associe le polynme de Bernstein de f, dfini par :
,
_
n
k
k n k k
n n
X X
n
k
f C f B
0
) 1 ( ) (
(Pour
[ ] 1 , 0 x
,
) )( ( x f B
n
est le barycentre de la famille des
,
_
,
_
k
n
k
f ,
avec
0 ) 1 (
k n k k
n k
x x C
et
1
0
n
k
k
)
Proprits : pour tout 1 n ,
-
1 ) 1 (
0
n
k
k n k k
n
X X C
-
X X X
n
k
C
n
k
k n k k
n
0
) 1 (
(c'est--dire
X B
n
) Id (
)
-
n
X X
X X X
n
k
C
n
k
k n k k
n
) 1 (
) 1 (
2
0
2
+
,
_
-
n
X X
X X
n
k
X C
n
k
k n k k
n
) 1 (
) 1 (
0
2
,
_
En effet :
A.BENHARI 28
La premire galit est simplement une rcriture de
n
X X ) 1 ( +
Posons pour R t ,
n t
n
k
k n k kt k
n X
X X e X X e C t ) 1 ( ) 1 ( ) (
0
+
Ainsi,
X
est drivable et
t n t
n
k
k n k kt k
n X
Xe X X e n X X ke C t
1
0
) 1 ( ) 1 ( ) ( '
Avec 0 t , on a
nX X kX C
n
k
k n k k
n
0
) 1 (
do la deuxime galit.
En redrivant :
t n t t n t
n
k
k n k kt k
n X
e X X e nX e X X X e n n X X e k C t
1 2 2
0
2
) 1 ( ) 1 )( 1 ( ) 1 ( ) ( ' '
+ + +
et donc en 0 t :
nX X n n X X k C
n
k
k n k k
n
+
2
0
2
) 1 ( ) 1 (
do la troisime
Enfin,
n
X X
n
X X
X X X
X X
n
k
C X X
n
k
C X
X X C X X X X C
n
k
k n k k
n
n
k
k n k k
n
n
k
k n k k
n
n
k
k n k
n
k
k
n
) 1 ( ) 1 (
2
) 1 ( ) 1 ( 2
) 1 ( ) 1 ( ) (
2 2 2
0
2
0
0
2
0
2
+ +
,
_
Application au thorme :
Soit
[ ] C 1 ; 0 : f
continue.
Montrons que la suite des polynmes de Bernstein convient pour le thorme, c'est--
dire que
>
) ( , , , 0 f B f N n N
n
N
On note
n
k
k n k
n
k
k
n
n
k
k n k
n
k
k
n
n
k
k n k
n
k
k
n n
x x f x f C
x x f x f C
x x f C x f x f B x f
0
0
0
) 1 ( ) ( ) (
) 1 ( )) ( ) ( (
) 1 ( ) ( ) ( ) )( ( ) (
(car
1 ) 1 (
0
n
k
k n k k
n
x x C
)
Soit 0 > . On pose [ ] { }
n
k
x n k I , , 0
1
, [ ]
1 2
\ , 0 I n I
Et
j
I k
k n k
n
k
k
n j
x x f x f C S ) 1 ( )) ( ) ( (
(
2 , 1 j
)
Majorons
1
S
avec
:
On a
) ( ) 1 ( ) ( ) 1 ( ) (
0
1
1
n
k
k n k k
n
I k
k n k k
n
x x C x x C S
Majorons
2
S
:
A.BENHARI 29
Si
2
I k
, alors
1
n
k
x
, donc
2
2
) (
n
k
n
k
x
x
Donc
n
f
n
x x
f
x x f
x
C
x x f
x
C S
n
k
k n k n
k
k
n
I k
k n k n
k
k
n
2 2
0
2
2
2
2
2
2
) 1 (
2
) 1 ( 2
) (
) 1 ( 2
) (
2
Car
[ ] 4 / 1 ) 1 ( , 1 , 0 x x x
On a donc, pour tout 1 n et 0 > :
[ ]
n
f
x f B x f x
n
2
2
) ( ) )( ( ) ( , 1 , 0
+
Donc
n
f
f B f
n
2
2
) ( ) (
+
Si on prend
3 / 1
1
n
, on a pour tout 1 n : 0
2
) ( ) (
3 / 1
3 / 1
+
+
n
n
n
f
n f B f
Remarque :
Si f est positive, les
) ( f B
n
le sont aussi sur
[ ] 1 , 0
.
Si f est croissante ou convexe, il en est de mme pour les
) ( f B
n
.
Pour les polynmes trigonomtriques :
- Si
C R : f
est paire et continue, posons
)) ( Arccos ( ) ( x f x g
pour
[ ] 1 , 1 x
Alors
) (cos ) ( , t g t f t R
.
En effet, cest vrai sur
[ ] , 0
, puis sur
[ ] ,
par parit et enfin sur R par priodicit.
[ ] C 1 , 1 : g
est continue, donc limite uniforme dune suite
N n n
P ) (
de polynmes,
disons
) (
0
) (
n d
k
k
k n
X n a P
Donc pour tout R t ,
n n n
P g x P x g t P t f ) ( ) ( ) (cos ) (
en posant
t x cos
Et
) (
0
cos ) ( ) (cos
n d
k
k
k n
t n a t P est un polynme trigonomtrique
Car pour tout
[ ] n k , 0
, ) , ( Vect
2
cos k j e
e e
t
j
k
it it
k
,
_
,
on a
) ( ) ( ) ( f f f
donc
0 ) ( ) ( f f
On pose
'
Z
Z
Z
2 si ) ( '
2 si ) 0 ( '
si
sin
) (
) (
t f
t f
t
t
t f
t h
A.BENHARI 30
Comme
) ( ) 0 ( f f
et f est drivable en 0 et
n n n
Q h t Q t h t t Q t t f t ) ( ) ( sin ) ( sin ) ( , R
Or,
) ( sin t Q t t
n
k
, continue, impaire et 2 -priodique drivable en
0 et
telle que
f k
.
On peut en effet, pour
] [ , 0
suffisamment petit, dfinir k par
Sur
[ ] ,
, k est affine telle que
) ( ) ( f k
et
) ( ) ( f k
Sur
[ ] + + ,
, k est affine telle que
) ( ) ( f k
,
) ( ) ( + + f k
Et
f k
sur
[ ] [ ] + + 2 , ,
On a ainsi
[ ] [ ]
,
_
)
A. Dfinition
Soit
R I f :
. On dit que f est convexe (sur I) lorsque :
(1) Pour tous a, b de I, pour tous
,
de
+
R tels que
1 +
:
) ( ) ( ) ( b f a f b a f + +
Notons que vu les remarques suivantes :
a et b jouent des rles symtriques dans (1)
Lingalit
) ( ) ( ) ( b f a f b a f + +
est videmment toujours vraie
si b a (et
1 +
)
A.BENHARI 32
Les couples
2
) ( ) , (
+
R tels que
1 +
sont exactement les
) 1 , (
avec [ ] 1 , 0
On peut dduire toute une srie de variantes de la condition (1), videmment
quivalentes (1), par exemple :
(1 bis) Pour tous a, b de I avec b a < , pour tout
2
) ( ) , (
+
R tel que
1 +
:
) ( ) ( ) ( b f a f b a f + +
(1 ter) Pour tous a, b de I, pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
(1 quadro) Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
Exemples :
*
2
x x est convexe (sur R).
En effet, pour tous a, b de I et pour tout [ ] 1 , 0 , on a les quivalences :
[ ]
[ ]
est vrai qui ce 0 ) )( 1 (
0 2 ) 1 (
) 1 ( ) 1 ( ) 1 ( 2 ) 1 ( ) 1 (
2
2 2
2 2 2 2 2 2 2 2 2
+
+ + + + +
b a
b ab a
b a b ab a b a b a
* les fonctions affines sont convexes (et mme mieux selon le prliminaire)
B. Interprtation graphique
a b
) (a f
) (b f
x
C
z
) (x f
A
B
On voit ici larc de la courbe C situ entre deux points A, B de C, et la corde [ ] B A,
correspondante.
Ce graphique illustre la proposition :
Soit
R I f :
. Alors f est convexe si et seulement si :
(2) Tout arc de la courbe C est sous la corde correspondante.
Dmonstration :
La traduction rigoureuse de la condition (2) va nous montrer que
) 1 ( ) 2 (
.
En effet :
Pour chaque
2
) , ( I b a (avec b a < ), notons
b a
g
,
la fonction affine qui concide
avec f en a et en b, c'est--dire telle que :
) ( ) (
,
a f a g
b a
et
) ( ) (
,
b f b g
b a
.
A.BENHARI 33
Alors la condition (2) quivaut :
Pour tous a, b de I avec b a < , pour tout [ ] b a x , :
) ( ) (
,
x g x f
b a
(
) (
,
x g
b a
est le z du dessin)
Mais, daprs le prliminaire, [ ] b a, est lensemble des
b a ) 1 ( +
o [ ] 1 , 0 .
Donc (2) scrit aussi :
Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ) 1 ( ( ) ) 1 ( (
,
b a g b a f
b a
+ +
.
Mais, toujours daprs le prliminaire, comme
b a
g
,
est affine :
) (
,
) (
, ,
) ( ) 1 ( ) ( ) ) 1 ( (
b f
b a
a f
b a b a
b g a g b a g + +
Donc (2) est devenue :
Pour tous a, b de I avec b a < , pour tout [ ] 1 , 0 :
) ( ) 1 ( ) ( ) ) 1 ( ( b f a f b a f + +
On reconnat (1 quadro)
C. Proprit de croissance des pentes
Thorme :
Soit
R I f :
convexe.
Alors, pour tous a, b, c de I avec b c a < < :
c b
c f b f
a b
a f b f
a c
a f c f
) ( ) ( ) ( ) ( ) ( ) (
Illustration ( retenir) :
a b
C
c
A
C
B
) AC ( de pente
) ( ) (
a c
a f c f
) AB ( de pente
) ( ) (
a b
a f b f
) CB ( de pente
) ( ) (
c b
c f b f
Dmonstration :
En reprenant les notations de la dmonstration du B) : la droite (AB) a pour
quation
) (
,
x g y
b a
.
Alors : )) AB ( de (pente
) ( ) (
) ( ) (
,
a c
a f c g
a b
a f b f
b a
.
Or,
) ( ) (
,
c g c f
b a
, do la premire ingalit.
De mme, )) AB ( de (pente
) ( ) (
) ( ) (
,
c b
c g b f
a b
a f b f
b a
Or,
) ( ) (
,
c g c f
b a
, do la deuxime ingalit.
Consquence : thorme :
Soit
R I f :
, convexe.
A.BENHARI 34
Alors pour tout
I x
0
, lapplication
0
0
) ( ) (
x x
x f x f
x
car :
Si
2 1 0
x x x < <
, cest la premire ingalit du thorme prcdent avec
) , , ( ) , , (
2 1 0
x x x c b a
Si
2 0 1
x x x < <
, cest lingalit obtenue par transitivit de dans le
thorme prcdent avec
) , , ( ) , , (
2 0 1
x x x c b a
Si
0 2 1
x x x < <
, cest la deuxime ingalit du thorme prcdent avec
) , , ( ) , , (
0 2 1
x x x c b a
VII. Fonctions convexes drivables
Thorme :
Soit
R I f :
, drivable.
Alors f est convexe si et seulement si
' f
est croissante.
Corollaire :
Soit
R I f :
, deux fois drivable.
Alors f est convexe si et seulement si
' ' f
est positive.
Dmonstration du thorme :
Soit
R I f :
, drivable.
(1) Supposons
' f
croissante.
Soient
I b a ,
avec b a < et soit encore
b a
g
,
la fonction affine qui concide avec f en a
et en b. (ainsi, pour tout ) (
) ( ) (
) ( ) ( :
,
a x
a b
a f b f
a f x g I x
b a
+ )
A.BENHARI 35
Pour [ ] b a x , , on pose
) ( ) ( ) (
,
x g x f x
b a
. Alors
) ( ) (
) ( ' ) ( '
Or, selon le thorme des accroissements finis, il existe ] [ b a c , tel que
a b
a f b f
c f
) ( ) (
) ( ' . Ainsi, [ ] ) ( ' ) ( ' ) ( ' , , c f x f x b a x
Et comme
' f
est suppose croissante, on en tire le tableau de variations :
x a c b
) ( ' x
) (x
Do il rsulte que [ ] 0 ) ( , , x b a x .
On a donc prouv que :
Pour tous
I b a ,
avec b a < , pour tout [ ] b a x , ,
) ( ) (
,
x g x f
b a
.
Donc f est convexe (tout arc est sous la corde correspondante).
(2) Rciproquement, supposons f convexe.
Soient alors I x x
2 1
, , avec
2 1
x x < .
* Alors, selon le thorme de croissance des pentes :
] [
1 2
1 2
1
1
2 1
) ( ) ( ) ( ) (
, ,
x x
x f x f
x x
x f x f
x x x
Et le passage la limite lorsque x tend vers
1
x est possible, car f est drivable, et donne :
1 2
1 2
1
) ( ) (
) ( '
x x
x f x f
x f
2
2
1 2
1 2
2 1
) ( ) ( ) ( ) (
, ,
Et le passage la limite lorsque x tend vers
2
x donne :
) ( '
) ( ) (
2
1 2
1 2
x f
x x
x f x f
Illustration :
A.BENHARI 36
b a
C
Thorme :
Soit
R I f :
convexe et drivable. Alors la courbe C de f est au dessus de ses
tangentes, c'est--dire :
) ( ' ) ( ) ( ) ( , ,
0 0 0 0
x f x x x f x f I x I x +
.
x
0
C
Tangente C au point dabscisse x
0
(dquation )) ( ' ) ( ) (
0 0 0
x f x x x f y +
Dmonstration :
Soit
R I f :
convexe et drivable, et soit
I x
0
Pour I x , posons
) ( ' ) ( ) ( ) ( ) (
0 0 0
x f x x x f x f x
Alors
n
i
i i
n
i
i i
a f a f
1 1
) (
A.BENHARI 37
Dmonstration :
Par rcurrence sur n (P(n) tant ce qui suit, dans lnonc du thorme, le pour tout
* N n )
* P(1) est vrai : trivial, R
1 1
, I a tel que 1
1
, ) ( ) (
1 1 1 1
a f a f .
* P(2) est vrai : cest la dfinition de la convexit.
* Soit * N n . Supposons P(n). Soient alors
I a a a
n
+1 2 1
,... ,
et
+
+
R
1 2 1
,... ,
n
tels
que
1
1
1
n
i
i
- Si
0
1
n
i
i
, cest que
0 ...
2 1
n
et
1
1
+ n
n
i
i
S
1
. On peut crire :
1 1
1
1
1
+ +
n n
n
i
i i
n
i
i i
a
S
a
S a
et S et
1 + n
+
,
_
n n
n
i
i i
n
i
i i
a f
S
a
f S a f
n
i
i
i
n
i
i
i
a f
S
a
S
f
1 1
) (
Do finalement :
+
,
_
+ +
1
1
) (
1 1
1
1
1
) ( ) (
n
i
i i
a f
n n
n
i
i
i
n
i
i i
a f a f
S
S a f
gaux
n
1
) :
Soit
R I f :
convexe. Alors pour tout * N n , pour tout
I a a a
n
,... ,
2 1
, on a :
,
_
n
i
i
n
i
i
a f
n
a
n
f
1 1
) (
1 1
IX. Exemples
I. Dfinition
Soit
R I f :
. On dit que f est concave lorsque f est convexe. Ainsi, toutes les
proprits des fonctions convexes sappliquent immdiatement aux fonctions concaves,
en retournant les ingalits.
A.BENHARI 38
ii. Les fonctions classiques
Tout les rsultats suivant se justifient en considrant la drive seconde, et seront
dornavant supposs connus (dailleurs, on les voit sur les graphes de ces fonctions,
supposes connus aussi)
- exp est convexe sur R.
- ln est concave sur
*
+
R
- sin est concave sur [ ] , 0 (et convexe sur [ ] 0 , )
- cos est concave sur
1
]
1
2
,
2
(et convexe sur
1
]
1
2
3
,
2
)
- tan est convexe sur
2
, 0
(et concave sur
1
]
1
1
]
1
0 ,
2
)
- fonctions puissance :
o Si R ,
x x
est
C
sur
*
+
R , de drive seconde
2
) 1 (
x x
Donc
x x est
'
< <
> <
+
+
+
1 ou 0 si sur (affine) concave et convexe
1 0 si sur concave
1 ou 0 si sur convexe
*
*
*
R
R
R
Rappel des graphes :
=
1
>
1
0
<
<1
=0
<
0
o Cas particulier des exposants entiers :
- Si Z n ,
n
x x est
n
x n n x . Donc
n
x x est
'
+
+
impair est si sur concave et sur convexe
pair est si et sur convexe
* *
* *
n
n
R R
R R
- Si N n ,
n
x x est
'
1 ou 0 si 0
2 si ) 1 (
2
n
n x n n
x
n
.
Donc
n
x x est
'
+
impair est si sur concave et sur convexe
pair est si sur convexe
n
n
-
R R
R
A.BENHARI 39
ii. Exemple dapplication
Comparaison des moyennes arithmtique, gomtrique, harmonique, quadratique.
Soient
*
2 1
,... ,
+
R
n
a a a . On pose :
n
a a a
A
n
...
2 1
+ +
;
n
n
a a a G ...
2 1
1
1 1 1
...
2 1
,
_
+ +
n
H
n
a a a
;
n
a a a
Q
n
2 2
2
2
1
... + + +
Alors
Q A G H
En effet :
2 2
Q A car
2
x x est convexe sur
*
+
R , do
Q A
A G ln ln car ln est concave sur
*
+
R , do A G
H G
1 1
car cest lingalit A G applique aux
i
a
1
, do G H
(Remarque : les ingalits ne sont pas faciles dmontrer de faon lmentaire)
X. Fonctions vectorielles valeurs dans un espace euclidien
E dsigne ici un R-ev euclidien de dimension p,
) ,.. , (
2 1 p
e e e B
en est une base.
D est une partie de R, E D F : est une fonction de D dans E.
On note
p
f f f ,... ,
2 1
les fonctions de D dans R dfinies par
p
i
i i
e t f t F D t
1
) ( ) ( ,
(On les appelle les fonctions coordonnes de F dans la base B)
A. Limite, continuit
Dfinition, proposition :
Soit R a un point adhrent D, et E l de coordonnes
p
l l l ,... ,
2 1
dans B.
[ ]
0 ) ( lim
lim , , 1
) ) ( ( , , 0 , 0 lim
< < > >
l t F
l f p i
l t F a t D t l f
a t
i i
a
a
Dfinition, proposition analogues pour lventuelle limite en + ou
lorsque D est
non majore ou non minore.
Dfinition et proposition analogues pour les ventuelles limites droite ou gauche en
un point a de R tel que a soit adhrent ] [ + , a D ou ] [ a D , .
On tablit aisment les rsultats concernant les oprations classiques sur les fonctions
vectorielles : si
E D G F : ,
on des limites en un point a de
R
adhrent D, si R et si
R D :
a une limite finie en a.
Alors G F + , F ,
F
, G F et
F
on des limites en a, qui sont respectivement :
A.BENHARI 40
G F
a a
lim lim +
,
F
a
lim
,
F
a a
lim . lim
,
G F
a a
lim lim
et
F
a
lim
.
Et dans les cas o E est orient et de dimension 3, G F a une limite en a qui est
G F
a a
lim lim
On a aussi le thorme de composition :
Si
R A :
(avec R A ), si E D F : (avec
D A ) (
), si R est adhrent A
et si
a une limite R a en
, qui est
F
a
lim
.
Dfinition, proposition :
Soit D a .
F est continue en a
lapplication
{ }
a t
a t F
t
E a I
) ( ) (
\
a une limite en a.
[ ] p i , 1
,
i
f
est drivable en a.
Cette limite est alors note
) ( ' a F
ou ) (a
dt
dF
, et on a
p
i
i i
e a f a F
1
) ( ' ) ( ' .
Dfinitions, propositions analogues pour lventuelle drivabilit et drive
droite ou gauche en a, et pour la drivabilit et la drive sur I.
Proposition :
(Rappel : I est un intervalle de R)
A.BENHARI 41
Si F est drivable sur I, alors cte 0 ' F F
Notions de drives successives, de classes de fonctions analogues aux dfinitions
des fonctions relles
ii. Oprations sur les fonctions drivables en un point
Si
E I G F : ,
sont drivables en a, si R et si
R I :
est drivable en a,
alors G F + , F ,
F
et G F sont drivables en a, et on a :
) ( ' ) ( ) ( ) ( ' ) ( )' (
) ( ' ). ( ) ( ). ( ' ) ( )' . (
) ( ' . ) ( )' . (
) ( ' ) ( ' ) ( )' (
a G a F a G a F a G F
a F a a F a a F
a F a F
a G a F a G F
+
+
+ +
Et, dans le cas o E est de dimension 3 et orient, G F est drivable en a et :
) ( ' ) ( ) ( ) ( ' ) ( )' ( a G a F a G a F a G F +
.
Remarque :
On obtient ensuite par rcurrence les formules de Leibniz pour
) ( ) (
) ( , ) . (
n n
G F F
et
) (
) (
n
G F , lorsque F, G et
sont de classe
n
C .
Thorme de composition :
Si
R J :
, E I F : avec
I J ) (
, si J et si
est drivable en
et F
drivable en
) (
, alors
F
est drivable en
, et
)) ( ( ' ) ( ' ) ( )' ( F F
Proposition :
Si E I F : est drivable en a, et si
0 ) ( a F
, alors
F
est drivable en a, et :
) (
) ( ' ) (
) ( )' (
a F
a F a F
a F
.
Proposition :
Si F est drivable sur I, et si
cte F
, alors ' F F
(c'est--dire
) ( ' ) ( , t F t F I t
)
En effet :
Si
0 cte F
, cest que 0 cte F , do le rsultat.
Sinon, selon la proprit prcdente, on peut crire :
) (
) ( ' ) (
) ( )' ( 0 ,
a F
a F a F
a F I a
Exemple :
C est un cas particulier despace euclidien sur R. (de dimension 2, une base
orthonorme tant par exemple la base
) , 1 ( i
, la norme euclidienne tant le module)
A.BENHARI 42
On a dj trait le cas des fonctions dune partie de R dans C (et on a dans ce cas
une opration supplmentaire, savoir la multiplication)
Pour tout C m , la fonction
t m
e t
.
est drivable sur R, de drive
t m
me t
.
.
Lorsquon prend i m , cette fonction,
t i
e t
.
est de module constant gal 1, et
sa drive
) (
.
2
t i
t i
e ie t
lui est bien orthogonale.
C. Intgration
Proposition, dfinition :
Soit
E b a F ] , [ :
, continue. Alors la valeur de
,
_
p
i
i
b
a
i
e dt t f
1
) ( est indpendante du
choix de la base
) ,... , (
2 1 p
e e e B
. Cette valeur est par dfinition
b
a
dt t F ) ( .
La dfinition peut stendre aux fonctions continues par morceaux
Proprit : linarit, relation de Chasles
Thorme (admis) :
Si
E b a F ] , [ :
est continue (ou continue par morceaux), et si b a , alors :
b
a
b
a
dt t F dt t F ) ( ) (
Thorme :
Si I est un intervalle de R, et si E I F : est continue, alors la fonction
x
a
dt t F x ) (
est une primitive de F sur I, et cest lunique primitive de F sur I nulle en a.
Il en rsulte que si E I F : est continue sur I, alors F admet une primitive G, et pour
tous a, b de I, ) ( ) ( ) ( a G b G dt t F
b
a
.
Consquences : thorme dintgration par parties, de changement de variables
Remarque : La formule de la moyenne est fausse (Avec C E par exemple).
D. Ingalits et formules de Taylor diverses
Ingalit des accroissements finis :
Si F est continue sur
] , [ b a
, drivable sur
[ , ] b a
, et si il existe
+
R k tel que
k t F b a t ) ( ' [, , ]
, alors
a b k a F b F ) ( ) (
.
Lgalit des accroissements finis est fausse (voir encore avec C E )
Ingalit de TaylorLagrange lordre 1 n :
Si F est de classe
n
C ( 1 n ) sur
] , [ b a
, et si
) ( sup
) (
] , [
t F M
n
b a t
n
+ + +
Lgalit de TaylorLagrange est fausse (elle est vraie dans R mais hors programme)
A.BENHARI 43
Formule de Taylor avec reste intgral ( lordre 1 n ) :
E b a F ] , [ :
est de classe
n
C ( 1 n ), alors :
+ + +
b
a
n
n
n
n
dt t F
n
t b
a F
n
a b
a F a b a F b F ) (
)! 1 (
) (
)! 1 (
) (
... ) ( ' ) ( ) ( ) (
) (
1
) 1 (
1
(Cette formule stablit aisment grce des intgrations par parties successives, et
donne ainsi une preuve de lingalit de TaylorLagrange grce au thorme de majoration vu
au III)
Formule de TaylorYoung ( lordre n) :
Si E I F : est de classe
n
C sur un intervalle I contenant 0, alors il existe E I : ,
telle que
0 ) ( lim
0
t
t
et :
) ( ) 0 ( . ... ) 0 ( ' ' . ) 0 ( ' . ) 0 ( ) ( ,
) (
! 2
2
t t F F F t F t F I t
n n
n
t t
n
+ + + + +
E. Dveloppements limits
Dfinition :
Soient I un intervalle infini de R,
I t
0
, notons I D ou
{ }
0
\ t I
, et E D F : .
On dit que F admet un DL lordre n en
0
t
lorsquil existe une fonction E D : et
des lments
n
a a a ,... ,
1 0
de E tels que :
) ( ) ( ) ( ... ) ( ) ( ) ( ,
0 ) ( lim
0 0 2
2
0 1 0 0
0
t t t a t t a t t a t t a t F D t
t
n
n
n
t t
+ + + + +
Proprits :
- Unicit de lventuel DL lordre n en
0
t
.
- Existence dun DL lordre n en
0
t
existence de DL en
0
t
tout ordre
n q
.
- Existence dun DL lordre 0 en
0
t
drivabilit en
0
t
(Mais ne stend pas aux ordres suprieurs)
- F est de classe
n
C au voisinage de
0
t
F a un DL lordre n en
0
t
(Donn alors par la formule de TaylorYoung)
Oprations sur les DL :
- Somme, produit par un scalaire : vident.
- Pour les autres oprations : voir ce qui se passe dans chaque cas particulier.
XI. Comparaison de fonctions
Notations :
Ici, D dsigne une partie non vide de R, a un lment de
R
, adhrent { } a D\ , et f, g, h, f
1
,
g
1
des fonctions de D dans R.
A.BENHARI 44
D. Fonction ngligeable devant une autre
i. Gnralits
On dit que f est ngligeable devant g au voisinage de a lorsquil existe une
fonction
Au voisinage de 0 :
Quels que soient les rels strictement positifs
,
:
) ( ln
x o x .
Dmonstration :
A.BENHARI 45
On peut aisment tablir toutes ces propositions en ayant montr que
+
+
x
e
x
x
lim :
Montrons dj par rcurrence que n
n
n
n
+
1
2
, 5 :
Pour 5 n , on a 5
3
16
6
32
1 5
2
5
+
Soit 5 n . Supposons que n
n
n
+1
2
Alors
2
) 1 ( 2
2
) 1 ( 2
1
2
2
2 2
2
2
1
+
+
+
+
+
+
n
n n
n
n
n n n
n n n
Or, pour
2 2 , 2 + n n n
soit 1
2
2
+ n
n
.
Donc 1
2
) 1 ( 2
2
2
1
+
+
+
+
+
n
n
n n
n
n
ce qui achve la rcurrence.
Maintenant :
Soit 5 x . Notons [ ] p x . On a :
1
1
2
1
+
+
x p
p p
e
x
e
p p x
.
Donc 1 , 5 x
x
e
x
x
, donc +
+
x
e
x
x
lim .
iii. Proprits
Proposition :
La relation est ngligeable devant au voisinage de a , dfinie sur
) , ( R D F
,
est transitive et compatible avec le produit, c'est--dire que, au voisinage de a :
Si
) (g o f
et
) (h o g
, alors
) (h o f
.
Si ) (
1 1
g o f et ) (
2 2
g o f , alors ) (
2 1 2 1
g g o f f .
(quasiment la mme dmonstration que pour les suites)
Mais cette relation nest pas compatible avec laddition ; par exemple, au
voisinage de 0, ) (
2
x o x et ) (
2 3
x x o x + , mais
3 2
x x nest pas ngligeable
devant
2
x .
Proposition :
Au voisinage de a : si
) (g o f
, et
) (g o h
, alors
) (g o h f +
.
Proposition :
Si
) (g o f
au voisinage de a, et si f et g ne sannulent pas, alors
) (
1 1
f g
o
au
voisinage de a.
Par exemple, il rsulte des comparaisons nonces plus haut que :
Au voisinage de + , et quels que soient les rels strictement positifs
, ,
:
A.BENHARI 46
) (
.
x o e
x
et ) ) ((ln
x o x
E. Fonctions quivalentes
i. Gnralits
Dfinition :
On dit que f est quivalente g au voisinage de a lorsquil existe une fonction
,
de D dans R, et qui tend vers 0 en a telle que, sur un voisinage de a,
g f ) 1 ( +
.
On note
g f ~
au voisinage de a, ou
g f
a
~
.
En pratique, on dit plutt que
) (x f
est quivalent
) (x g
au voisinage de a, et
cela signifie donc quil existe une fonction
est indpendant de x)
2
2
~ 1 cos ; ~ tan
x
x x x .
Dmonstration : les premiers rsultats rsultent du cours de terminale, et sont
admis pour linstant. Le dernier se justifie en considrant que
2
2
sin 2 1 cos
x
x .
iii. Equivalents et limites
Proposition :
Si f et g sont quivalentes en a et si f a une limite en a (finie ou non), alors g admet
la mme limite en a.
A.BENHARI 47
La rciproque est fausse lorsquil sagit de limites nulles ou infinies : par exemple,
x et
2
x ne sont quivalents ni en 0 ni en + , alors quils y ont la mme limite.
Cependant, il est vrai que si f et g ont la mme limite finie et non nulle en a, alors
g f
a
~
. Ainsi, si * R l , dire que
l f
a
~
revient dire que f tend vers l en a.
Mais dire que
+
a
f ~
est non sens, et dire que
0 ~
a
f
est gnralement faux
(seules les fonctions nulles au voisinage de a sont quivalentes 0 en a)
iv. Oprations sur les quivalents
Proposition :
La relation
a
~
est compatible avec le produit, le passage linverse, et llvation
une puissance, c'est--dire :
Si 1 1
~ g f
a
et 2 2
~ g f
a
, alors 2 1 2 1
~ g g f f
a
.
Si
g f
a
~
et si f et g ne sannulent pas, alors g
a
f
1 1
~
.
Si
g f
a
~
, alors, pour tout N n ,
n
a
n
g f ~
Si
g f
a
~
et si f et g sont strictement positives, alors, pour tout R ,
g f
a
~
.
Attention :
la relation
a
~
nest pas compatible avec laddition ; cela veut dire quon ne doit
pas sans vrification ajouter des quivalents, ni mme ajouter ou retrancher
une mme chose de part et autre dun quivalent, c'est--dire oprer des
simplifications ou des passages de lautre ct au sens de laddition. Par
exemple, il est vrai que
x x 37 1 ~ ) 1 (
0
2
+ +
(puisque les deux termes on la mme
limite finie non nulle en 0, savoir 1), mais il est faux que
x x 37 ~ 1 ) 1 (
0
2
+
.
On ne doit pas non plus composer froidement, gauche, les deux termes dun
quivalent par une mme fonction. Par exemple, il est vrai que
2 2
~ x x x
+
+
(puisque 1
2
2
+
+ x
x
x x
), mais pas que
2 2
~
x x x
e e
+
+
.
On peut aussi prciser que les lvations une puissance ne sont justifies que
lorsque ces puissances sont indpendantes de la variable. Par exemple, il est
vrai que
x x
+
+ ~ 1
, mais pas que
x x
x x
+
+ ~ ) 1 (
(car e
x
x
x x
x
+
+
) 1 (
)
v. Autres rsultats
Proposition :
Soit u une fonction valeurs dans D, ayant pour limite a en un point s de
R
adhrent son domaine de dfinition.
A.BENHARI 48
Si
) ( ~ ) ( x g x f
a x
, alors
)) ( ( ~ )) ( ( t u g t u f
s t
Dmonstration :
Rsulte du thorme de composition de limites :
Si
) ( ~ ) ( x g x f
a x
, alors
1
) (
) (
lim
x g
x f
a x
. Or
a t u
s t
) ( lim
. Donc
1
)) ( (
)) ( (
lim
t u g
t u f
s t
Exemple :
Si
0 ) ( lim t u
s t
, alors
) ( ~ )) ( 1 ln( t u t u
s t
+
, et en particulier
2
0
2
~ ) 1 ln( t t
t
+
Remarque :
Connaissant les quivalents usuels sur les fonctions donnes prcdemment, on
obtient alors les quivalents donns dans le cours sur les suites.
Proposition :
Au voisinage de a, si f f ~
1
et g g ~
1
, et si
) (g o f
, alors ) (
1 1
g o f .
En particulier :
- si f f ~
1
, et si
) (g o f
, alors ) (
1
g o f (cest le cas o g g
1
)
- si g g ~
1
, et si
) (g o f
, alors ) (
1
g o f (cest le cas o f f
1
).
Dmonstration (de la proposition) :
Si f f ~
1
, g g ~
1
et si
) (g o f
:
Il existe alors une fonction
+
+
, soit ) (
1 1
g o f .
Ces rsultats sont souvent utiliss ; par exemple :
- De
x x
0
~ sin
et ) ( x o x au voisinage de 0, on tire que ) ( sin x o x au
voisinage de 0.
- On crira plutt, au voisinage de 0,
) (x o
plutt que ) (
2
x x o + puisque
2
0
~ x x x +
vi. Fonctions polynmes et fonctions rationnelles
Proposition :
Une fonction polynme non nulle quivaut, au voisinage de + ou
, son
terme non nul de plus haut degr.
C'est--dire que :
Si N n , si
R
n
a a a ,..., ,
1 0
et
0
n
a
, alors, au voisinage de + ou
:
n
n
n
n
n
n
x a a x a x a x a ~ ...
0 1
1
1
+ + + +
.
On en dduit ensuite les rsultats pour les fonctions rationnelles, grce la
compatibilit de ~ avec le passage linverse et le produit :
Une fonction rationnelle quivaut, en + ou
, au rapport des termes non nuls
de plus haut degr.
Une fonction rationnelle non nulle quivaut, au voisinage de 0, au rapport de ses
termes non nuls de plus bas degr.
F. Fonction domine par une autre
Dfinition :
On dit que f est domine par g au voisinage de a lorsquil existe
+
R k tel que, au
voisinage de a,
g k f
. On note
) (g O f
au voisinage de a.
De mme que pour les autres comparaisons, on peut aussi noter
)) ( ( ) ( x g O x f
au
voisinage de a, ce qui signifie quil existe un rel positif k et un voisinage V de a tels que
) ( ) ( , x g k x f V D x
.
Dfinition simplifie dans des cas courants :
Si g ne sannule pas au voisinage de a, alors
g
f
est dfinie sur V D , o V est un
voisinage de a. Et f est domine par g au voisinage de a si et seulement si
g
f
est
borne au voisinage de a.
Si D a , et si g sannule en a, mais en a seulement au voisinage de a, alors
g
f
est
dfinie sur { } a V D \ , o V est un voisinage de a, et f est domine pas g au
voisinage de a si et seulement si
0 ) ( a f
et
g
f
est borne au voisinage de a.
Exemple :
Au voisinage de + , ) ( sin
3 3
x O x x , mais x x sin
3
nest pas
XII. Formules de Taylor
Dans tout ce chapitre, I est un intervalle de R, et les fonctions sont valeurs dans R ; n
dsigne un entier naturel.
A. Prliminaire
Soient
R
n
,... , ,
2 1 0
.
Soit
+ + + +
n
k
k
k
n
n
n
n
x x x x x
P
0
0 1
1
1
...
:
R R
.
Alors ) , ( R R
! ) (
6 ... ) 2 )( 1 ( ) (
2 ... ) 1 ( ) (
) (
) (
) (
3
3 ) 3 (
2
1 ) 2 (
1
1 ) 1 (
0
) 0 (
+ +
+ +
Et 0 ) (
) (
x P
k
pour n k >
En 0 :
2
) 2 (
1
) 1 (
0
) 0 (
2 ) (
) (
) (
x P
x P
x P
k
k
k x P ! ) (
) (
pour n k 0
Plus gnralement :
Soient
R
n
,... , ,
2 1 0
, R a .
Soit
0 1
1
1
) ( ... ) ( ) (
:
+ + + +
a x a x a x x
P
n
n
n
n
R R
Alors ) , ( R R
b a
. Alors :
A.BENHARI 51
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
) (
2
b R a f
n
a b
a f
a b
a f a b a f b f
n
b T
n
n
n
+
+ +
+ +
, avec
) ( sup
)! 1 (
) (
) 1 (
] , [
1
t f
n
a b
b R
n
b a t
n
n
+
.
(La borne sup. est bien dfinie car
) 1 ( + n
f est dfinie et continue sur le segment
] , [
b a
)
Cest lingalit de TaylorLagrange lordre n de f entre a et b.
Dmonstration :
* Le cas o b a est trivial.
* Si b a < : on va montrer que pour tout
] , [ b a x
, on a :
M
n
a x
a f
n
a x
a f
a x
a f a x a f x f M
n
a x
n
n
n n
)! 1 (
) (
) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
)! 1 (
) (
1
) (
2 1
+
+ +
o
) ( sup
) 1 (
] , [
t f M
n
b a t
+
+
R
C'est--dire M
n
a x
x T x f x b a x
n
n
)! 1 (
) (
) ( ) ( ) ( ], , [
1
+
Alors
est de classe
1 + n
C sur
] , [ b a
, et :
M a x a f x f M a x x T x f x b a x
M
n
a x
x T x f x b a x
n n n
n
n n
n
n
) ( ) ( ) ( ) ( ) ( ) ( ) ( ], , [
!
) (
) ( ' ) ( ' ) ( ' , ] , [
) ( ) ( ) ( ) ( ) (
0 ) ( ) ( ], , [
) 1 ( ) 1 (
+ +
M x f x b a x
n n
car M x f
n
+
) (
) 1 (
.
Donc
) (n
est dcroissante, et 0 ) (
) (
a
n
. Donc 0 ) ( ], , [
) (
x b a x
n
, donc
) 1 ( n
est
dcroissante, et 0 ) (
) 1 (
a
n
. Donc donc
est dcroissante, et
0 ) ( a
, donc
0 ) ( ], , [ x b a x
.
Donc 0
)! 1 (
) (
) ( ) ( ], , [
1
+
M
n
a x
x T x f b a x
n
n
Et, en particulier : M
n
a b
b T b f
n
n
)! 1 (
) (
) ( ) (
1
+
+
- Pour la deuxime ingalit :
Soit
dfinie par M
n
a x
x T x f x b a x
n
n
)! 1 (
) (
) ( ) ( ) ( ], , [
1
+
+
+
Alors ) ], , ([
1
R b a C
n+
, et :
M
n
a x
x T x f x b a x
n
n
!
) (
) ( ' ) ( ' ) ( ' , ] , [
+
0 ) ( ) ( ], , [
) 1 ( ) 1 (
+
+ +
M x f x b a x
n n
car
M x f
n
+
) (
) 1 (
, soit M x f
n
+
) (
) 1 (
.
A.BENHARI 52
Donc
) (n
est croissante, et 0 ) (
) (
a
n
. Donc 0 ) ( ], , [
) (
x b a x
n
, donc
) 1 ( n
est
croissante, et 0 ) (
) 1 (
a
n
. Donc donc
est croissante, et
0 ) ( a
, donc
0 ) ( ], , [ x b a x
.
Donc 0
)! 1 (
) (
) ( ) ( ], , [
1
+
+
M
n
a x
x T x f b a x
n
n
Donc M
n
a b
b T b f
n
n
)! 1 (
) (
) ( ) (
1
+
+
- Ainsi, ) ( sup
)! 1 (
) (
) ( ) (
) 1 (
] , [
1
t f
n
a b
b T b f
n
b a t
n
n
+
+
+
, soit ) ( sup
)! 1 (
) (
) 1 (
] , [
1
t f
n
a b
b R
n
b a t
n
n
+
+
+
.
* Si b a > :
Etant donn
R ] , [ : b a f
de classe
1 + n
C , en posant
) ( sup
) 1 (
] , [
t f M
n
b a t
+
, on introduit
) (
] , [ :
x f x
b a g
R
.
Alors g est de classe
1 + n
C , et
[ ] ] , [ , 1 , 0 b a x n k +
, ) ( ) 1 ( ) (
) ( ) (
x f x g
k k k
.
Le thorme, montr dans le cas prcdent, pour g entre
a
et b donne :
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
b S a g
n
a b
a g
a b
a g a b a g b g
n
n
n
+
+
+ +
+
+ + +
avec ) ( sup
)! 1 (
) (
) (
) 1 (
] , [
1
t g
n
a b
b S
n
b a t
n
n
+
+
+
+
.
On a :
)... ( ' ' ) ( ) ( ' ' ) 1 ( ) ( ) ( ' ' ) (
), ( ' ) ( ) ( ' ) 1 )( ( ) ( ' ) (
), ( ) ( ), ( ) (
2 2 2 2
a f a b a f a b a g a b
a f a b a f a b a g a b
b f b g a f a g
+
+ +
Donc
) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
b S a f
n
a b
a f
a b
a f a b a f b f
n
n
n
+
+ +
+ + , et :
M
n
b a t
n
a b
n
n
t g
n
a b
b S
n
+
+
+
+
+
+
) ( sup
)! 1 (
) (
) (
) 1 (
] , [
)! 1 (
1
1
Cas particulier : lingalit entre 0 et x :
Ingalit de TaylorLagrange entre 0 et x pour f de classe
1 + n
C :
Soit I un intervalle contenant 0.
Soit f de classe
1 + n
C sur I.
Alors, pour tout I x , on peut crire :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
x R f
n
x
f
x
xf f x f
n
n
n
+ + + + + , avec :
) ( sup
)! 1 (
) (
) 1 (
] , 0 [
1
t f
n
x
x R
n
x t
n
n
+
Exemple :
A.BENHARI 53
La fonction exponentielle tant de classe
+
+
C. Formule de TaylorYoung
Thorme :
Soit R a . Soit f une fonction de classe
n
C sur un intervalle I contenant a.
Alors il existe une fonction R I : qui tend vers 0 en a telle que :
) ( ) ( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) ( ,
) (
2
x a x a f
n
a x
a f
a x
a f a x a f x f I x
n n
n
+
+ +
+ +
Formule de TaylorYoung lordre n en a pour f de classe
n
C .
Autrement dit, au voisinage de a :
) ) (( ) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) (
2
n n
n
a x o a f
n
a x
a f
a x
a f a x a f x f +
+ +
+ +
Dmonstration :
Soit 1 n .
Pour I x , posons :
'
a x
a x
a x
x T x f
x
n
n
si 0
si
) (
) ( ) (
) (
On a alors dj lgalit. Reste montrer que
0 ) (
a x
a x
x
.
Pour cela, on applique lingalit de TaylorLagrange lordre 1 n la fonction
) ( ) ( : t T t f t
n
entre a et x, o x est un lment quelconque de I.
On a alors :
) ( sup
!
) (
)! 1 (
) (
... ) ( ' ) ( ) ( ( ) (
) (
] , [
) 1 (
1
t
n
a x
a
n
a x
a a x a x
n
x a t
n
n
n
+ + +
Mais 0 ) ( ) ( ... ) ( ' ) (
) ( ) 1 (
a a a a
n n
, daprs le prliminaire.
De plus,
) ( ) (
) ( ) ( ) (
) ( ) (
) ( ) ( ) ( ,
a f a T
n
n
n n
n n
n
t T t f t I t
.
Ainsi,
) ( ) ( sup
!
) ( ) (
) ( ) (
] , [
a f t f
n
a x
x T x f
n n
x a t
n
n
.
Donc, pour
a x
:
) ( ) ( sup
!
1
) (
) ( ) (
] , [
a f t f
n
x
n n
x a t
a x
n n
x a t
a f t f
Dj, ) ( ) ( :
) ( ) (
a f t f t g
n n
est continue sur I et nulle en a.
* Soit
0 >
.
A.BENHARI 54
Comme g est continue en a, il existe 0 > tel que
2 / ) ( ( , < < t g a t I t
.
Alors, pour I x tel que
< a x
, on a :
2 / ) ( ], , [ <
t g x a t
(puisque pour
< a x a t x a t ], , [
)
Donc
) 2 / ) ( sup ( ,
] , [
< <
t g a x I x
x a t
* Autre dmonstration :
Pour tout I x , on a :
La fonction
g
est continue sur le segment
] , [
x a
. Donc, sur ce segment, elle est bien
borne, et elle atteint ses bornes. Il existe donc
] , [
x a c
x
tel que
) ( ) ( sup
] , [
x
x a t
c g t g
.
On a :
a x a c I x
x
,
car
] , [
x a c
x
.
Donc
a c
a x
x
a g c g
a x
x
Do
0 ) ( sup
] , [
a x
x a t
t g
.
Dans le cas o 0 n :
Le thorme dit :
Si f est continue sur I contenant a :
) ( ) ( ) ( x a f x f +
o
0
a
, ce qui est vrai.
Cas particulier : TaylorYoung lordre n en 0 :
Soit f de classe
n
C sur I contenant 0.
Alors ) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
n n
n
x o f
n
x
f
x
xf f x f + + + + + .
D. Lgalit de TaylorLagrange (hors programme)
Thorme :
Soit f de classe
n
C sur
] , [ b a
et de classe
1 + n
D
sur ] [ b a, au moins ( b a < )
Alors il existe ] [ b a c , tel que :
) (
)! 1 (
) (
) (
!
) (
... ) ( ' '
! 2
) (
) ( ' ) ( ) ( ) (
) 1 (
1
) (
2
c f
n
a b
a f
n
a b
a f
a b
a f a b a f b f
n
n
n
n
+
+
+
+ +
+ + .
Dmonstration :
Soit
R ] , [ : b a
dfinie par :
A
n
x b
x f
n
x b
x f x b x f x b a x
n
n
n
)! 1 (
) (
) (
!
) (
... ) ( ' ) ( ) ( ) ( ], , [
1
) (
+
+ + +
+
,
_
+
) (
!
) (
... ) ( ' ) ( ) (
) (
)! 1 (
) (
1
a f
n
a b
a f a b a f
a b
n
A
n
n
n
Alors
+ + +
+
Soit ( ) A x f
n
x b
x
n
n
+
) (
!
) (
) ( '
) 1 (
Or,
0 ) ( ' c
et b c , donc A c f
n
+
) (
) 1 (
, do lgalit cherche.
Remarque : de cette galit, on tire aisment lingalit de TaylorLagrange.
E. Rcapitulation, formules connatre
Rappel des trois thormes lordre n en 0 :
Thorme (ingalit de TaylorLagrange) :
Soit ) , (
1
R I C f
n+
, o I contient 0. Alors, pour tout I x :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
x R f
n
x
f
x
xf f x f
n
n
n
+ + + + + , avec :
) ( sup
)! 1 (
) (
) 1 (
] , 0 [
1
t f
n
x
x R
n
x t
n
n
+
Thorme (TaylorYoung) :
Soit ) , (
1
R I C f
n+
, o I contient 0. Alors, au voisinage de 0 :
) ( ) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) (
2
n n
n
x o f
n
x
f
x
xf f x f + + + + +
Thorme (Egalit de TaylorLagrange) :
Soit f 1 + n fois drivable sur I contenant 0.
Alors, pour tout { } 0 \ I x , il existe
[ , 0 ]
x c
x
tel que :
) (
)! 1 (
) 0 (
!
... ) 0 ( ' '
! 2
) 0 ( ' ) 0 ( ) (
) 1 (
1
) (
2
x
n
n
n
n
c f
n
x
f
n
x
f
x
xf f x f
+
+
+
+ + + + +
Formule de TaylorYoung des fonctions usuelles en 0 (de classe
C sur un intervalle
contenant 0) :
) (
!
...
! 2
1
2
n
n
x
x o
n
x x
x e + + + + + (ordre n)
) (
)! 2 (
) 1 ( ...
! 6 ! 4 ! 2
1 cos
2
2 6 4 2
n
n
n
x o
n
x x x x
x + + + + (ordre n 2 )
Et mme ) (
)! 2 (
) 1 ( ...
! 6 ! 4 ! 2
1 cos
1 2
2 6 4 2
+
+ + + +
n
n
n
x o
n
x x x x
x (ordre 1 2 + n )
) (
)! 1 2 (
) 1 ( ...
! 7 ! 5 ! 3
sin
1 2
1 2 7 5 3
+
+
+
+
+ + +
n
n
n
x o
n
x x x x
x x (ordre 1 2 + n )
A.BENHARI 56
Et mme ) (
)! 1 2 (
) 1 ( ...
! 7 ! 5 ! 3
sin
2 2
1 2 7 5 3
+
+
+
+
+ + +
n
n
n
x o
n
x x x x
x x (ordre 2 2 + n )
) 1 ( : x x f + est de classe
C sur ] [ + , 1 .
n
n
n
x n x f
x x f
x x f
x x f
+ +
+
+
+
) 1 ( ) 1 )...( 2 )( 1 ( ) (
) 1 )( 1 ( ) (
) 1 ( ) (
) 1 ( ) (
termes
) (
2 ) 2 (
1 ) 1 (
) 0 (
Donc ) (
!
) 1 )...( 2 )( 1 (
...
! 2
) 1 (
1 ) 1 (
2 n n
x o x
n
n
x x x +
+
+ +
+ + +
Commentaire :
Le cosinus lordre 2 donne :
) ( 1 cos
2
2
2
x x x
x
+
Donc ) ( 1 cos
2
2
2
x x x
x
+
C'est--dire
2
0
2
~ 1 cos
x
x
Cas particulier avec 1 :
x
x
n
x
x
n n
n n n n
x o x x x x x x
x
+
+ + + +
+ + + + +
+
1
) 1 (
) ( 1
) 1 ( 1
5 4 3 2
1 1 1 1
) ( ) 1 ( ... 1
1
1
Autre cas particulier :
N p
p
C
C C
C
C
p
x
p
p p p p p
x
p p p
x
p p
x p x
p
p
p p
p
p
!
) 1 )...( 2 )( 1 (
...
! 3
) 2 )( 1 (
! 2
) 1 (
1 ) 1 (
3 2
3 2
1
0
+
+
+
+ + +
(Les termes suivants sont nuls)
) ( ...
) (
2
) 1 (
2
1
1 ) 1 (
2
2 1 0
2 2 2
1
2
1
2 / 1
n n
n
x o x a x a x a a
x o x x x
+ + + + +
+
+ + +
Avec
n
k
n
a
n
k
n
2 1
2
) (
!
1
0
2
1
de cosinus :
)) (
2
1 (
2
2
))) ( ( ) (
2
1 (
2
2
) sin (cos
2
2
)
4
cos(
2
2
2 2
2
x o
x
x
x o x x o
x
x x x
+
+ + +
DL lordre 3 en 0 de la fonction x x e x
x
sin
3
+ :
) ( 1
) ( )) ( 1 ( sin
3
! 3 ! 2
3 3
! 3 ! 2
3
3 2
3 2
x o x
x o x o x x x e
x x
x x
x
+ + + +
+ + + + + +
DL lordre 5 en 0 de la fonction
'
0 si 0
0 si
:
6
1
x
x e
x f
x
) ( ) ( 0 ) (
5 5
x o x o x f +
(Vrai nimporte quel ordre)
iv. Thorme dunicit des coefficients dun DL
Thorme :
Soit
R I f :
, N n . Si f admet un DL lordre n en a, alors les coefficients de
ce DL sont dtermins de manire unique, c'est--dire que si
'
n
n
,... ,
,... ,
1 0
1 0
sont des rels
tels que, au voisinage de 0 :
) ( ... ) (
1 0
n
n
n
u o u u u a f + + + + +
A.BENHARI 58
et ) ( ... ) (
1 0
n
n
n
u o u u u a f + + + + + ,
Alors
[ ]
i i
n i , , 0
Dmonstration :
Soient
,
deux fonctions qui tendent vers 0 telles que :
) ( ... ) ( ... ,
1 0 1 0
u u u u u u u u J u
n n
n
n n
n
+ + + + + + + + (1)
O { } I u a u J + , R
Alors, en prenant 0 u dans (1), on obtient dj
0 0
.
En reportant et en simplifiant par u (si non nul), on obtient :
{ } ) ( ... ) ( ... , 0 \
1 1
1
1 1
1
u u u u u u J u
n n
n
n n
n
+ + + + + +
En faisant tendre u vers 0, on obtient alors
1 1
on rpte lopration. Donc :
{ } ) ( ) ( , 0 \
1 1
u u u u u u J u
n n n n
+ + + +
Donc
1 1
n n
Donc
{ } ) ( ) ( , 0 \ u u J u
n n
+ +
, donc
n n
.
v. Troncature dun DL
Proposition :
Soit
R I f :
, N n . Si f admet un DL lordre n en a, alors, pour tout
[ ] n p , 0
, f admet un DL lordre p en a, obtenu par troncature.
En effet :
- Pour
n p
, ok
- Sinon,
n p <
:
) (
)) ( ... (
1
1 1 0
0
1
) ( ... ... ) (
p
p n p n
n p
p
u o
u u u u u
n n
n
p
p
p
p
u u u u u u u a f
+ + +
+
+
+
+ + + + + + + +
B. DL et drivation
Proposition :
Soit
R I f :
; f a un DL lordre 0 en a si et seulement si f est continue en a, et dans
ce cas ce DL est
) ( ) ( ) ( u a f u a f + +
, o
tend vers 0 en 0.
En effet :
- Si f est continue en a, alors
0 ) ( ) (
0
+
u
a f u a f
, donc
) 1 ( ) ( ) ( o a f u a f + +
.
- Si f admet un DL lordre 0 en a, il scrit
) 1 ( ) (
0
o u a f + +
, donc
0
0
) ( +
a
u a f
, donc f est continue en a, et
0
) ( a f
.
Proposition :
Soit
R I f :
; f admet un DL lordre 1 en a si et seulement si f est drivable en a, et
dans ce cas ce DL est
) ( ) ( ' ) ( ) ( u o a uf a f u a f + + +
(1)
A.BENHARI 59
En effet :
- Si f admet un DL lordre 1 en a, alors
) ( ) (
1 0
u u u u a f + + +
Donc avec 0 u ,
) (
0
a f
, et pour 0 u ,
1
0
1
) (
) ( ) (
+
+
u
u
u
a f u a f
.
- Si f est drivable en a, on a vu que lgalit (1) est vraie.
Attention : il est faux cependant quon ait un tel rapport pour les ordres suprieurs 2.
Exemple :
Soit
'
0 si 0
0 si sin
:
1
3
x
x x
x
f
x
R R
Alors f admet un DL lordre 2 en 0 :
) ( ) (
2
x o x f
Donc f admet un DL lordre 1 en 0 qui scrit
) ( ) ( x o x f
, donc f est drivable en 0 et
0 ) 0 ( ' f
. Est-elle deux fois drivable en 0 ?
Pour 0 x ,
x x
x x x f
1 1
2
cos sin 3 ) ( '
Donc
limite de pas
1
0
1
cos sin 3
0
) 0 ( ' ) ( '
x x
x
x
f x f
3
:
R R
. Montrer que f est une bijection de R dans R dont la rciproque est de
classe
C .
Comme
1
f est de classe
, et [ ]
!
) 0 ( ) (
, 3 ; 0
) ( 1
k
f
a k
k
k
.
Pour tout rel x, on a :
) ( )) ( (
3 1
x o x x x f f +
dune part.
et ) ( ) ( ) ( ) ( ) ( )) ( (
3 3 3 3 3
3
2 3
2
3
1 0
1
x x x x x x a x x a x x a a x f f + + + + + + + + +
Soit
) (
0
3
1
3 2 3 3 3
3
3 2
2
3
1 1 0
1
3
) ( ) 1 ( ) ( ) ( )) ( (
x o
x x x x x o x a x o x a x a x a a x f f
+ + + + + + + + +
Donc ) ( ) ( )) ( (
3 3
3 1
2
2 1 0
1
x o x a a x a x a a x f f + + + + +
Donc
1 0 1 0
3 2 1 0
a a a a
A.BENHARI 60
Donc 6 ) 1 ( ! 3 ) 0 ( ' ' )' ( 0 ) 0 ( ' )' ( 1 ) 0 ( )' ( 0 ) 0 (
1 1 1 1
f f f f
C. Oprations sur les DL
i. Retour 0
On rappelle que
) (x f x
a un DL lordre n en a si et seulement si
) ( a u f u +
a un DL lordre n en 0.
Exemple :
DL lordre 3 en 1 de
exp
.
Pour tout R u :
) ( . .
3
6 2
1
3 2
u u e e e u e e e e e
u u
u u
+ + + +
+
o
0 ) (
0
u
u
.
ii. Somme, produit par un rel
Proposition :
Soient
R I g f : ,
, R
Si f et g admettent un DL lordre n en a, alors
f
et
g f +
aussi, et les parties
principales des DL de
f
et
g f +
sont obtenues en faisant respectivement le produit
de la partie principale du DL de f par , et en faisant la somme des parties principales
des DL de f et g.
Dmonstration (sans introduire les notations) :
) ( ... ) (
) ( ... ) (
) (
1 0
) (
1 0
x x x b x b b x a g
x x x a x a a x a f
n
x Q
n
n
n
x P
n
n
+ + + + +
+ + + + +
Donc :
) ( ) (
) ( ) ( ) ( ) ( ) ( ) (
n n
x o
n
x o
n
x x x x x Q x P x a g x a f
+ + + + + +
.
Exemple :
) ( 1 cos
) ( 1
3
2
3
! 3 ! 2
2
3 2
x o x
x o x e
x
x x
x
+
+ + + +
Donc ) ( 2 cos
3
6
3
x o x x e
x
x
+ + + +
Et ) ( 3 cos 2
3
6 2
3 2
x o x x e
x x
x
+ + + +
iii. Produit de deux DL
Exemple :
) ( 1 1
3 3
16
1
2
8
1
2
1
x o x x x x + + + +
) ( sin
3
6
3
x o x x
x
+
Donc :
A.BENHARI 61
) (
) (
)) ( 1 ))( ( ( 1 sin
3
24
7
2
3 3
8
1
2
2
1
6
3 3
16
1
2
8
1
2
1
3
6
3 2
3
3
x o x
x o x x x
x o x x x x o x x x
x x
x
x
+ +
+ +
+ + + + +
Proposition :
Si deux fonctions f et g admettent un DL lordre n en a, alors
g f
admet un
DL lordre n en a, obtenu en ne conservant que les termes de degr n dans le produit
des parties principales (polynomiales) des DL de f et g.
Dmonstration (sans introduire les notations) :
) ( ... ) (
) ( ... ) (
) (
1 0
) (
1 0
x x x b x b b x a g
x x x a x a a x a f
n
x Q
n
n
n
x P
n
n
+ + + + +
+ + + + +
Donc :
) ( ) ( ) ( ) (
2
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
n n n n
x o x o
n n
x o
n
x o
n
x x x x x x x Q x x x P x Q x P x a g x a f
+ + + + +
.
iv. Composition de DL
Exemple :
) ( ... 1
! ! 2
2
x x x e
n
n
x x
x
n
+ + + + + o
0 ) (
0
x
x
Donc
0
! ! 2
) ( ) 1 ( ) 1 ( ... 1
2
+ + + + x x x e
n n
n
x
n
x
x
n
) ( ... ) (
2
2 1
) (
0
x x x x x x a f
n n
n
a f
+ + + + + +
o
0 ) (
0
x
x
) ( ... ) (
2
2 1 0 0
u u u u u u g
n n
n
+ + + + + + o
0 ) (
0
u
u
) (
0
2
2 1
0 quand ers tendent v qui termes
2
2 1
2
2 1
2 2
2 1 2
2
2 1 1 0
2
2 1 0
)) ( ... ( )) ( ... (
)) ( ... (
... )) ( ... (
)) ( ... (
) ) ( ... ( )) ( (
1
n
n n
x o
n n
n
x x
n n n
n
n n n
n n
n n
n
n n
n
u
n n
n
x x x x x x x x x x
x x x x x
x x x x x
x x x x x
x x x x x g x a f g
+ + + + + + + + +
+ + + + +
+ + + + + +
+ + + + +
+ + + + + +
A.BENHARI 62
On a donc la somme dun polynme en x de degr n et dune fonction
ngligeable devant
n
x .
Exemples :
DL lordre 3 en 0 de x x cos :
) ( 1 cos
3
2
2
x o x
x
+
u x o x
x
+ + 1 ) ( 1 cos
3
2
2
avec ) (
3
2
2
x o u
x
+ .
0
0
x
u
. Donc :
) ( 1 1
3
16 8 2
3 2
u u u
u u u
+ + + +
Donc :
) ( 1
)) ( ( )) ( (
)) ( ( )) ( ( ) ( 1 cos
3
4
) (
0
3
2
3 3
2
3 3
2 16
1
2 3
2 8
1
3
4
2
6
2 2
2 2 2
x o
x o x o
x o x o x o x
x
x o
x x
x x x
+
+ + +
+ + + +
) ( 1 cos
4
! 4 2
4 2
x o x
x x
+ +
)) ( exp( )) ( 1 exp(
4
! 4 2
4
! 4 2
cos
4 2 4 2
x o e x o e
x x x x
x
+ + + +
Or, ) ( 1
2
! 2
2
u o u e
u
u
+ + +
Donc ) ( 1 )) ( exp(
4
8 ! 4 2
4
! 4 2
4 4 2 4 2
x o x o
x x x x x
+ + + +
Donc ) (
4
6 2
cos
4 2
x o e e e e
x x
x
+ +
v. Inverse
Proposition :
Soit
R I f :
. Si
0 ) ( a f
, et si f a un DL lordre n en a, alors
f
1
aussi.
Dmonstration :
) ( ... ) (
2
2 1 0
x x x x x x a f
n n
n
+ + + + + + , o
0 ) (
0
x
x
et
0
0
.
A.BENHARI 63
Comme f a un DL lordre n en a, f a un DL lordre 0 en a, donc f est continue
en a, donc, comme
0 ) ( a f
, f est strictement du signe de
) (a f
au voisinage de a, donc
f
1
est bien dfinie au voisinage de a.
) ( ... 1
1 1
) ( ...
1
) (
1
2
2 1 0
2
2 1 0
x x x x x
x x x x x x a f
n n
n
n n
n
+ + + + +
+ + + + +
+
O
[ ]
0
, , 1
i
i
n i
, et
0
On note ) ( ... ) (
2
2 1
x x x x x x g
n n
n
+ + + +
Alors g a un DL lordre n en 0, et
0 ) 0 ( g
u
u
+ 1
1
a un DL lordre n en 0, donc, par composition,
) ( 1
1
x g
x
+
a un DL
lordre n en 0, do lexistence.
Rappel :
) ( ) 1 ( ... 1
1
1
3 2 n n n
u o u u u u
u
+ + + +
+
Exemples :
DL lordre 4 en 0 de
x
x
cos 1
1
+
:
) ( 2 cos 1
4
! 4 2
4 2
x o x
x x
+ + +
,
_
+ +
+ +
+ ) ( 1
1
2
1
) ( 2
1
cos 1
1
4
48 4
4
! 4 2
4 2 4 2
x o x o x
x x x x
Or, ) ( 1
1
1
2 2
u o u u
u
+ +
+
Si on prend ) (
4
48 4
4 2
x o u
x x
+ + , on aura :
) (
4
16
2
4
x o u
x
+
Et ) ( ) (
4 2
x o u o car
16
2
4
~
x
u
( )
) (
) ( )) ( ( )) ( ( 1
2
1
cos 1
1
Donc
4
48 8 2
1
4 4
16
4
48 4
4 2
2 4 2
x o
x o x o x o
x
x x
x x x
+ + +
+ + + + +
+
DL lordre 3 en
6
de
x
x
sin
1
:
2
1
2
3
6
cos sin ) sin( + + u u u
) ( 3 1
2
)) ( 1 ( )) ( ( 3
2
cos sin 3
2
) sin(
1
3 3
6
3 2
2
1
3
2
3
6
6
2 3
u o u u u
u o u o u u u
u
u u
+ +
+ + +
Or, ) ( 1
1
1
3 3 2
v o v v v
v
+ +
+
Si on prend ) ( 3
3 3
6
3 2
2
1
u o u u u v + , on a :
A.BENHARI 64
) ( 3 3 )) ( 3 3 ( ) ) ( 3 (
3 3 2 2 2
) (
2 2
6
3
2
1
2 2
u o u u u o u u u o u u u v
u o
+ + +
) ( 3 3
3 3 3
u o u v +
) ( ) (
3 3
u o v o car
3 3
3 3 ~ u v
Donc
)) ( 3 1 ( 2
) sin(
1
3 3
6
3 23 2
2
7
6
u o u u u
u
+ +
+
D. Primitive, drive
i. Primitive
Thorme :
Soit
R I f :
, admettant un DL lordre n en a.
Si f admet une primitive F sur I, alors F admet un DL lordre 1 + n en a, obtenu
de la manire suivante :
Si ) ( ... ) (
2
2 1 0
n n
n
x o x x x x a f + + + + + + ,
Alors ) ( ... ) ( ) (
1 1
1
3
3
2
2 0
2 1
+ +
+
+ + + + + + +
n n
n
x o x x x x a F x a F
n
.
Dmonstration :
) ( ... ) (
) (
2
2 1 0
x x x x x x a f
n
x P
n
n
+ + + + + +
o
0 ) (
0
x
x
.
Posons
1
1
2
2 0
... ) ( ) (
1
+
+
+ + + +
n
n
x x x a F x Q
n
Ainsi,
P Q '
.
On doit donc montrer que ) ( ) ( ) (
1 +
+
n
x o x Q x a F .
Notons { } I x a x J + , R
Soit { } 0 \ J x .
Daprs le thorme des accroissements finis appliqu
) ( ) ( t Q t a F t +
entre
0 et x, il existe
[ , 0 ]
x c
x
tel que :
x c P c a f Q a F x Q x a F
x
n
x
c c
x x
+ +
) ( ) (
0
)) ( ) ( ( )) 0 ( ) ( ( )) ( ) ( (
Ainsi, pour 0 x :
0
car 0
1
car born
1 1
0
) (
1
) ( ) (
) ( ) (
+ +
,
_
+
x
x
x
x
c
c
x
n
x
n
x
n
x
n
c
x
c
x
c c x
x
x Q x a F
Donc 0
) ( ) (
0 1
+
+ x n
x
x Q x a F
, donc ) ( ) ( ) (
1 +
+
n
x o x Q x a F .
ii. Drivation
Thorme :
A.BENHARI 65
Soit
R I f :
. Si f est drivable et admet un DL lordre n en a, et si
' f
admet
un DL lordre 1 n en a, alors ce DL est obtenu ainsi :
Si ) ( ... ) (
2
2 1 0
n n
n
x o x x x x a f + + + + + + ,
Alors ) ( ... 2 ) ( '
1 1
2 1
+ + + + +
n n
n
x o x n x x a f
Dmonstration :
Il suffit dappliquer
' f
le thorme prcdent.
Attention :
Lhypothse que
' f
admet un DL est indispensable :
'
sinon 0
0 si sin
) (
1
3
x x
x f
x
Alors f admet un DL lordre 2 en 0, savoir ) ( 0 ) (
2
x o x f +
(Puisque
0 sin
) (
0
0
1
2
x
x x
x
x
x f
)
Mais
' f
nadmet pas de DL lordre 1 en 0 puisque f nest pas deux fois drivable
en 0, donc
' f
nest pas drivable en 0, donc nadmet pas de DL lordre 1 en 0.
E. Parit
Proposition :
Si
R I f :
admet un DL lordre n en 0, disons
) ( ... ) (
2
2 1 0
n n
n
x o x a x a x a a x f + + + + +
Alors :
- Si f est paire, alors les
1 2 + i
a
sont nuls
- Si f est impaire, alors les
i
a
2
sont nuls.
Dmonstration :
Ici, I est un intervalle contenant 0 et centr en 0. On a :
) ( ) 1 ( ... ) (
) ( ... ) (
1 0
1 0
n n
n
n
n n
n
x o x a x a a x f
x o x a x a a x f
+ + +
+ + + +
Si f est paire, on a alors
) ( ) ( x f x f
, et donc ,...
1 1
a a
Si f est impaire, on a alors
) ( ) ( x f x f
, et donc
,...
0 0
a a
F. DL connatre
Toutes les fonctions considres sont de classe
'
+
+
+ + +
'
+ + + +
'
+
+
+ + + +
'
+ + + + +
+
+ + + +
+ + + + +
+
+ +
+
+
+ +
+
) (
) (
)! 1 2 (
) 1 ( ...
! 5 ! 3
sin
) (
) (
)! 2 (
) 1 ( ...
! 4 ! 2
1 cos
) (
) (
)! 1 2 (
...
! 5 ! 3 2
) ( sh
) (
) (
)! 2 (
...
! 4 ! 2
1
2
) ( ch
) (
!
) 1 ( ...
! 2
1
) (
!
...
! 2
1
2 2
1 2 1 2 5 3
1 2
2 2 4 2
2 2
1 2 1 2 5 3
1 2
2 2 4 2
2
2
p
p p
p
p
p p
p
p
p p x x
p
p p x x
n
n
n x
n
n
x
x o
x o
p
x x x
x x
x o
x o
p
x x x
x
x o
x o
p
x x x
x
e e
x
x o
x o
p
x x x e e
x
x o
n
x x
x e
x o
n
x x
x e
) ( ) 1 ( ... 1
1
1
3 2 n n n
x o x x x x
x
+ + + +
+
Do ) ( ... 1
1
1
2 2 6 4 2
2
n n
x o x x x x
x
+ + + + + +
x
x
x
1
1
ln
2
1
) ( Argth
)
) ( ...
8 2
1 1
2
n n
n
x o x a
x x
x + + + + +
Avec :
) 1 2 ( ) ! ( 2
)! 2 ( ) 1 (
) 1 2 ( ! 2
)! 2 (
! 2
) 1 (
) 1 2 ( 2 ) 2 2 ( ... 4 2
2 ) 1 2 ( ) 3 2 ( ... 3 2 1
! 2
) 1 (
)) 3 2 ( ( ... ) 3 ( ) 1 (
! 2
1
!
) 1 ( ... ) 2 ( ) 1 (
2 2
2
1
2
1
2
1
2
1
n n
n
n n
n
n n n n
n n n
n
n
n n
n
a
n
n
n n
n
n
n
n
n
) ( ...
8
3
2
1 ) 1 (
1
1
2
2 / 1 n n
n
x o x b
x x
x
x
+ + + + +
+
Avec :
2 2
2
1
2
1
2
1
2
1
) ! ( 2
)! 2 ( ) 1 (
...
!
) 1 ( ... ) 2 ( ) 1 ( ) (
n
n
n
n
a
n
n
n
+
A.BENHARI 67
) ( ...
8
3
2
1
1
1
2 2
4 2
2
n n
n
x o x b
x x
x
+ + + +
+
+ +
n n n
x o x
n
b x x
x x
- Ou
) ( ...
8
3
2
1
1
1
2 2
4 2
2
n n
n
x o x b
x x
x
+ + + + +
+ + +
n n n
x o x
n
b
x x
x x
Et ) (
1 2
...
8 5
3
6 2
) ( Arcsin
2
) ( Arccos
1 2 1 2
5 3
+ +
+
+
n n n
x o x
n
b
x x
x x x
) tan(x
: deux mthodes :
-
'
+ + +
+ +
+ +
) (
) (
15
2
3
...
) ( 1
) (
cos
sin
tan
6
5 5 3
5
! 4 ! 2
5
! 5 ! 3
4 2
5 3
x o
x o x x
x
x o
x o x
x
x
x
x x
x x
- ) ( tan
5 5 3
x o bx ax x x + + +
La drive de tangente est de classe
x
x
x
? On peut rutiliser les mthodes de Terminale (cest
) 1 ( ln'
), ou :
Au voisinage de 0, on a :
) ( ) 1 ln(
2
2
2
u o u u
u
+ +
Donc, pour 0 u :
) ( 1
) 1 ln(
2
u o
u
u
u
+
+
, do 1
) 1 ln(
lim
0
+
u
u
u
.
Donc la fonction
] [ { }
1
ln
1 \ , 0 :
+
x
x
x
f R
est prolongeable par continuit en 1 par la
valeur 1, et la fonction obtenue admet un DL lordre 1 en 1 :
) ( 1 ) 1 (
2
u o u f
u
+ +
. Donc f est drivable en 1, et
2
1
) 1 ( ' f
.
Soit f dfinie sur
{ } a I \
, o a est un lment de I.
Sil existe
R
n
,... ,
1 0
tels que, au voisinage de 0 priv de 0 :
) ( ... ) (
2
2 1 0
n n
n
u o u u u u a f + + + + + + , alors f est prolongeable par
continuit en a (par
0
) ( a f
), et la fonction obtenue admet un DL lordre n en a.
A.BENHARI 68
,
_
+
x x
x
tan
1
sin
1
lim
0
?
Au voisinage de 0, on a :
2
~
) (
) (
) (
)) ( ( )) ( (
tan sin
sin tan
tan
1
sin
1
0
2 2
3
2
2 2
3
6
3
3
3 3 3
x
x o x
x o
x o x
x o x x o x
x x
x x
x x
x x x
+
+
+
+ + +
Donc 0
tan
1
sin
1
0
x
x x
Le premier terme non nul dun DL donne un quivalent :
Si
) (
1
1
) ( ... ) (
p
x o
n n
n
p
p
p
p
u o u x x x f + + + +
+
+
(avec
0
p
), alors
p
p
x x f
0
~ ) (
.
Donner un quivalent en
+
de
,
_
,
_
2 2
/ 1
1
sin
1
cos
2
x x
e
x
.
Au voisinage de 0, on a :
) ( 1
2
2
2
u o u e
u
u
+ + +
) ( 1 cos
2
2
2
u o u
u
+
) ( sin
2
u o u u +
Donc ) ( sin cos
2 2
u o u u u e
u
+
Do
4 4 4 2 2
/ 1
1
~
1 1 1
sin
1
cos
2
x x
o
x x x
e
x
+
,
_
,
_
,
_
Si 0
2
:
)) ( ( ) (
2
2
u u u a + +
Donc
) (x
est du signe de
2
au voisinage de a.
Si 0
2
, et si on suppose de plus quon peut faire un DL jusqu un ordre p
suffisant de sorte que le coefficient de
p
u ne soit pas nul :
) ( ) (
p p
p
u o u u a + +
o
2 > p
et
0
p
Soit
)) ( ( ) ( u u u a
p
p
+ +
Donc
) ( u a +
est du signe de
p
C
Et
,
_
x
x
e e
x
e x f x
x x x
1 1
) ( ' *,
/ 1 / 1 / 1
R
x
+ 1 0
) ( ' x f + +
+ + 0
e
) (x f
?
e
1
0
?
Etude en + ou
:
Au voisinage de 0 :
) ( 1
2
2
2
u u u e
u
u
+ + + o
0 ) (
0
u
u
Donc
,
_
+ + +
x x x x
e
x
1 1
2
1 1
1
2 2
/ 1
o
0
1
,
_
t x
x
Donc
,
_
+ + +
x x x
x x f
1 1
2
1
1 ) (
Ainsi, lcart entre la courbe C et la droite D dquation
1 : + x y D
est
,
_
+
x x x
1 1
2
1
t
>
,
_
,
_
+ +
de
ge au voisina 0
1
2
1 1
) 1 ( ) (
x x
x x f
Donc C est au dessus de D en + et en dessous en
.
Etude gauche en 0 :
On pose
0 ) 0 ( f
Ainsi, f est continue gauche en 0.
Pour 0
) (
0
) 0 ( ) (
, 0
0
/ 1
<
x
x
e
x
x f
x
f x f
x .
Donc f est drivable gauche en 0, et
0 ) 0 ( '
g
f
Rfrences
[1] Jacques Labelle et Armel Mercier. Introduction lanalyse relle
Modulo,Montral,1993.
[2] Charles Cassidy et Marie-Louis Lavertu. Introduction lanalyse
Presses de lUniversit Laval,Qubec,1994.
[3] Walter Rudin. Principes danalyse mathmatique
Ediscience,Paris,1995.
[4] Michael Spivak. Calculus
Publish or Perish,Houston,1994.
A.BENHARI 71