Documente Academic
Documente Profesional
Documente Cultură
Analyse 1
Prambule
Lobjectif de ce cours est de faire une transition entre les connaissances en analyse accumules
au lyce et les bases qui formeront un des piliers dans la formation en analyse mathmatique de
la licence. Etant donn que le recrutement en premire anne danalyse est assez htrogne, il
semble assez judicieux de commencer par rappeler les notions lmentaires qui serviront tout au
long de ce cours, histoire de ne perdre personne en route.
Quand il sera ncessaire au dbut de chaque chapitre, nous rappellerons ce qui est cens tre connu
en terminal. Nous essaierons galement dans la mesure du possible de fournir lessentiel des rsultats de chaque chapitre sur une page, histoire de synthtiser les connaissances bien matriser
pour passer au chapitre suivant.
Nous fournirons autant dexemples et de figures ncessaires afin dobtenir une meilleure comprhension du cours. Nous essaierons galement de souligner les piges dans lesquels chacun peut se
fourvoyer soit par inattention, soit par une mauvaise matrise du cours.
Les rels
1.1 Un peu dhistoire . . . . . . . . . . . . . . . . . . . .
1.2 Introduction aux nombres rels . . . . . . . . . . . . .
1.2.1 Quelques rgles de calcul . . . . . . . . . . . .
1.3 Intervalles de R . . . . . . . . . . . . . . . . . . . . .
1.4 Voisinage . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Bornes suprieures, infrieures, maximum et minimum
1.6 Valeur absolue . . . . . . . . . . . . . . . . . . . . . .
1.7 Partie entire . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
9
10
12
15
16
18
19
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
22
26
26
26
27
27
29
31
33
35
36
.
.
.
.
.
.
.
.
.
.
.
41
41
43
44
46
47
47
48
50
50
50
51
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
52
52
52
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
56
56
57
58
59
60
61
63
64
66
68
68
68
69
70
71
71
72
73
73
75
75
76
77
78
80
80
81
.
.
.
.
83
84
85
87
88
6.4
6.5
6.6
6.7
6.8
6.9
7
Drive et monotonie . . . . . . . . . . . . . . . . . . .
Drives et extrema . . . . . . . . . . . . . . . . . . . .
Thormes fondamentaux sur les drives . . . . . . . .
Drives des fonctions usuelles . . . . . . . . . . . . . .
Drives successives . . . . . . . . . . . . . . . . . . .
6.8.1 Drive ni`eme . . . . . . . . . . . . . . . . . . .
6.8.2 Classes de fonction . . . . . . . . . . . . . . . .
6.8.3 Fonction de classe C n , n N . . . . . . . . . .
6.8.4 Fonction de classe C . . . . . . . . . . . . . .
6.8.5 Drive ni`eme dune somme de fonctions . . . .
6.8.6 Drive ni`eme dun produit de fonctions . . . . .
6.8.7 Drive ni`eme de la compose de deux fonctions.
Fonctions convexes . . . . . . . . . . . . . . . . . . . .
Les suites
7.1 Dfinition . . . . . . . . . . . . . . . . . .
7.2 Deux suites classiques . . . . . . . . . . .
7.2.1 Suites arithmtiques . . . . . . . .
7.2.2 Suites gomtrique . . . . . . . . .
7.3 Rcurrence dordre 2 . . . . . . . . . . . .
7.4 Limite de suites . . . . . . . . . . . . . . .
7.4.1 Introduction . . . . . . . . . . . . .
7.4.2 Opration algbriques sur les limites
7.4.3 Rsultats sur les limites de suites . .
7.5 Suites relles et monotonie . . . . . . . . .
7.6 Suites adjacentes . . . . . . . . . . . . . .
7.7 Suites extraites . . . . . . . . . . . . . . .
7.8 Critre de Cauchy . . . . . . . . . . . . . .
7.9 Fonctions et suites . . . . . . . . . . . . . .
Equations diffrentielles
8.1 Equation simple . . . . . . . . . . . . . .
8.1.1 Equation x0 = 0 . . . . . . . . . .
8.1.2 Equation x0 = ax(t) . . . . . . .
8.2 Diffrents types dquations . . . . . . .
8.3 Equation linaire . . . . . . . . . . . . .
8.4 Solutions . . . . . . . . . . . . . . . . .
8.5 Equations diffrentielles linaire dordre 1
8.5.1 Dfinition . . . . . . . . . . . . .
8.5.2 Primitives . . . . . . . . . . . . .
8.5.3 EDO linaire sans second membre
8.5.4 EDO linaire avec second membre
8.5.5 Cas particulier . . . . . . . . . .
8.5.6 Existence et unicit . . . . . . . .
8.6 Equations diffrentielles linaire dordre 2
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
96
97
99
102
102
103
103
103
103
103
104
105
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
107
108
108
108
109
109
110
110
112
114
116
116
117
117
118
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
120
120
120
121
121
122
123
123
123
127
128
129
129
130
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8.6.1
8.6.2
Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Equations diffrentielle homogne coefficients constants . . . . . . . . . 130
Chapitre 1
Les rels
(a) Julius Wilhelm Richard De- (b) Giuseppe Peano (1858 dekind (1831 - 1916), ma- 1932), mathmaticien italien
thmaticien allemand fut un un des fondateurs de lapdes fondateurs de laxiomati- proche formaliste des mathsation de larithmtique. On matiques, il dveloppa, parallui doit notamment une d- llement lallemand Richard
finition axiomatique de len- Dedekind, une axiomatisation
semble des nombres entiers de larithmtique en 1889. On
ainsi quune construction ri- lui doit notamment la notation
goureuse des nombres rels Q.
partir des nombres rationnels.
F IGURE 1.1 Quelques mathmaticiens clbres lis ltude des nombres entiers, rationnels et
rels.
1.1
Un peu dhistoire
Les nombres apparaissent trs tt dans lhistoire de lhumanit. Pour mmoire, le calcul a t
invent avant lcriture (il y a 20 000 ans mais certains disent 35 000 et dautres plus). Il sagissait
de compter avec des cailloux (calculus en latin) afin dvaluer des quantits entires.
Ces entiers naturels permettaient de rsoudre des quations du type x + 3 = 5 par exemple. Cet
7
Les rels
ensemble sera par la suite not N en 1888 par Richard Dedekind (pour nummer qui signifie
numro en allemand).
On notera ainsi
N = {0, 1, 2, 3, 4, ...}.
Notons au passage, que cest Ren Descarte qui suggra par convention (que lon garde encore
aujourdhui) de noter les inconnues par les dernires lettres de lalphabet, et de garder les premire
lettres pour les paramtres connus. Il savra trs vite que les entiers ne pouvaient pas rsoudre
certaines quations comme x + 5 = 3. Il fallut alors introduire un ensemble agrandi du prcdent,
que lon appellera entiers relatifs (par rapport leurs positions 0). Dedekind notera lensemble
K, mais on retiendra plutt la notation Z (pour zahlen qui signifie nombre en allemand) de Nicolas
Bourbaki.
On notera ainsi
Z = {..., 4, 3, 2, 1, 0, 1, 2, 3, 4, ...}.
Il fallut ensuite rsoudre des quations du type x 3 = 5. On ne pouvait pas trouver toutes
les solutions dans lensemble Z. Un autre ensemble fut alors introduit. Lensemble des rationnels
permettait de contenir lensemble des solutions de ce type dquation, et il fut not Q par Giuseppe
Peano en 1895 (initiale du mot quoziente (quotient) en italien).
On notera ainsi
a
Q = { o a et b sont des entiers relatifs et b 6= 0}.
b
Il ne faut cependant pas confondre les rationnels Q avec les dcimaux D. Les nombres dcimaux
sont de la forme a.10n o a et n sont des entiers relatifs. Un nombre dcimal a donc un nombre
fini de chiffres aprs la virgule : par exemple 1, 23 scrit 123.102 . Tandis quun nombre rationa
nel sont de la forme o a est un entier relatif, et b est un entier relatif diffrent de zro. Cest
b
dailleurs ici que commence le premire pige quil faudra viter, et qui semble assez vident a
priori : on ne divise pas par 0 !
Un nombre dcimal est donc un cas particulier de nombre rationnel.
F IGURE
1.2 Triangle rectangle de cts
1, 1 et 2.
Vint enfin une quation assez simple rsoudre 12 + 12 = x2 , autrement dit x2 = 2. Cette quation
provenant dun problme gomtrique assez simple (le thorme de Pythagore), nest pas rcente
8
Les rels
(dans une version diffrencevidemment). Elle date de 500 ans avant J-C environ. Une dmonstration de lirrationalit de 2 date peu prs de cette poque mentionne dans les manuscrits
dAristote. Il fallut donner un nom lensemble de ces nombres qui contenait tous les prcdents
(entiers et rationnels) mais qui ntaient ni entiers ni rationnels. Ren Descartes les appela nombres
rels en 1637 et cest Georg Cantor qui dsignera lensemble des rels par R.
Augustin Cauchy, puis Charles Mray suivi de Georg Cantor tabliront que lensemble des rels
est complet. Autrement dit, contrairement lensemble des rationnels qui contenait encore des
trous que lon pouvait remplir avec des rels, lensemble des rels ne possde pas de trou. On dit
quil est complet. Cette notion sera trs utile dans la suite des cours danalyse.
Puis vinrent les nombres complexes et dautres quations de plus en plus labores rsoudre.
Nous en aborderons quelques unes dans ce cours (comme les quations diffrentielles). Pas toutes,
ce serait impossible, mais celles qui nous semblent incontournables pour le premier semestre de la
premire anne en analyse. Pour cela il faudra dfinir les bons outils, leur manipulation prcise et
rigoureuse (ce que lon peut faire et ce que lon ne peut pas faire). Une fois les outils en main nous
avancerons progressivement de telle sorte qu la fin du semestre, nous aurons effleur la puissance
dapplications de ce que lon aura appris.
Nous pourrons nous trouver de temps en temps devant des concepts qui pourraient aller lencontre
de nos intuitions. Comme par exemple :
1. Est-ce que le nombre juste avant 1 que lon note x = 0.999999999... est gal un ?
2. Est-ce que lensemble des entiers est plus grand que celui des entiers relatifs, lui mme
contenu dans les rationnels ? Et que dire de lensemble des rels ?
Les rponses ces questions ne doivent pas tre donnes si rapidement...nous verrons en cours
pourquoi.
1.2
Pour bien manipuler les nombres rels, il faut avant tout connatre quelques rgles de base. Ces
rgles portent toutes un nom afin de les identifier tout de suite et ainsi savoir de quoi lon parle. Un
9
Les rels
peu comme sur une carte, cela nous permet de savoir ce que lon voit, o lon va et comment on y
va. Commenons par les rgles simples et connues.
1.2.1
Viennent ensuite les rgle de comparaison. Cest important de les exprimer ici, mme si elles ont
lair simples. Elles permettront de rsoudre un grand nombre de problmes.
Il est galement sage de rappeler que ces rgles sont valables pour les nombres rels, mais lorsquil
sagira dtudier les nombres complexes, ce sera une autre histoire.
Proprit 2 (Rgles de comparaison)
Soient a, b et c R. On a alors les rgles de comparaison suivantes :
1. Rflexivit : quels que soit les nombres rels a,
a a,
2. Antisymtrie : quels que soient les nombres rels a et b,
si a b et b a
alors
a = b,
alors
a c,
ab
10
ou
b a.
Les rels
Remarque Les rgles 1, 2 et 3 de la proprit prcdente expriment que est une relation
dordre, et la proprit 4 que cette relation est totale (voir cours dAlgbre).
Remarque
1. A partir de la relation infrieur ou gal dfinie prcdemment, on peut dfinir sa
relation symtrique suprieur ou gal pour tous rels a et b par :
ab
si et seulement si
b a.
si et seulement si
a b et a 6= b,
si et seulement si
a b et a 6= b,
On aborde ensuite les rgles dites de compatibilit que la plupart dentre vous connaissez depuis
le collge.
Proprit 3 (Rgles de compatibilit)
Soient a, b et c R. On a alors les rgles de compatibilit suivantes :
1. si a b
alors
2. si a b
et
a + c b + c,
0c
alors
ac bc.
Remarque
La rgle 2 de la proprit prcdente peut galement scrire avec la relation stricte, en utilisant
le rsultat suivant :
si
ab = 0
alors
alors
ac < bc.
11
1.3 Intervalles de R
Les rels
Remarque
1. Loppos de a not a nest pas ncessairement ngatif ! Loppos de a = 5 par exemple
est a = 5 ! Cest une erreur que lon rencontre souvent.
2. On rappelle encore une fois ici que lon ne peut pas diviser par 0 ! Ainsi, lorsque lon
crira un dnominateur, il faudra toujours sassurer que ce dernier est non nul.
3. Toutes les proprits et rgles prcdentes nous permettent de dire que lensemble R des
rels est un corps commutatif muni dune relation dordre totale (comme lensemble Q
des rationnels). On reprsente cet ensemble R par une droite en gnral, et comme on la
spcifi dans le prambule, cette droite ne possde pas de trou (on dit que lensemble R est
complet) contrairement la reprsentation des lensemble Q.
Quel est lun des autres avantages de R par rapport Q et pourquoi est-ce que lon sest servi de
R plutt que Q dans lanalyse mathmatique ? Ce sont les notions des sections suivantes qui vont
en apporter les rponses.
Commenons tout dabord par dfinir ce quest un intervalle de R.
1.3
Intervalles de R
Il existe plusieurs types dintervalles. Tout est assez intuitif, nous garderons cette forme dintuition dans les dfinitions sans aller dans les dtails.
Voici tout dabord la dfinition gnrale dun intervalle de R.
Dfinition 2 (Intervalle de R)
On appelle intervalle I de R toute partie de I de R vrifiant, pour tous x et y dans I et
pour tout z dans R,
si x z y alors z appartient I.
Remarque
12
Les rels
1.3 Intervalles de R
1. Le fait de considrer une partie I de R se note I R (qui se lit I inclus dans R).
2. Le fait de considrer un lment a de I se note a I (qui se lit a appartient I.
Il ne faut donc pas confondre le symbole qui est utilis pour des parties, et qui est
utilis pour des lments.
3. La dfinition prcdente pourrait alors scrire :
on appelle intervalle I de R toute partie I R vrifiant pour tous x, y I et pour tout
zR
si x z y alors z I.
Il existe plusieurs types dintervalles de R. Nous allons les rsumer dans les dfinitions suivantes.
Dfinition 3 (Intervalle ferm et born (segment))
Soient a et b deux rels tels que a b. On appelle intervalle ferm et born (appel aussi
segment) de R tout ensemble de la forme
[a, b] = {x R, a x b}.
Remarque Un cas particulier dintervalle ouvert est lensemble R tout entier : R =] , +[.
Dfinition 5 (Intervalle ouvert et born )
Soient a et b deux rels tels que a b. On appelle intervalle ouvert et born de R tout
ensemble de la forme
]a, b[= {x R, a < x < b}.
13
1.3 Intervalles de R
Les rels
Notation 1.1
On notera les intervalles particuliers suivants :
R+ = [0, +[,
R+ =]0, +[,
R =] , 0],
et
R =] , 0[.
Les rels
1.4 Voisinage
Intervalles de R
Borns
Non Borns
Ouverts
]a, b[;
R; ] , a[; ]a, +[
Ferms
R; ] , a]; [a, +[
Semi-ouverts
Remarque Nous pourrons utiliser quelques fois la notion de paramtrage du segment. Autrement
dit, en essayant dinterprter, nous laisserons un point se balader entre les bornes de lintervalle
suivant un temps t compris entre 0 et 1.
Pour tre plus clair, on aura lquivalence suivante :
x [a, b] si et seulement sil existe t [0, 1] tel que x = (1 t)a + bt.
Cette quivalence permet de dire que tout point du segment [a, b] peut tre identifi grce un
paramtre t compris entre 0 et 1. Pour aller plus loin, nous pourrions dire que tout point de se
segment peut tre identifi comme un certain barycentre des extrmits.
Cela pourra nous servir quand on verra (en cours, ou TD) la notion de convexit.
1.4
Voisinage
La notion de voisinage servira pour les chapitres suivants quand on abordera les notions de
limites...Les limites qui seront des outils indispensables en analyse.
Noter que dans ce qui suit (et ce sera valable pour tous les chapitres), ds que lon considre une
quantit aussi petite que lon veut, on la note (la notation usuelle de cette lettre grecque remplaant le e latin (pour ne pas le confondre avec le e de lexponentiel), proviendrait dAugustin-Louis
Cauchy qui dsignait ainsi les toutes petites erreurs dapproximation, le e tant linitiale de erreur
qui a donn en grec).
15
Les rels
Remarque On peut aussi dire, cest quivalent, que V R est un voisinage de a si et seulement
sil existe > 0 tel que ]a , +[ V .
Remarque Le voisinage V de a peut sinterprter donc comme ce quil y a autour de a tout en
tant trs proche de a.
Dfinition 10 (Voisinage de linfini)
On dit que V R est un voisinage de + (respectivement de ) si et seulement sil
existe A R tel que [A, +[ V (respectivement ] , A] V ).
1.5
Les rels
On peut caractriser de faon pratique (ce qui pourra servir pour des exercices) la borne sup et la
borne inf de la faon suivante.
Proposition 1 (Caractrisation des bornes sup et inf.)
Soit E R non vide.
1. si la partie E est majore par un rel M . Alors
M = sup(E) si et seulement si pour tout > 0, il existe x E tel que
x ]M , M ].
2. si la partie E est minore par un rel m. Alors
m = inf(E) si et seulement si pour tout > 0, il existe x E tel que
x [m, m + [.
17
Les rels
Remarque
1. La premire proprit est due Bernhard Bolzano en 1817.
2. Q na pas la proprit de la borne sup : {x Q tel que x2 < 2} admet
sup dans R et nadmet pas de borne sup dans Q.
2 comme borne
Voil, nous avons maintenant quelques outils essentiels pour continuer le cours danalyse. Bien
entendu, ce chapitre est bien loin de couvrir toutes les connaissances accumules sur ces ensembles
(N, Z, Q et R)...mais faute de temps, nous en resterons l. Les plus curieux pourront loisir se
renseigner plus dans ce domaine, un peu en cours dalgbre, mais galement dans la littrature trs
riche ce sujet.
En ce qui nous concerne, nous allons aborder une autre notion toute aussi importante dans la suite
de ce cours danalyse : la notion de fonctions.
1.6
Valeur absolue
Rappelons ici quelques proprits des valeurs absolues que vous tes censs matriser depuis le
lyce. Commenons par en donner la dfinition qui est due Franois Vite en 1591.
18
Les rels
a si a > 0,
a si a < 0.
|a| =
0 si a = 0.
2. a2 = |a|,
3. |ab| = |a||b|,
4. pour tout n N ou Z (si on a en plus a R ) , |x|n = |xn |,
1
b |b|
1
5. si a 6= 0, =
et de faon gnrale =
,
a
|a|
a
|a|
6. si b 0, |a| b si et seulement si b a b,
7. si b 0, |a| b si et seulement si a b ou a b,
8. |a + b| |a| + |b| (cest lingalit triangulaire),
9. ||a| |b|| |a b| (cest lingalit triangulaire inverse).
1.7
Partie entire
Une notion qui peut vous sembler nouvelle est celle de la partie entire dun nombre rel. La
partie entire a beaucoup dapplications notamment en probabilit, en thorie des nombres mais
galement dans laffichage numrique dappareils de mesures. Elle pourra galement nous tre
19
Les rels
utile pour la rsolution dexercices ainsi que pour la preuve de certaines propositions.
Dfinition 15 (Partie entire)
Soit a un nombre rel. Le plus grand entier infrieur ou gal a sappelle la partie entire
de a. Nous le noterons E(a) ou [a].
Remarque Intuitivement, il est assez ais de voir que pour les nombre positifs, la partie entire
dun nombre est le nombre lui-mme coup de ses chiffres aprs la virgule. Do le nom de
partie entire.
Par contre pour les nombres ngatifs, il faudra faire attention, ce sera le nombre entire infrieur
au nombre coup de ses chiffres aprs la virgule.
Il ne faut donc pas confondre partie entire et troncature ! (la partie entire est la troncature pour
les nombres positifs, mais pas pour les nombres ngatifs !
Exemple
1. E() = 3,
2. E() = 4.
Proposition 2 (Valeur absolue et distance)
Soit a un rel. Il existe un unique entier relatif n tel que
n a n + 1.
Remarque Par consquent, E(a) est lunique entier tel que E(a) a < E(a) + 1.
Il est important de noter lingalit stricte droite et large gauche !
20
Chapitre 2
Les fonctions dune variable relle
(a) Gottfried
Wilhelm
Leibniz (1646 - 1716),
mathmaticien allemand,
lorigine entre autres du
calcul infinitsimal (avec
Newton), ce fut le premier
introduire le terme de
fonctions.
(b) Leonhard Euler (1707 - (c) Nicolas Bourbaki est un ma1783), mathmaticien suisse thmaticien imaginaire cr par un
a travaill galement sur le groupe de mathmaticiens 1935
calcul infinitsimal et entre Besse-et-Saint-Anastaise (France). A
autres choses sur la thorie lorigine de nombreuses notations,
des graphes. Cest lui que vulgarisation de notions et de symlon doit la notation f pour bole, on leur doit entre autres la reles fonctions.
lation entre fonction et application.
fonctions, certains lignorent, dautres non. Plus vous ferez des mathmatiques, et plus vous vous
en rendrez compte.
Mais, afin que les tudes soient le plus rigoureuses possibles, il est ncessaire de bien matriser les
outils mathmatiques utiliss, en loccurrence ici les fonctions.
Le nom de fonction est apparu assez tard, en 1694 dans un manuscrit de Gottfried Leibniz alors
que la notion existait depuis beaucoup plus de temps. Cest ensuite Leonhard Euler qui propose la
notation f pour les fonctions en 1734 (aprs plusieurs tentatives plus ou moins convaincantes par
dautres mathmaticiens). Cest enfin Nicolas Bourbaki qui tente de faire le lien entre fonction et
application dans les annes 1950.
En ce qui nous concerne, nous aborderons ici les fonctions le cadre le plus simple (les plus labores se verront dans les semestres suivants, notamment en analyse 3) : ce sont les fonctions dune
variable relle valeurs relle.
Quest-ce que cela veut dire ? Comment les dfinit-on ? Comment les manipule-t-on ? Quelles sont
les fonctions les plus connues ? En somme, que savons-nous de ces fonctions ?
2.1
Remarque Le fait que chaque lment de I possde au plus une image dans J signifie que certains lments de I peuvent ne pas avoir dlments dans J du tout. Mais dun autre ct, cela
22
veut galement dire que les lment de I ne peuvent pas avoir plus dune image dans J. Ceci est
trs important, nous le verrons lors que nous tracerons le graphe dune fonction.
F IGURE 2.3 Exemple de ce qui est considr comme fonction ( gauche) et non fonction (
droite).
Que se passe-t-il si lon ne slectionne que les lments de I qui auront exactement une image.
En laissant de ct ce qui nen ont pas. Cest la dfinition suivante.
Dfinition 2 (Domaine de dfinition)
Soient I R et J R.
Lensemble des lments de I qui ont exactement une image dans J par la fonction f est
appel domaine de dfinition de I. On le note Df .
Du coup, on peut carrment dfinir les fonctions partir de leur ensemble de dfinition. Dans ce
cas l, on ne les appellera plus fonctions mais applications.
Dfinition 3 (Application)
Soient I R et J R
Lapplication f dfinie par un ensemble de dpart I et par un ensemble darrive J est
une relation de I vers J dans laquelle chaque lment de I possde une image et une
seule dans lensemble J.
Remarque Une application est donc une fonction dont le domaine de dfinition est lensemble de
dpart choisi. En dautres termes, pour une application de f dfinie de I dans lensemble J, nous
avons Df = I.
Ou encore, une fonction est une application de Df dans J.
23
Notation 2.1
On note les fonctions f de la faon suivante :
f: I J
x 7 f (x).
Et les applications f de la faon suivante :
f : Df J
x
7 f (x).
La diffrence est subtile, tout est question de domaine de dpart et domaine de dfinition.
Attention : dans chacune de ces dfinitions,
1. la premire flche reliant I ou Df J qui scrit sans barre verticale lextrmit
gauche se lit : dans (f va de I (ou Df ) dans J).
2. la deuxime flche reliant x f (x) possde, elle une barre verticale lextrmit gauche
et se lit : a pour image (x a pour image f (x)).
Remarque
1. En rgle gnrale, on tudiera plutt des applications en TD, et donc nous essaierons de
calculer dans la mesure du possible le domaine de dfinition de la fonction tudie.
2. Comme dit prcdemment, llment x dans lensemble Df est appel antcdent de f , et
llment f (x) est appel image de x par f .
3. Ainsi, lantcdent se trouve dans le domaine de dfinition, et limage dans lensemble
darrive.
2. f2 : R R
x 7 x3
(a) Fonction x 7 x2
(b) Fonction x 7 x3
25
2.2
Par abus, dans tout ce qui suit (sauf dans des cas particuliers) nous allons parler de fonctions plutt
que dapplications. Ceci afin de ne pas alourdir les propos et de permettre de donner un cadre
gnral aux proprits. Toutefois, on gardera en tte quil suffira de dfinir lensemble de dpart
comme tant le domaine de dfinition pour que le rsultat sapplique aux applications. Nous allons
donner ici quelques proprits connues, et dautres moins connues sur les fonctions. Ces proprits
permettront de dcomposer des fonctions un peu compliques en fonctions connues plus simples.
2.2.1
Remarque Il est important de rappeler que lon ne peut pas diviser par 0 et donc il faudra
absolument que le domaine de dfinition de g comprenne entre autre le fait que g(x) ne sannule
pas pour x dans ce domaine.
2.2.2
La restriction
Il se peut que de temps autre, nous nayons pas besoin dtudier une applications sur tout son
domaine de dfinition, mais seulement sur une partie. On restreint alors la fonction sur un intervalle
plus petit que son domaine de dfinition.
26
Dfinition 6 (Restriction)
Soit f une application dfinie sur un intervalle I de R. Soit I0 un intervalle de R inclus
dans I. On appelle restriction de f I0 que lon note f |I0 , la fonction dfinie sur I0 par :
pour tout x I0 , f |I0 (x) = f (x).
Remarque Cette dfinition signifie juste que les fonctions f et f |I0 prennent les mmes valeurs
en chaque point de lintervalle I0 .
2.2.3
Limage de la fonction que lon avait jusqu maintenant est celle dune courbe assez rgulire que
lon peut dessiner main leve sans trop de problme. Il se peut en fait quune fonction soit dfinie
par des petits morceaux que lon peut rapicer Ces morceaux de fonctions peuvent se toucher ou
non suivant ce que lon tudie.
Si lon considre par exemple un intervalle I de R qui contient plusieurs sous intervalles I1 , I2 ,
..., In (o n est un entier naturel). On suppose que ces intervalles ne se chevauchent pas, sinon
nous aurions des problmes, nous ne serions pas en prsence de fonctions dans un cadre gnral.
Ces intervalles peuvent se toucher en dcoupant ainsi lintervalle I en n sous intervalles ou non.
Supposons quen chacun de ces sous-intervalles la fonction f possde une expression diffrente.
Autrement dit, en reprenant la notation de la restriction de la section prcdente nous aurions :
f |I1 = f1 , f |I2 = f2 ,...,f |In = fn .
La fonction ainsi dfinie serait une fonction par morceaux.
2.2.4
Il se peut que lon ait besoin de savoir de temps en temps si une fonction peut-tre majore ou
minore (on pourrait par exemple chercher le cot minimum ou maximum dune opration financire). Pour cela nous devons dfinir les notions suivantes.
Dfinition 7 (Fonction majore)
Soit f une application dfinie sur un intervalle I de R. Etant donn un rel M , la fonction
f est dite majore (par M ) sur I si pour tout rel de I :
f (x) M .
27
Quelques fois, ce nest pas un nombre qui majore (ou minore) une fonction. ll se peut que ce soit
carrment une autre fonction. Nous avons alors les dfinitions suivantes.
28
2.3 La composition
2.3
La composition
Cette partie est nouvelle mais pas trs difficile comprendre. Elle concerne lembotement de
fonctions les unes dans les autres. Un peu comme des poupes russes. On nomme cet embotement la composition de fonctions.
29
2.3 La composition
gf : I
K
x 7 f (x) 7 g(f (x)).
Remarque
Il y aura deux difficults affronter dans cette nouvelle notion :
1. il faudra faire trs attention aux ensembles de dparts et darrives de chacune des fonctions impliques,
2. partir dune fonction compose, il faudra reconnatre quelles sont les fonctions qui la
composent, et inversement, partir de fonctions simples essayer de construire des fonctions
compoes.
Lhabitude et la pratique permettront de rendre ces notions trs familires.
Remarque
1. Il nest pas ncessaire que J soit lensemble de dpart de g. Il suffit que lensemble de
dpart de g contienne J.
2. Nous ne pourrons pas avoir lgalit suivante en gnral : f g = g f .
3. Il existe une fonction que lon appelle la fonction identit que lon crit : Id dfinie pour
tout x dans R par Id(x) = x. Autrement dit cette fonction met x en relation avec lui mme.
Elle ne change rien. On lcrit de la faon suivante :
Id : R R
x 7 x.
Cette fonction identit est importante parce que lon a les proprits suivantes :
(a) Idf = f Id = f . Autrement dit la fonction identit se comporterait comme llment
neutre pour la loi de composition ,
(b) la question que lon peut se poser, est la suivante : existe-t-il une fonction g telle que
lon ait :
f g = g f = Id ?
30
2.3 La composition
Ce qui pour tout x dans I pourrait scrire : f (g(x) = g(f (x) = x. Ce serait une
fonction qui permettrait de remettre x en relation avec lui-mme aprs tre pass par
un intermdiaire.
Ce type de fonction g peut exister (cest le cas si f est bijective) et cest la fonction
rciproque de f que lon notera f 1 dans la section 2.4.
N.B. : cest un peu comme, en reprenant limage du dbut de cette section, en mangeant
une poire on devient petit chaperon rouge et en mangeant le petit chaperon rouge,
on redevient une poire. Dit comme a, cela parat trange, mais Raymond Queneau
qui a publi des articles de recherche en mathmatiques ntait-il pas lui-mme un
surraliste ?
2.3.1
Monotonie
Certaines fonctions sont monotones, dans le sens littral du terme. Autrement dit, elles ne varient
pas. Elles sont soit croissantes, soit dcroissantes sur un intervalle fix. Cest ce que nous allons
dfinir ici.
Dfinition 13 (Croissance)
Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite croissante
sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 x2 alors f (x1 ) f (x2 ).
Dfinition 14 (Dcroissance)
Soit f une application dfinie sur un intervalle I de R. Lapplication f est dite dcroissante sur I si pour tous x1 et x2 de lintervalle I on a :
si x1 x2 alors f (x1 ) f (x2 ).
31
2.3 La composition
Remarque Etudier les variations dune application consiste donc regarder sa variation de
monotonie et donc partager son ensemble de dfinitions en intervalles tels que sur chacun deux,
la fonction soit monotone.
2.3 La composition
+
+
variations
de f
0
F IGURE 2.8 Exemple de tableau de variation pour la fonction f : x 7 x2 . Remarquez que lon
note dans la deuxime ligne, variation de f et non de f (x). On cherche en effet les variations de la
fonction f , tandis que f (x) est un nombre !
2.3.2
Parit
Il sera trs utile parfois de regarder si notre fonction (et donc son graphe) est symtrique soit par
rapport lorigine 0 soit par rapport laxe des ordonnes (cest dire la droite dquation x = 0).
En effet, cela nous permettra de ntudier la fonction que sur une partie de son domaine, lautre
partie se dduisant par symtrie. Cest extrmement pratique notamment quand on utilisera des
valeurs absolues.
Pour cela nous devons dfinir la parit dune fonction.
Dfinition 20 (Fonction paire)
Soit f une application dfinie sur son domaine I dans R ( lintervalle I doit tre symtriquement rparti autour de 0) . Lapplication est dite paire si pour tout rel x de I nous
avons
f (x) = f (x).
33
2.3 La composition
Remarque Si f est paire, sa courbe reprsentative (son graphe) est symtrique par rapport
laxe de des ordonnes (la droite dquation x = 0)
Remarque Si f est impaire, sa courbe reprsentative (son graphe) est symtrique par rapport
lorigine O.
2.3 La composition
Il se peut que le centre de symtrie ne soit par lorigine. Dans ce cas, la proprit suivante nous
permet de prouver quun point A de coordonnes (a, b) du plan est un centre de symtrie pour
lapplication f .
2.3.3
Fonctions priodiques
Penchons-nous maintenant sur les fonctions priodiques. Montrer quune fonction est priodique
peut tre trs utile, dans le sens o, un peu comme dans le cas de la parit, cela permet de rduire
fortement le domaine dtude de la fonction, en loccurrence ici sur une seule priode.
35
Remarque Si f est une application priodique et si T et T 0 sont deux priodes de f telles que
T + T 0 6= 0, alors T et T + T 0 sont galement des priodes de f .
f peut donc possder plusieurs priodes de f . La plus petite dentre elle est appele priode
fondamentale.
Dfinition 23 (Priode fondamentale)
Soit f une application dfinie sur son domaine I dans R. On suppose f priodique. Si
lensemble des priodes strictement positives de f a un plus petit lment T0 , celui-ci est
appel priode fondamentale de f . Toutes les priodes de f sont alors de la forme nT0 ,
o n est un entier relatif.
2.4
Les notions dinjectivit, surjectivit et bijectivit sont nouvelles pour la plupart dentre vous. Mais
elles ne sont pas compliques quand on comprend ce quelles reprsentent.
Considrons une fonction f dfinie dun ensemble I de R vers un ensemble J de R. On rappelle
alors que I reprsente lensemble de dpart et J lensemble darrive.
Dfinition 24 (Fonction injective)
On dit quune fonction f : I J est injective si et seulement si tout lment y de
lensemble darrive J admet au plus un antcdent dans lensemble I de dpart.
Autrement dit, il en possde soit un, soit aucun mais pas plus de un. En mathmatiques
cela scrit :
pour tous x1 et x2 de I,
si f (x1 ) = f (x2 ) alors x1 = x2 .
36
(a) Injection.
(a) Surjection.
f 1 : J I
y 7 x = f 1 (y),
Enfin, la condition idale est quand lavion est plein, que chaque place est prise par un unique
passager. Toutes les places ont t vendues, et chaque passager a son espace personnel. Tout le
monde semble satisfait.
Question.
Comment construire le graphe dune fonction f 1 rciproque dune fonction f ?
Rponse.
On voit par construction de la fonction rciproque que si lon suppose x un point de lintervalle I
et y un point de lintervalle J = f (I) limage de I par f tel que y = f (x), alors
(x, y) appartient au graphe Cf si et seulement si (y, x) appartient au graphe Cf 1 .
Autrement dit tout point du graphe Cf 1 est le symtrique du graphe Cf par rapport la premire
bissectrice (cest dire la droite dquation y = x).
F IGURE 2.14
Construction de la fonction rciproque (ici la fonction x 7 x2 dont la rciproque si
x 0 est x 7 x. La droite pointille rouge est la premire bissectrice (droite dquation y = x).
39
40
Chapitre 3
Limites dune fonction
3.1
Jusqu prsent la notion de limite que vous aviez vue au lyce tait assez intuitive. Pour une
application f dfinie sur un intervalle I il sagissait de voir, pour un x dans I vers quoi tendait la
valeur f (x) quand x tendait vers une valeur a de I. Cette limite quand elle existait tait note
par un rel l ou autre chose selon les circonstance, et lon avait :
41
lim f (x) = l.
xa
Nous pouvons maintenant donner la dfinition dune limite en un point telle quelle a t introduite
par Karl Weierstrass.
Dfinition 2 (Limite finie en un point)
Soit f une application dfinie sur son domaine I dans R. Soient a et l deux rels finis
(cest dire que a et l sont diffrents de + et ) avec a adhrent I.
On dit que f admet une limite finie l en a, si pour tout rel > 0, il existe un rel > 0
tel que
pour tout x I si |x a| alors |f (x) l| .
On crit alors comme prcdemment
lim f (x) = l ou encore lim f = l.
xa
Remarque
1. Intuitivement, cette dfinition signifie que f (x) est aussi prs de l que lon veut (autrement
dit dans un voisinage de l aussi petit que lon veut), condition de choisir x suffisamment
prs de a (autrement dit x doit tre dans un voisinage suffisamment petit de a).
42
2. La dfinition de la limite prcdente permet dire quil y a quivalence entre crire que f (x)
tend vers l et f (x)l tend vers 0 quand x tend vers a, autrement dit on a quivalence entre :
(a) lim f (x) = l ,
xa
3.2
xa
Remarque Intuitivement, cela signifie que lorsque x sapproche de a, f (x) devient trs grand.
43
xa
Remarque Intuitivement, cela signifie que lorsque x sapproche de a, f (x) devient trs petit.
Remarque Lorsquon est en prsence dune limite infinie (+ ou ) en un point fini a, on dit
que la droite dquation x = a est une asymptote verticale la courbe reprsentative de f .
3.3
xa+
Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs proche de l.
44
xa
Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs proche de l.
Dfinition 7 (Limite + droite)
Soit f une application dfinie sur son domaine I dans R. Soit a adhrent I]a, +[.
On dit que f admet une limite + droite en a si pour tout rel A > 0, il existe un rel
> 0 tel que
pour tout x I si 0 < x a alors f (x) > A.
On crit alors comme prcdemment
lim f (x) = + ou encore lim
f = +.
+
xa+
Remarque Intuitivement, cela signifie que lorsque x sapproche de a en tant plus grand que a,
f (x) devient trs grand.
Remarque On aurait de faon analogue :
1. la limite + gauche sobtient en remplaant 0 < x a par x a < 0 dans
la dfinition prcdente.
2. la limite droite sobtient en remplaant f (x) A par f (x) A dans la dfinition
prcdente.
3. la limite gauche sobtient en remplaant 0 < x a par x a < 0 et
f (x) A par f (x) A dans la dfinition prcdente.
45
3.4
Etant donn quici nous allons faire tendre x vers linfini, il faut quil existe b R tel que lintervalle [b, +[ (si on cherche la limite en +) ou ] , b] (si on cherche la limite en )
soit inclus dans Df . Nous allons pour cela donner un pendant la dfinition de ladhrence de la
section prcdente.
Dfinition 8 (Partie non majore)
Soit D un partie de R.
On dit que D est non majore lorsque pour tout rel A, lintervalle [A, +[ rencontre
D. Autrement dit, pour tout rel A, il existe t D tel que A t.
On dit que D est non minore lorsque pour tout rel A, lintervalle ] , A[ rencontre
D. Autrement dit, pour tout rel A, il existe t D tel que t A.
x+
Remarque
1. Ceci se traduit par le fait que lorsque x devient trs grand (tend vers +, f (x) devient
trs proche de l.
2. si lon remplace lintervalle I non major, par I non minor et x A par x A, on
dfinit la limite finie en que lon note
lim f (x) = l ou encore lim f = l.
Remarque Dans les deux cas prcdents (limite finie l en + ou ) on dit que la droite
dquation y = l est une asymptote horizontale la courbe reprsentative de f .
46
x+
Remarque
1. Ceci se traduit par le fait que lorsque x devient trs grand (tend vers +, f (x) devient
trs grand.
2. Si lon remplace f (x) > B par f (x) < B dans la dfinition prcdente on obtient la
dfinition de la limite en + que lon note
lim f (x) = ou encore lim f = .
x+
4. Enfin, si lon remplace lintervalle I non major, par I non minor , x A par x A
et f (x) B par f (x) B, on dfinit alors la limite en que lon note
lim f (x) = ou encore lim f = .
3.5
3.5.1
47
Proprit 2 (Egalit)
Soit f une application dfinie sur un intervalle I de R. Soit a un rel adhrent I.
Si f possde une limite l (finie ou infinie) en a on a a lquivalence suivante :
lim f (x) = l
xa
xa
3.5.2
Limites et comparaison
Proprit 4 (Comparaison)
Soient f et g deux fonctions dfinies sur un intervalle I de R, soit a un rel adhrent I.
Soient l1 et l2 deux rels.
Si f et g possdent respectivement l1 et l2 comme limites en a, et sil existe un voisinage
V de a tel que pour tout x I dans ce voisinage,
f (x) g(x),
alors
l1 l2 (autrement dit lim f (x) lim g(x)).
xa
48
xa
lim f (x) = .
xa
lim f (x) = +.
xa
xa
lim f (x) = l.
xa
49
3.6
3.6.1
xa
3.6.2
lim g(x)
xa
xa
l1
l2
l1 + l2
l1
Forme indtermine
xa
lim g(x)
lim f (x)g(x)
xa
xa
l1
l2
l1 l2
l1
Forme indtermine
50
3.6.3
xa
3.7
f (x)
xa g(x)
l1
l2
lim g(x)
lim
xa
l1
l2 (6= 0)
l1
l1
Forme indtermine
Forme indtermine
Il existe de nombreuses autres proprits sur les limites que nous naborderons pas par manque de
temps mais quil est recommand davoir vues.
51
3.7.1
Limite et compose
yb
Alors
lim g f (x) = l.
xa
3.7.2
Limite et monotonie
xa
xa
x<a
x<a
Remarque
1. Si on considre a adhrent I]a, +[, on a un rsultat analogue en inversant croissante
et dcroissante.
2. On obtient un rsultat analogue galement quand on fait tendre x vers + ou sous la
forme : toute fonction croissante et majore admet une limite finie et toute fonction dcroissante et minore admet une limite finie. Il faudra cependant faire attention : la limite nest
en gnral pas gal la majoration (ou la minoration) de la fonction.
3.7.3
Critre de Cauchy
Ce dernier rsultat que nous reverrons ensuite adapt pour les suites est important quand on veut
montrer lexistence dune limite finie sans pour autant tre capable de la calculer explicitement.
52
53
54
Chapitre 4
Quelques fonctions usuelles
(b) Christian Huygens (16291695), mathmaticien nerlandais, fait le lien entre la primitive
de la fonction x 7 1/x et le logarithme nprien.
F IGURE 4.1 Quelques mathmaticiens clbres lis au logarithme nprien et aux fonctions
hyperboliques.
Nous allons dans cette section prsenter les fonctions les plus connues (qui pourraient sembler
nouvelles pour certains dentre vous). Ces fonctions ainsi que leurs proprits sont connatre par
cur. Nous donnerons quelques proprits essentielles de ces fonctions (notamment leur comportement asymptotique). Mais pour nous ne ferons pas une tude dtaille qui ncessite galement
la connaissance de leur drive (quand elle existe) qui est une notion que lon abordera seulement
dans le chapitre suivant. Les rsultats des chapitres suivants seront dailleurs un prtexte pour revenir sur ces fonctions et par consquent de trouver un terrain de jeux dapplications des diffrents
outils que lon exposera.
55
4.1
Fonction constante
x7+
x7
4.2
Fonction identit
lim Id(x) = + et
x7+
x7
4.3
Pour un rappelle sur les proprits des valeurs absolues dun nombre, il nest pas inutile de relire
la section (1.6). Ici, nous ne nous intressons qu la fonction valeur absolue.
La fonction valeur absolue est la fonction dfinie sur I = R de la faon suivante :
Id : R R
x 7 |x| =
x si x 0,
x si x < 0.
x7+
x7
4.4
Cette fonction peut-tre nouvelle pour certains dentre vous. Cest la fonction partie entire. Pour
la dfinition et les proprits de la partie entire, il ne sera pas inutile de revoir la section (1.7).
Nous ne nous intressons ici qu la fonction partie entire.
La fonction partie entire que lon note E est la fonction dfinie par :
58
E: R R
x 7 E(x),
o E(x) est dfinie pour tout x R dans la dfinition 15 de la section (1.7).
La fonction E est croissante sur R et elle est constante sur tous les intervalles du type [n, n + 1[
o n Z. On peut remarquer sur le graphe de la partie entire que sa reprsentation nest pas en
4.5
59
Il est important de noter que cette fonction est dfinie pour tout rel a. Ce sera important pour
donner le domaine de dfinition de cette fonction.
Continuons par quelques proprits des puissances entires dun nombre rel a.
Proprit 2 (Oprations puissances entires)
Soient a, b des nombres rels et n, p deux entiers naturels. On a les proprits suivantes :
an ap = an+p , (an )p = anp , an bn = (ab)n ,
et si en plus b est non nul :
an a n
1
=
et bn = n .
n
b
b
b
Remarque Grce ce qui prcde on peut gnraliser les proprits n et p entier relatifs, en
faisant attention chaque fois que pour an , avec n Z, si la puissance de a est ngative, le
nombre a ne doit pas tre nul, car on ne peut pas diviser par 0 (on ne le rptera jamais assez).
La fonction puissance entire peut donc tre dfinie de la faon suivante :
f: R R
x 7 xn .
Remarque
1. Si n = 0 on retrouve la fonction constante dfinie plus haut.
2. Si n = 1 on retrouve la fonction identit Id dfinie plus haut.
3. Si n est pair, la fonction f est paire.
4. Si f est impaire, la fonction f est impaire.
5. Si n est un entier ngatif, il faut bien faire attention au domaine de dfinition qui devient
Df = R (cest dire R priv de 0).
6. Si n = 1 on retrouve la fonction inverse classique :
f : R R
7 x1 =
4.6
1
.
x
Fonction polynme
Si lon considre les puissances entires positives. Nous pouvons faire la somme de plusieurs
fonctions puissances entires, qui donnent alors naissance la fonction polynme (plusieurs puissances).
On la dfinit en gnral avec la lettre p (pour linitiale de polynme) de la faon suivante :
60
a0 + a1 x + a2 x + ... + an x =
n
X
ai x i ,
i=0
quon lit : somme de i = 1 n de ai xi . Cest criture est beaucoup plus pratique, elle permet
dviter de surcharger les calculs.
4.7
Il se peut que la puissance ne soit pas entire. Elle peut alors tre rationnelle. Autrement dit sous
p
la forme o p Z et q N .
q
Pour viter les cas particuliers, nous dfinirons la puissance rationnelle (ou puissance fractionnaire)
pour a un rel strictement positif :
p
a q = q ap .
61
Remarque
1. Noter que si p = 1 et q = 2 on obtient a et a > 0 qui est la racine carre comme nous la
connaissons (mais dfinie seulement pour a > 0).
2. Noter que si p = 1 et q = 3 on obtient 3 a, et a > 0 qui est la racine cubique que nous
connaissons galement (et qui peut tre dfinie sur R).
3. Noter que ce nest pas toujours ncessaire de prendre a > 0, mais pour la dfinition gnrale dune puissance rationnelle nous prendrons toujours a dans R+ . Sinon il faudra faire
p
attention au rapport qui doit crit de faon irrductible. Alors seulement dans ce cas, si
q
p
q est impair on peut dfinir a q pour a R.
4. Notons enfin que si p est ngatif, il faut galement prendre en compte le fait que a ne doit
pas tre nul (sinon on diviserait par 0).
On peut alors dfinir la fonction racine n-ime de la faon suivante :
- Si n est pair :
f : R+ R
x
7 n x,
- Si n est impair :
f: R R
x 7 n x.
Et dun autre ct la fonction puissance rationnelle (pour nimporte quels p Z et q N ) :
f : R+ R
p
x
7 x q .
4.8
Fonction homographique
On pourrait penser que les fonctions fonctions homographiques sappellent ainsi parce quelles
possdent toutes la mme (homo en latin) forme de graphe. Mais cest en fait un peu plus compliqu
que a. Pour faire simple, dans le plan complexe ce sont des fonctions qui transforment des figures
en ces mmes figures (comme des cercles en cercles, ou des droites en droites...). Mais nous ne
dvelopperons pas plus loin cet aspect.
Les fonctions homographiques sont connues depuis le lyce, nous ne faisons que rappeler leur
dfinition ici :
d
f : R \ { } R
c
ax + b
x
7
,
cx + d
o a, b, c et d sont des rels et c nest pas nul (sinon on aurait des fonctions affines classiques).
Bien faire attention l aussi lensemble de dfinition.
En appliquant le chapitre prcdent au calcul des limites de ce type de fonctions, nous pouvons
observer que leur graphe comporte deux asymptotes :
d
- une asymptote verticale qui a pour quation x = ,
c
a
- une asymptote horizontale qui a pour quation y = .
c
Dautre part, en appliquant les rsultats de la section (2.3.2), il est possible de prouver que ces
graphes possdent un centre de symtrie que lon laisse le soin au lecteur de calculer (ce qui
pourrait faire lobjet dun exercice pas trop difficile).
63
4.9
La fonction logarithme nprien (note ln) est connue depuis la terminale. Cette fonction peut tre
construite de plusieurs faon :
1
-comme tant une primitive de la fonction inverse x 7 (cest mme en fait lintgrale entre 1 et
x
x de la fonction inverse) (mais nous navons pas encore abord la notion de primitive ni celle de
lintgrale, cela se fera au prochain semestre),
- comme la rciproque de la fonction exponentielle (que nous allons introduire juste aprs cette
section, qui elle-mme peut tre construite partir des suites (les suites que lon verra dans le
chapitre(7)).
Nous laissons donc pour linstant la construction de cette fonction de ct.
Nous allons juste rappeler cette fonction ln ici, ainsi que quelques proprits essentielles.
La fonction ln est dfinie de la faon suivante :
ln : R+ R
x
7 ln(x).
Il est important de noter ici aussi le domaine de dfinition de cette fonction.
64
Cette fonction possde de nombreuses proprits quil nest pas inutile de rappeler ci-dessous.
Proprit 3 (Logarithme nprien)
1. Il existe un nombre e ' 2, 71828 tel que ln(e) = 1.
2. Soient a et b deux rels strictement positifs, alors
a
ln(ab) = ln(a) + ln(b) et ln( ) = ln(a) ln(b).
b
Cette dernire galit nous permet dailleurs de dduire (en posant a = b) que
ln(1) = 0.
3. Soient n un entier naturel non nul, et a un rel strictement positif, on a alors :
ln(an ) = n ln(a),
et
ln(an ) = n ln(a).
Les rsultats sur les limites lies la fonction ln sont galement connatre et savoir redmontrer.
65
x+0+
lim ln(x) = +, et
x0+
lim ln(x) = +,
x+
mais galement
ln(x)
= 0,
x+
x
lim
lim+
x0
ln(x + 1)
= 1, et
x
ln(x)
= 0, pour p R+ .
x+ xp
lim
Il sera utile quelques fois de connatre les logarithme de base 10 (en gnral pour des applications
en physique, chimie ou biologie), et donc plus gnralement les logarithmes de base a o a est un
rel strictement positif.
Dfinition 2 (Logarithme de base a)
Soient a un rel strictement positif. Pour tout rel x strictement positif, on dfinit son
logarithme de base a not loga (x) par
loga (x) =
ln(x)
ln(a)
Remarque Le logarithme nprien ln est le logarithme de base e, cest celui que lon utilisera
le plus souvent, et cest celui qui est le plus simple, que lon croise le plus naturellement (mme
si historiquement ce nest pas celui-l qui a t utilis en premier par John Napier (ou Neper)
en 1614 qui donn son nom cette fonction). Cest pour cela quon lappelle aussi logarithme
naturel (celui-ci est d Nicolaus Mercator (en 1668)).
4.10
Fonction exponentielle
Intimement lie la fonction ln (cest sa fonction rciproque), la fonction exponentielle est dfinie
comme suit :
exp : R R
x 7 ex .
Il est important de se rappeler que la fonction exponentielle reste toujours strictement positive.
Cela sera trs utile de le savoir tout au long de ce semestre. Elle possde, entre autres, les proprits
suivantes :
66
Proprit 5 (Exponentielle)
1. Pour tous rels a et b,
ea+b = ea eb ,
eab =
ea
.
eb
(ea )n =
eln a = a, ln(ea ) = a et
eb ln a = ab .
Remarque
1. Le 3. de la proprit prcdente permet de dfinir la puissance quelconque dun rel strictement positif ab , o a est un rel strictement positif et b est un rel quelconque. Et les
proprits des puissances rationnelles marchent encore pour des puissances quelconques
si on les dfinit pour un rel a strictement positif.
67
2. On peut galement dfinir la fonction puissance quelconque (ou fonction puissance non
entire) de la faon suivante :
f : R+ R
x
7 x ,
o est un nombre rel quelconque.
On a alors les limites suivantes (que lon appelle croissances compares) (cest dire que lon
tudie la vitesse de croissance de certaines fonctions par rapport dautres)
Proprit 6 (Limites et exponentielles)
Soit x rel. On a alors les limites suivantes
lim ex = +,
x+
lim ex = 0,
(1 + a)x
= ea , o a R.
x+
x
lim
Soit un rel strictement positif, Soit un rel quelconque. On a alors les limites suivantes :
ex
= +,
x+ x
lim
4.11
ex
= +,
x+ x
lim
x
= +,
x+ (ln(x))
lim
lim x (ln(x)) = 0.
x0+
La trigonomtrie est connue depuis le collge. Les formules avec sinus, cosinus et tangente sont
connatre par cur (voir fiche de rappel la fin de cette section).
Ici nous ne nous intressons quaux fonctions et non pas aux formules. Nous avons :
4.11.1
Fonction sinus
4.11.2
Fonction cosinus
4.11.3
Fonction tangente
tan : R \
n
2
o
+ k , k Z R
7 tan(x) =
sin(x)
.
cos(x)
4.11.4
Fonction cotangente
cos(x)
.
sin(x)
Remarque Nous verrons dans la prochaine section quelques proprits des fonctions rciproques
de ces fonctions trigonomtriques.
70
4.12
Fonctions hyperboliques
Ces fonctions sont peut-tre nouvelles pour certains dentre vous. Elles sont trs utilises dans les
applications pratiques. Ce sont des combinaisons de fonctions exponentielles qui ont des proprits
assez similaires aux fonctions trigonomtriques.
Nous donnerons quelques proprits de ces fonctions la fin de cette section.
4.12.1
Le graphe de la fonction ch (que lon va dcrire ci-dessous) sur R dcrit une chanette appele
galement vlaire, ou catnaire. De faon trs concrte, il reprsente la forme dun cble fix aux
deux extrmits et soumis la pesanteur. Historiquement, larc de parabole semblait la forme la
plus intuitive pour dcrire la forme prise par un fil flexible pendant entre deux supports, cest du
moins ce que pensait Galile. Mais, trs vite, deux scientifiques : Joachim Jung en 1627 dun ct,
et Christian Huygens en 1646 de lautre apportrent la preuve du contraire.
Il faudra cependant attendre 1691 pour que simultanment, Leibniz, Jean Bernoulli et Huygens,
sous limpulsion dun dfi lanc par Jacques Bernoulli (le frre de Jean), dmontrent que la forme
exacte est une chanette (nom donn par Huygens dans une lettre adresse Leibniz). Cest cette
fonction ainsi que ses cousines appartenant la mme branche de ce que lon appelle les fonctions
hyperboliques qui trouveront une multitude dapplications en physique (notamment en architecture) et en biologie que nous allons tudier.
La fonction cosinus hyperbolique note ch est dfinie de la faon suivante :
ch : R R
x 7 ch(x) =
71
ex + ex
.
2
4.12.2
72
ex ex
.
2
4.12.3
4.12.4
sh(x)
.
ch(x)
7 coth(x) =
ch(x)
.
sh(x)
Remarque Nous verrons dans la prochaine section quelques proprits des fonctions rciproques
de ces fonctions.
Par construction, nous avons les formules suivantes.
73
74
4.13
Dans cette section nous ne nous intresserons quaux fonctions usuelles bijectives (celles pour lesquelles la fonction rciproque existe). Il faudra ici surtout sattacher aux domaines de dfinition de
ces fonctions rciproques.
Nous ne nous intresserons donc ni la fonction constante, ni la fonction partie entire, ni la
fonction valeur absolue qui ne sont pas bijective sur leur ensemble de dfinition.
Nous ne nous intresserons pas aux fonctions puissance entire, rationnelle, ou relle car elles ne
sont pas en gnral bijectives (certaines le sont quand mme, attention).
Nous ne nous intresserons pas la fonction identit (f : x 7 x) qui est bijective mais dont la
fonction rciproque est elle-mme.
Nous ne nous intresserons pas aux fonctions logarithme ln : x 7 ln(x) et exponentielle exp :
x 7 ex . Ces dernires sont bien bijectives galement, mais lune est la rciproque de lautre, et
donc leur tude revient crire la mme chose que dans la section prcdente.
Nous allons plutt nous intresser aux nouveauts. Il nous reste alors les fonctions homographiques , trigonomtriques et les fonctions hyperboliques (sauf cosh qui nest pas bijective sur
R).
4.13.1
4.13.2
La fonction sinus que lon note sin : R R nest videmment pas bijective. Il faut donc restreindre lensemble de dpart et celui darrive de telle sorte quelle le soit.
Intuitivement on va donc restreindre lensemble de dpart o la fonction sin est strictement monotone. Ds quelle commence changer de monotonie, on pose les limites du domaine.
Il est donc naturel de choisir la fonction sinus dfinie par :
sin : [ , ] [1, 1]
2 2
x
7 sin(x).
Dans ce cas l, la fonction sinus est bijective, et sa fonction rciproque est appele arc sinus que
lon note arcsin et que lon dfinit par :
arcsin : [1, 1] [ , ]
2 2
x
7 arcsin(x).
Remarque Comme la fonction sinus, la fonction arc sinus est :
1. strictement croissante,
2. impaire,
Remarque Il est important de souligner qutant donn que la fonction sin est dfinie sur R,
alors pour tout x [1, 1],
sin(arcsin(x)) = x,
dun autre ct, comme sin est valeurs dans [1, 1] pour tout x R, la fonction arcsin est dfinie
sur R tout entier. Mais attention,
arcsin(sin(x)) = x, seulement sur [ , ].
2 2
Si lon prolonge ce domaine, la fonction arcsin nest plus bijective.
76
4.13.3
La fonction cosinus cos : R R nest videmment pas bijective. Il faut donc restreindre lensemble de dpart et celui darrive de telle sorte quelle le soit.
Intuitivement on va donc restreindre lensemble de dpart o la fonction cos est strictement monotone. Ds quelle commence changer de monotonie, on pose les limites du domaine.
Il est donc naturel de choisir la fonction cosinus dfinie par :
cos : [0, ] [1, 1]
x
7 cos(x).
Dans ce cas l, la fonction cosinus est bijective, et sa fonction rciproque est appele arc cosinus
que lon note arccos et que lon dfinit par :
arccos : [1, 1] [0, ]
x
7 arccos(x).
Remarque Comme la fonction cosinus, la fonction arc cosinus est strictement dcroissante. Noter
quelle nest ni paire ni impaire.
Remarque Il est important de souligner ici aussi qutant donn que la fonction cos est dfinie
sur R, alors pour tout x [1, 1],
77
sin(arccos(x)) = x,
dun autre ct, comme sin est valeurs dans [1, 1] pour tout x R, la fonction arccos est
dfinie sur R tout entier. Mais attention,
arccos(cos(x)) = x, seulement sur [0, ].
Si lon prolonge ce domaine, la fonction arccos nest plus bijective.
4.13.4
Dans ce cas l, la fonction tangente est bijective, et sa fonction rciproque est appele arc tangente
que lon note arctan et que lon dfinit par :
, [
2 2
x
7
arctan(x).
arctan : R ]
79
4.13.5
, [
2 2
arctan(tan(x)) = x.
4.13.6
4.13.7
En ce qui concerne les fonctions hyperboliques, nous pouvons montrer que sur R valeurs dans
leur ensemble image, les fonctions sh et th sont bijectives (continues, strictement croissantes) mais
pas la fonction ch (qui est paire sur R. Nous donnerons donc la fonction rciproque de ch seulement sur lintervalle R+ .
Fonction rciproque de sh
La fonction rciproque de sh est la fonction que lon appelle argument sinus hyperbolique et que
lon note argsh
argsh : R R
x 7 ln(x + x2 + 1).
Fonction rciproque de ch
La fonction rciproque de ch est la fonction que lon appelle argument cosinus hyperbolique et que
lon note argch
argch : R+ [1, [
x
7 ln(x + x2 1).
Remarque Il faudra bien faire attention ici aux ensembles de dpart et darrive de la fonction
afin que ch soit bijective.
81
Fonction rciproque de th
La fonction rciproque de th est la fonction que lon appelle argument tangente hyperbolique et
que lon note argth
argth : R+ ] 1, 1[
1
1+a
x
7
ln(
).
2
1a
Remarque Pour les appelle-t-on fonctions hyperboliques ?
Nous savons (voir cours de lyce), que lquation x2 + y 2 = 1 pour tous x et y dans R est lquation du cercle centre en O(0, 0) et de rayon 1.
Daprs la dfinition du sinus et du cosinus, nous savons alors quil existe un angle t unique dans
[0, 2[ qui dfinira un seul point de ce cercle tel que x = cos(t) et y = sin(t).
Penchons nous maintenant sur lquation x2 y 2 = 1 pour tous x et y dans R. Daprs ce qui prcde, nous pouvons montrer quil existe un unique nombre t tel que y = sh(t), et en consquence
x = ch(t) pour x 0 (car x2 = 1 + y 2 = 1 + sh2 (t) = ch2 (t).
Et dans le plan R2 , lensemble des points (x, y) tels que x2 y 2 = 1 et x 0 est une branche
dhyperbole (voir cours sur les coniques).
Cette courbe est galement lensemble des points (ch(t), sh(t)), t R.
Cest la raison pour laquelle les fonctions sh et ch sont appeles fonctions hyperboliques.
82
Chapitre 5
Continuit des fonctions
(a) Bernard Bolzano (1781 1848), (b) Sylvestre-Franois Lacroix ou (c) Eduard Heine (1821 (Bernhard Placidus Johann Nepo- De la Croix (1765 - 1843), math- 1881), mathmaticien allemuk Bolzano), mathmaticien n maticien franais, reprend la notion mand a dfini la notion
et mort Prague ( lpoque dans de continuit dfinie par Euler, cas de continuit uniforme (que
lempire dAutriche) qui lon doit particulier de la continuit que nous nous naborderons pas ici)
la dfinition de la continuit.
connaissons.
F IGURE 5.1 Quelques mathmaticiens clbres lis ltude de la continuit. Noter que Cauchy
et Weierstrass ont jou un rle trs important dans cette tude, leur photo se trouvant dans des
chapitres prcdents, il a sembl plus judicieux de montrer dautres protagonistes qui ont contribu
llaboration de cette thorie.
Jusqu prsent nous ne nous sommes pas poss de questions propos de la continuit de
fonctions. Intuitivement, une fonction continue, est nos yeux une fonction dont le graphe est en
un seul morceau, sans coupure. cest ce qui semble le cas pour toutes les fonctions usuelles
vues dans le chapitre prcdent, sauf peut-tre la fonction partie entire, et les fonctions inverses
et homographiques. Voyons dans ce chapitre comment formaliser mathmatiquement la notion de
continuit. Un peu comme nous lavons fait pour dfinir la notion de limite de fonctions.
Dans tout ce chapitre, nous considrons I comme un intervalle de R non vide, non rduit un
point, et nous considrons a comme un point de I.
83
5.1
Caractrisation de Weierstrass
Commenons par donner la dfinition de la continuit dune fonction en un point que lon appelle
caractrisation de Weierstrass).
Dfinition 1 (Caractrisation de Weierstrass)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point.
Soit a un point de I.
La fonction f est dite continue en a si pour tout rel > 0, il existe un autre rel > 0
(qui dpend du choix de ) tel que pour tout x de I
si |x a|
Remarque
1. En dautres termes, dire quune fonction est continue signifie que sa courbe reprsentative
ne prsente pas de sauts.
2. Le rel dpend la fois du que lon va choisir, mais galement du point a. Il peut tre
diffrent suivant le point a que lon tudiera.
La dfinition prcdente peut se caractriser de la faon suivante en termes de limites :
Dfinition 2 (Continuit et limite)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point. On
dit que la fonction f est continue en I si et seulement si
lim f (x) = f (a).
xa
De faon similaire on utiliserait la limite gauche pour parler de continuit gauche et de limite
droite pour parler de continuit droite.
Dfinition 3 (Continuit gauche et droite)
Soit f une fonction dfinie sur un intervalle I de R, non vide et non rduit un point.
Soit a un point de I.
1. La fonction f est dite continue gauche de a si et seulement si
lim f (x) = f (a).
xa
xa+
84
5.2
Comme pour les limites, nous pouvons noncer quelques proprits de continuit qui peuvent tre
conserves des oprations sur les fonctions.
Proprit 1 (Continuit et oprations sur les fonctions)
Soient f et g deux fonctions de I intervalle de R. Supposons que f et g sont continues
en a un rel de I. On a alors les proprits suivantes :
1. la fonction f + g est continue en a,
2. pour tout rel k, la fonction kf est continue en a,
f
3. si g(a) 6= 0, la fonction est continue en a.
g
En consquence,
1. une fonction polynme est continue sur R,
2. toute fonction rationnelle f dfinie pour tout x dans lintervalle I de R par f (x) =
P (x)
o P et Q sont des polynmes dfinis sur I avec Q(x) 6= 0 sur I, est
Q(x)
continue sur I.
xa
Remarque En consquence, la compose de deux fonctions continues est continue. Attention toutefois, il faut de la continuit des fonctions dans leur domaines. Dans tous les cas, de toute faon,
quand on tudie les fonctions composes, les domaines et images de fonctions sont manipuler
avec prcaution. Rajouter de la continuit, ne fait que rajouter des prcautions supplmentaires
dans leur tude.
85
Il arrive quelques fois que certaines fonctions, par leur dfinition ne soient pas continues. Mais
en les dessinant on saperoit que leur graphe possde juste un trou que lon peut facilement
boucher par un point, afin de recoller la courbe qui les reprsente. En les rebouchant on dit que
lon peut les prolonger par continuit. Do la proposition suivante :
Cette proposition pourra savrer utile dans le chapitre des quations diffrentielles, lorsque lon
cherchera des solutions maximales sur deux intervalles spars dun point que lon peut recoller
en solution globale sur lunion de ces intervalles incluant ce point.
La proprit suivante permet de dfinir la continuit des fonctions usuelles.
86
10. fonctions circulaires dfinies sur R pour sinus et cosinus, et R \ { } pour tan2
gente,
11. fonction hyperboliques dfinie sur Df = R
sont continues sur leur ensemble de dfinition.
5.3
Nous introduisons dans cette section les thormes fondamentaux sur la continuit auxquels vous
ne pourrez pas chapper. Ils forment la base de la connaissance de lanalyse pour les semestres
suivants.
Commenons par lun des thorme intuitivement facile noncer.
Thorme 1 (Thorme de Bolzano)
Soit f : [a, b] R une fonction continue. Si f (a) et f (b) sont tels que f (a)f (b) < 0
alors il existe c ]a, b[ tel que f (c) = 0.
Remarque Noter que si f (a) (ou f (b)) est nul, alors automatiquement il existe au-moins c tel
que f (c) = 0, puisque c = f (a) (ou f (b)).
87
Remarque Ce thorme permet de dire que limage dun intervalle est un intervalle.
Thorme 3 (Thorme de Weierstrass (bornes atteintes))
Soit f une fonction dfinie et continue sur un segment [a, b] de I intervalle de R (autrement dit sur un intervalle ferm et borne de I). Alors il existe deux rels c1 et c2 dans
[a, b] tels que pour tout x dans [a, b],
f (c1 ) f (x) f (c2 ).
Remarque Ce thorme signifie que si f est continue sur un intervalle ferm born, alors f est
aussi borne et atteint des bornes.
Remarque Une consquence de ce thorme est la proposition suivante :
pour tous rels a et b avec a < b et f : [a, b] R est continue, alors f ([a, b]) est un segment.
5.4
Remarque Attention, il faut que la fonction soit monotone pour avoir le rsultat. En gnral, si
limage par une fonction f dun intervalle est un intervalle, alors f nest pas forcment continue.
Exemple Si lon considre la fonction suivante
f: R R
(
x 7 f (x) =
88
1
sin( ), si x 6= 0,
x
k,
si x = 0,
Pour avoir la rciproque, nous sommes obligs de supposer la continuit de f , sinon cela ne marche
pas.
Proposition 4 (Continuit et injectivit)
Soit f une fonction dfinie sur I intervalle de R. Si f est injective et continue sur I alors
elle est ncessairement strictement monotone.
Remarque Attention, une fonction injective et non continue nest pas forcment monotone.
On peut par exemple considrer une fonction continue par morceaux donc chaque morceau est soit
strictement croissant soit strictement dcroissant.
Thorme 4 (Continuit et bijectivit)
Soit f une fonction dfinie sur I intervalle de R. Si f est injective et continue sur I et si
on pose J = f (I) (limage de I par f ), et si lon considre la fonction g :
g: I J
x 7 g(x) := f (x),
alors la fonction g est bijective et sa fonction rciproque g 1 est continue.
Remarque
1. Les hypothses du thorme prcdent signifient que la fonction g permet de restreindre
lensemble darrive I de la fonction f injective et continue son image J = f (I) de telle
sorte que g soit, par construction la fois injective et surjective donc bijective.
2. Comme daprs la proposition prcdente (continuit et injectivit) la fonction f est strictement monotone, alors sa fonction rciproque est aussi strictement monotone, et de mme
sens de variation que f .
89
90
Chapitre 6
Drive dune fonction
(a) Sir
Isaac
Newton
(16421727), Newton partage avec Gottfried Wilhelm
Leibniz la dcouverte du calcul
infinitsimal. Dans lhistoire du
calcul infinitsimal, le procs
de Newton contre Leibniz est
rest clbre. Newton et Leibniz
avaient trouv lart de lever les
indterminations dans le calcul
des tangentes ou drives.
F IGURE 6.1 Quelques mathmaticiens clbres lis ltude de la drivabilit des fonctions.
Noter que Cauchy et Weierstrass ont jou un rle trs important dans cette tude, leur photo se
trouvant dans des chapitres prcdents, il a sembl plus judicieux de montrer dautres protagonistes
qui ont contribu llaboration de cette thorie.
Ce chapitre se trouve dans la suite logique des chapitres prcdents. Ainsi, aprs avoir dfini
les fonctions, tudi leurs limites et leur continuit, nous pouvons dsormais nous intresser un
aspect important de la thorie de lanalyse : les drives. Le dveloppement la fois de la thorie et
des applications dans ce domaine prcis sest normment dvelopp depuis sa cration officielle
91
6.1
Dfinition de la drivabilit de f
Avec les dfinitions des limites, nous avons dsormais toutes les cartes en main pour dfinir la
notion de drive dune fonction.
Dfinition 1 (Drive en un point)
Soit f une fonction dfinie sur un intervalle I de R. Soit a un point de I. On dit que f
est drivable en a si la fonction suivante (appele taux daccroissement),
g : I {a} R
f (x) f (a)
x
7
,
xa
possde une limite finie l au point a.
Dans ce cas l, on note la limite l de la faon suivante :
f (x) f (a)
= f 0 (a).
xa
xa
f (x) f (a)
a une limite gauche
xa
92
Remarque On peut dfinir la drive dune fonction f en un point a dune autre faon.
Si lon considre la fonction a dfinie de la faon suivante :
a : Df \ {a} R
x
7 a (x) =
f (x) f (a)
f 0 (a).
xa
6.2
Drivabilit et continuit
93
6.3
Remarque Lorsquon drive des fonctions composes on peut faire une analogie avec des poupes russes. Les fonctions dans la composition sembotent les unes dans les autres. Et lorsque lon
drive cette composition de fonctions, cela revient enlever les poupes les unes aprs les autres.
Et chaque fois quon en retire une on la drive au point correspondant lintrieur des poupes
encore ranges que lon na pas encore touches.
Une des consquences de la proposition prcdente est la drive de la rciproque dune fonction.
94
1
f 0 (f 1 (b))
6.4
f0
1
.
f 1
Drive et monotonie
Proposition 7 (drive dune fonction constante)
Soit f une fonction drivable sur I intervalle de R. Alors f est constante si et seulement
si sa drive f 0 est identiquement nulle sur I.
95
6.5
Drives et extrema
Remarque
96
1. Attention cela ne marche dans le cadre gnral que si I est un ouvert (autrement on ne
prend pas les bords de lintervalle I en compte) !
2. Attention la rciproque de cette proposition est fausse en gnral !
6.6
Nous en arrivons aux thormes fondamentaux. Ces thormes comme leur nom lindique sont
essentiels pour la suite du cours danalyse. Ils seront utiliss souvent dans les preuves de propositions ou thormes ainsi que dans la rsolution dune grande varit dexercices.
Remarque Attention, si jamais f nest pas drivable sur lintervalle, il se peut que la fonction
possde un extremum sans quune seule valeur de la drive de f (l o f est drivable) sannule.
97
Remarque Attention : la drive dune fonction f na pas toujours pour limite f 0 (a) au point a.
Ce qui signifie que la drive dune fonction drivable na pas de raison dtre continue.
Exemple
La fonction suivante est un exemple classique de fonction drivable dont la drive nest pas
continue.
f: R R
2
x sin(1/x) si x 6= 0,
x 7
0
si x = 0
est drivable en 0 mais nest pas continue en ce point puisque que sa drive nadmet pas de limit
en 0.
98
si lim
xa
f 0 (x)
f (x)
=
l
alors
lim
=l
xa g 0 (x)
xa g(x)
si lim
Remarque
1. Dans la proposition prcdente, la limite l peut tre finie ou infinie.
0 00
2. La rgle de lHpital nest utiliser quen cas dindtermination de la forme pour la
0
00
version 1 ou
pour la version 2.
3. On peut utiliser la rgle de lHpital en drivant plusieurs fois (sous rserve que les drives successives existent).
4. Ces deux versions ne donnent que des conditions suffisantes pour avoir la limite. Cest
dire que la rciproque est fausse. Il se peut que la limite du quotient des drives nexiste
pas alors que la limite du quotient. existe.
Un exemple illustrant le dernier point de la remarque est donn par le calcul de
x2 sin(1/x))
f (x)
= lim
= lim x sin(1/x) = 0,
x0
x0
x0 g(x)
x
lim
tandis que
f 0 (x)
2x sin(1/x) cos(1/x)
=
lim
,
x0 g 0 (x)
x0
1
lim
6.7
Commenons par donner les drives qui sont supposes tre connues depuis le Lyce et donc,
supposes tre parfaitement matrises non seulement par leurs formulation mais galement leur
domaine de dfinition.
99
Fonction f
Df 0
a (a R)
x2
2x
1
x
1
x2
R ou R
xn (n Z)
R+
R+
R+
R ou R
x (n N)
R+
Drive f 0
nxn1
1
2 x
1
n
n xn1
R+
x ( R)
R+
x1
R+
ln(x)
R+
1
x
ex
ex
sin(x)
cos(x)
cos(x)
sin(x)
Viennent ensuite les drives qui sont nouvelles cette anne. Leurs valeurs sont importantes
connatre, surtout lorsque lon abordera le chapitre sur les quations diffrentielles avec les drives
mais galement les primitives des fonctions usuelles connatre. Encore une fois, les ensembles
de dfinitions sont aussi important que les formulations des drives.
100
Fonction f
Df 0
Drive f 0
R+
ln(x)
R+
1
x
ex
ex
ax (a > 0)
ln(a)ax
sh(x)
ch(x)
ch(x)
sh(x)
th(x)
coth(x)
argsh(x)
[1, [
argch(x)
]1, [
] 1, 1[
argth(x)
] 1, 1[
101
1
= 1 th2 (x)
ch(x)2
1
= 1 coth2 (x)
sh(x)2
1
1 + x2
1
x2 1
1
1 x2
R\{
6.8
Df
Fonction f
sin(x)
cos(x)
cos(x)
sin(x)
+ k}
2
1
= 1 + tan2 (x)
cos2 (x)
1
= 1 cotan2 (x)
sin2 (x)
1
1 x2
1
1 x2
1
1 + x2
+ k} (k Z)
2
tan(x)
Df 0
R\{
R \ {k} (k Z)
cotan(x)
R \ {k}
[1, 1]
arcsin(x)
] 1, 1[
[1, 1]
arccos(x)
] 1, 1[
arctan(x)
Drive f 0
Drives successives
6.8.1
Drive ni`eme
102
6.8.2
Classes de fonction
6.8.3
Fonction de classe C n , n N
Dfinition 5 (classe C n )
Soit n un entier non nul. Soit f une fonction dfinie sur un intervalle I de R.
On dit que f est de classe C n sur I si f est n fois drivable sur I et sa drive ni`eme f (n)
est continue sur I.
Si n = 0 on dit juste que f est continue (de classe C 0 sans tre ncessairement drivable.
6.8.4
Fonction de classe C
Dfinition 6 (classe C )
Soit f une fonction indfiniment drivable sur I intervalle de R.
On dit que f est de classe C sur I si pour tout entier naturel n, f est de classe C n sur
I.
6.8.5
6.8.6
La drive ni`eme dun produit de fonctions est un peu plus compliqu. Elle porte un nom : cest
la formule de Leibniz.
103
(f g) =
n
X
Cnk f k g nk .
k=0
Cnk
que lon crit galement
n
k
est le nombre dfini
par :
Cnk =
n!
.
k!(n k)!
Remarque Si lon considre une fonction g qui ne sannule pas sur I on peut dfinir la drive
f
ni`eme dun quotient de fonctions en reprenant la formule prcdente mais en multipliant f par
g
1
au lieu de g.
g
6.8.7
Contrairement la formule de Liebniz qui doit tre connue par coeur, celle de Fa di Bruno nest
donne ici qu titre indicatif (elle nest pas au programme). Elle permet de voir quils est possible
de calculer la drive ni`eme de la compose de deux fonctions, mais la formulation reste quand
mme bien complique.
Proposition 16 (Formule de Fa di Bruno)
Soient f : I J et g : J K deux fonctions avec I, J et K des intervalles de R, et n
un entier naturel. On suppose que f est n fois drivable sur I et g est n fois drivable J .
Alors la fonction compose g f est galement n fois drivable sur I et
0 (b1 ) 00 (b2 ) (m) (bm )
X
m!
f (t)
f (t)
f (t)
k
n
(g f ) = n!
g f
...
b1 !b2 !...bm !
1!
2!
m!
o, la somme est sur toutes les diffrentes solutions entiers naturels b1 , b2 , ...,bm de lquation
b1 + 2b2 + ... + mbm ,
et k := b1 + b2 + ... + bm
104
6.9
Fonctions convexes
Les fonctions convexes sont trs utiles dans plusieurs domaines des mathmatiques appliques et
notamment dans le domaine de loptimisation. Nous verrons dailleurs dans cette section comment
elles sont relies aux extrema.
Commenons par donner dabord une dfinition de ces fonctions.
Dfinition 7 (Fonction convexe)
Soit f une fonction dfinie sur un intervalle I de R. On dit que f est convexe si et
seulement si pour tous x et y dans I
f (tx + (1 t)y) tf (x) + (1 t)f (y),
pour tout t [0, 1].
La fonction f est dite concave si f est convexe.
f (b) f (a)
.
ba
105
Nous pouvons dsormais donner quelques rsultats reliant la convexit avec les extrema. Mais
auparavant, rappelons un rsultat reliant les extrema avec les drives et drives secondes dune
fonctions.Nous nous focaliserons sur les minima (les rsultats sur les maxima sont analogues en
considrant f plutt que f ).
Proposition 19 (Drive et minimum)
Soit f une fonction dfinie sur un intervalle ouvert I de R et drivable en a I.
1. Si a est un minimum local alors f 0 (a) = 0.
2. Si de plus, f est deux fois drivables en a, alors f 00 (a) 0
Inversement
Si b I est tel que f 0 (b) = 0 et si f 00 (b) > 0 alors b est un minimum local strict (avec
les ingalits strictes) de f .
Remarque Attention :
1. les conditions f 0 (a) = 0 et f 00 (a) 0 ne sont pas suffisantes (sauf si f est convexe).
Exemple : f : x 7 x3 est telle que f 0 (0) = 0 et f 00 (0) = 0 mais 0 nest pas un minimum
local.
2. Dautre part, la condition f 00 (a) > 0 nest pas ncessaire.
Exemple : f : x 7 x4 est telle que f 0 (0) = 0 et f 00 (0) = 0 et pourtant 0 est bien minimum
de f .
Proposition 20 (Convexit et minimum)
Soit f une fonction dfinie sur un intervalle ouvert I de R et deux fois drivable sur I.
Soit a I. On a alors
f 0 (a) = 0 est quivalent a minimum de f sur I.
106
Chapitre 7
Les suites
(a) Augustin Louis Cauchy (1789 (b) Leonardo Fibonacci (' 1175 - (c) Blaise Pascal (1623- 1662), ma- 1857), mathmaticien franais, ' 1250), un mathmaticien italien thmaticien franais, dcrivit dans le
qui a tablit entre autres chose un galement appel Lonard de Pise, trait du triangle arithmtique en
critre de convergence des suites est connu pour la suite qui porte 1654 ce qui allait le raisonnement par
qui porte son nom.
son nom et quil a introduite dans le rcurrence comme on lentend de nos
Liber Abaci (Le livre des calculs) jours.
en 1202.
Un cas particulier de fonctions, est les suites. Cest un cas particulier dans le sens o lensemble
de dpart nest pas rel mais dans les entiers naturels.
Ce chapitre est ddi ltude des suites numriques qui seront valeurs dans les rels. Certains
rsultats seront valables pour les complexes mais nous resterons ici dans les rels.
107
7.1 Dfinition
7.1
Les suites
Dfinition
Dfinition 1 (Suites relles)
On appelle suite relle toute application
N R
.
n 7 un
On note une telle application (un )nN .
Le nombre un est appel terme gnral de la suite (un )nN .
Remarque On appellera aussi suite les applications dont lensemble de dpart est N priv de ses
premiers lments jusqu un certain rang.
On peut dfinir les suites de deux faons diffrentes.
1. Soit directement par une formule, en gnral une fonction f , et on a pour tout n N
un = f (n),
cest ce quon appelle une formulation explicite de la suite.
2. Soit en exprimant un+1 en fonction du terme prcdent un et en dfinissant une valeur
initiale, comme par exemple :
un+1 = f (un ),
u0 = a.
cest ce quon appelle une formulation par rcurrence.
7.2
Il existe deux suites classiques que lon rencontrera assez souvent. Les suites arithmtiques et les
suites gomtriques.
7.2.1
Suites arithmtiques
108
Les suites
7.2.2
Suites gomtrique
Il est possible de donner la formulation explicite de chacune de ces suites grce la proposition
suivante.
Proposition 1 (Formulation explicite suites arithmtiques et gomtriques)
1. Le terme gnral dune suite arithmtique de raison a et de premier terme u0 est
un = u0 + na.
2. Le terme gnral dune suite gomtrique de raison r et de premier terme u0 est
un = u0 rn .
7.3
Rcurrence dordre 2
Il se peut que lon dfinisse les suites par une rcurrence dordre suprieure 1 comme formule dans la section prcdente. Un cas particulier que lon va tudier est la rcurrence dordre 2
(dans le cas le plus simple, le cas linaire).
Dfinition 4 (Rcurrence dordre 2)
Toute suite (un )nN dfinie par la formulation rcurrente linaire dordre 2 scrit de la
faon suivante
un+1 = bun + cun1
u0 = a0 , u1 = a1 ,
pour tout n N , o a et b sont des rels donns.
Les suites
r2 br c = 0.
On a alors la proposition suivante.
Proposition 2 (Formulation explicite suites rcurrentes dordre 2)
1. Si lquation caractristique r2 br c = 0 possde 2 solutions relles distinctes r1 et r2 , le terme gnral de toute suite relle satisfaisant la formulation de
rcurrence linaire dordre 2 est de la forme
un = 1 r1n + 2 r2n ,
avec 1 et 2 deux rels.
2. Si lquation caractristique r2 br c = 0 possde 1 solution relle r0 6= 0,
le terme gnral de toute suite relle satisfaisant la formulation de rcurrence
linaire dordre 2 est de la forme
un = 1 r0n + 2 nr0n ,
avec 1 et 2 deux rels.
3. Si lquation caractristique r2 brc = 0 possde 2 solutions complexes conjugues r = ei et r = ei , le terme gnral de toute suite relle satisfaisant la
formulation de rcurrence linaire dordre 2 est de la forme
un = 1 n cos(n) + 2 n sin(n),
avec 1 et 2 deux rels.
7.4
Limite de suites
7.4.1
Introduction
n+
110
Les suites
n+
n+
n+
Remarque Il est important de remarquer ici que dans le cas la limite finie, une ingalit stricte
sur le terme gnral de la suite entrane seulement une ingalit large sur la limite !
111
Les suites
Remarque Une suite (un )nN est borne si et seulement si la suite (|un |)nN est majore.
Remarque Pour que tout soit bien clair, il parat ncessaire de faire le point sur un peu de
vocabulaire : en effet, il ne faut pas confondre suite convergente et suite qui admet une limite.
Nous allons le dcrire dans le tableau qui suit.
7.4.2
A linstar de ce qui a t dit sur les limites de fonctions, les rsultats doprations sur les limites de
suites sont analogues.
112
Les suites
n+
lim vn
lim (un + vn )
n+
n+
l1
l2
l1 + l2
l1
Forme indtermine
n+
lim vn
lim un vn
n+
n+
l1
l2
l1 l2
l1
Forme indtermine
113
Les suites
n+
7.4.3
un
n+ vn
l1
l2
lim vn
lim
n+
l1
l2 (6= 0)
l1
l1
Forme indtermine
Forme indtermine
Toujours de faon analogue aux rsultats sur les fonctions, nous avons des rsultats sur les comparaisons de suites, ainsi que le thorme des gendarmes pour les suites.
114
Les suites
un vn ,
alors lim vn = +,
n+
vn un ,
alors lim vn =
n+
alors l 0.
n+
Nous avons galement le rsultat suivant qui pourra savrer trs utile pour certaines preuves dans
les exercices rencontrs.
Proposition 7 (Recollement)
Si la suite (un )nN est telle que les suites (vn )nN et (wn )nN dfinies par
vn = u2n et wn = u2n+1 , quel que soit n N
ont mme limite l (finie ou infinie), alors (un )nN a pour limite l.
Remarque Il est important de faire attention dans cet nonc au fait que les suites (vn )nN et
(wn )nN aient la mme limite. Si ce nest pas le cas, la suite (un )nN na pas de limite.
115
7.5
Les suites
7.6
Suites adjacentes
Dfinition 9 (Suites adjacentes)
Soient (un )nN et (vn )nN deux suites de rels. On dit quelles sont adjacentes si et
seulement si
1. lune des suites est croissante,
2. lautre suite est dcroissante,
3.
lim (un vn ) = 0.
n+
116
Les suites
7.7
n+
n+
Suites extraites
Dfinition 10 (Suites extraites)
Etant donne une suite (un )nN , on dit que (vn )nN est une suite extraite ou encore une
sous-suite, sil existe une application
: N N strictement croissante,
telle que pour tout n N, vn = u(n) .
Proprit 6 (Proprit de )
Si : N N est une application strictement croissante, alors pour tout n N, on a
(n) n.
En particulier, la suite (wn )nN := (n) a pour limite +.
Thorme 2 (Bolzano-Weierstrass)
De toute suite relle borne on peut en extraite une sous-suite convergente.
7.8
Critre de Cauchy
Il se peut que lon ait besoin de montrer quune suite est convergente sans ncessairement calculer
explicitement sa limite. Cest le cas par exemple quand cette limite est difficile trouver. Il existe
alors un critre qui marche bien pour les suites relles. Cest le critre de Cauchy. Avant de le
dfinir, commenons par introduire les suites de Cauchy.
117
Les suites
Remarque Attention : mme si toute suite convergente est de Cauchy, la rciproque (toute suite de
Cauchy est convergente) nest pas vraie dans nimporte quel ensemble. Ici, nous travaillons dans
R, et a marche. Mais il faut absolument que lon se trouve dans un ensemble sans trou, que
lon appelle galement ensemble complet. Par exemple, cela ne marcherait pas dans lensemble Q
des rationnels qui nest pas complet.
7.9
Fonctions et suites
Proposition 11 (Suites et fonctions continues)
Soient f : I R et (un )nN une suite convergente telles que :
1. si lim un = l,
n+
2. f est continue en l,
alors lim f (un ) = f (l).
n+
118
Chapitre 8
Equations diffrentielles
(a) Charles mile Picard (b) Rudolph Otto Sigismund Lip- (c) Jacques ou Jakob Bernoulli (1654
(1856-1941) , mathmaticien schitz (1832- 1903), mathmaticien - 1705), mathmaticien suisse, frre de
franais a, avec Painlev et allemand, les fonctions qui portent Jean Bernoulli, oncle de Daniel et NiPoincar modernis lanalyse son nom sont trs utiles pour lexis- colas Bernoulli, proposa lquation difdes quations diffrentielles. tence et unicit des solutions dqua- frentielle qui porte son nom qui fut rtions diffrentielles.
solue par Leibniz.
F IGURE 8.1 Quelques mathmaticiens clbres lis ltude des quations diffrentielles. Il y en
a une multitudes, et certains comme Cauchy ont dj t cit dans des chapitres prcdents.
Aprs avoir appris rsoudre des quations du type f (x) = 0, o linconnu est le nombre x, les
mathmaticiens on d laborer des problmes o ce ntait pas x mais la fonction f llment
trouver. Ces quations faisant intervenir des drives (et donc par dfinition des diffrences infinitsimales), on les a appeles naturellement quations diffrentielles. En gnral on gardera la
notation x pour linconnue, mais cette fois-ci x sera une fonction qui dpendra dans la majorit des
cas dune variable t (pour permettre une analogie avec le temps et des applications en physique,
chimie ou biologie).
Avant dapprendre les rsoudre, nous allons dabord apprendre les classifier.
119
8.1
Equations diffrentielles
Equation simple
Nous allons commencer par tudier les quations les plus simples.
8.1.1
Equation x0 = 0
8.1.2
Equation x0 = ax(t)
Equations diffrentielles
(t0 ) = 0 .
Nous venons donc de donner lunique solution de lquation diffrentielle ordinaire linaire homogne dordre 1 sous forme normale coefficients constants avec une condition initiale.
Mais que veulent dire quations diffrentielles ordinaires, linaire, ordre 1, homogne, sous forme
normale ? Ce sont tous ces termes que nous allons dfinir dans la prochaine section.
8.2
8.3
Equation linaire
(8.2)
8.4 Solutions
Equations diffrentielles
(8.3)
avec tous les x(i) de degr 1 et tous les coefficients dpendant au plus de t.
Exemple
Dire si les quations diffrentielles suivantes sont linaires, ou non linaires, et donner leur ordre
(on justifiera la rponse) :
8.4
i. (x t)dt + 4tdx = 0
iii.
dx
d3 x
+ t 5x = et
3
dt
dt
iv. (1 x)x0 + 2x = et
v.
d2 x
+ sin x = 0
dt2
vi.
d4 x
+ x2 = 0
dt4
Solutions
Dfinition 4 (Solution)
On appelle solution (ou intgrale) dune quation diffrentielle dordre n sur un certain
intervalle I de R, toute fonction x dfinie sur cet intervalle I, n fois drivable en tout
point de I et qui vrifie cette quation diffrentielle sur I.
On notera en gnral cette solution (x, I).
Si I contient sa borne infrieure note a (respectivement sa borne suprieure b), ce sont
des drives droite (respectivement gauche) qui interviennent au point t = a (respectivement t = b).
Intgrer une quation diffrentielle consiste dterminer lensemble de ses solutions.
122
Equations diffrentielles
8.5
8.5.1
Dfinition
8.5.2
Primitives
Afin de rsoudre les quations diffrentielles, il faut que lon se replonge dans les notions de primitives et dintgrales que nous ne dvelopperons pas beaucoup ici. Nous resterons principalement
sur les acquis de terminal. Le cours sur les intgrales tant dvelopp dans les semestres suivants.
On admettra que toute fonction f continue sur I R peut sexprimer comme la drive dune
fonction drivable sur I. On dira ainsi que f admet une primitive.
Dfinition 6 (Primitive)
Une fonction F : I R R est une primitive dune fonction f : I R si
1. F est drivable, et
2. F 0 = f .
Z
On note souvent F (t) =
f (t)dt.
123
Equations diffrentielles
f (t) f (t0 ) =
f 0 (s)ds.
t0
Corollaire 1 (Intgrale)
Soient f une fonction continue sur I un intervalle de R et f une primitive de f sur I.
Soient a, b I alors
Z b
f (t)dt = F (b) F (a).
a
Pour calculer les primitives des fonctions usuelles on se rfre au tableau du chapitre 6.
Commenons par donner les primitives qui sont supposes tre connues depuis le Lyce et donc,
supposes tre parfaitement matrises non seulement par leurs formulation mais galement leur
domaine de dfinition.
124
Equations diffrentielles
Fonction f
c (c R)
a (a R)
at + c (c R)
t2
1
t
R ou R
tn (n Z)
DF
R ou R
Primitives F
t2
+ c (c R)
2
t3
+ c (c R)
3
ln(t) + c (c R)
tn+1
+ c (c R)
n+1
t3/2
+ c (c R)
3
nx(n+1)/n
+ c (c R)
n1
t+1
+ c (c R)
+1
R+
R+
R+
n
t (n N)
R+
R+
t ( R)
R+
R+
ln(t)
R+
t ln(t) t + c (c R)
ex
ex + c (c R)
sin(x)
cos(x) + c (c R)
cos(x)
sin(x) + c (c R)
Viennent ensuite les primitives qui sont nouvelles cette anne. Encore une fois, les ensembles de
dfinitions sont aussi important que les formulations des primitives.
125
Equations diffrentielles
Fonction f
DF
Primitives F
R+
ln(t)
R+
t ln(t) t + c (c R)
et
et + c (c R)
at (a > 0)
at
+ c (c R)
ln(a)
sh(t)
ch(t) + c (c R)
ch(t)
sh(t) + c (c R)
th(t)
ln(cosh(t)) + c (c R)
coth(t)
ln(|sh(t)|) + c (c R)
argsh(t) + c (c R)
]1, [
argch(t) + c (c R)
] 1, 1[
argth(t) + c (c R)
R
[1, [
] 1, 1[
2
t +1
1
2
t 1
1
1 t2
126
Equations diffrentielles
R\{
Df
Fonction f
sin(t)
cos(t) + c
cos(t)
sin(t) + c
+ k}
2
tan(t) + c
+ k} (k Z)
2
R \ {k} (k Z)
[1, 1]
[1, 1]
R
DF
1
= 1 + tan2 (t)
cos2 (t)
1
= 1 cotan2 (t)
sin2 (t)
1
1 t2
1
1 t2
1
1 + t2
R\{
Primitives F
R \ {k}
cotan(t) + c
] 1, 1[
arcsin(t) + c
] 1, 1[
arccos(t) + c
arctan(t) + c
8.5.3
Commenons par rsoudre une quation linaire dordre 1 sans second membre. On lappelle quation linaire du premier ordre homogne. Cest une quation de la forme
a(t)x0 + b(t)x = 0.
(8.5)
Equations diffrentielles
b(t)
)dt et K R.
a(t)
Si en plus il existe t0 dans I tel que x(t0 ) = x0 avec x0 R alors il existe une unique
solution dfinie pour tout t I par
avec F (t) =
x(t) = x0 eF (t) ,
Z
avec F (t) =
(
t0
b(s)
)ds et K R.
a(s)
Remarque
La solution x 0 sur I est appele solution dgnre de lquation linaire homogne.
8.5.4
Considrons lquation
a(t)x0 + b(t)x = d(t),
sur lintervalle I o a ne sannule pas.
128
Equations diffrentielles
b(t)
)dt.
a(t)
Si en plus il existe t0 dans I tel que x(t0 ) = x0 avec x0 R alors il existe une unique
solution dfinie pour tout t I par
Z s
Z t
Z t
b(s)
b()
d(s)
x(t) = x0 +
exp
d ds exp
ds .
t0 a()
t0 a(s)
t0 a(s)
o K R et F (t) =
Remarque
La mthode frquemment utilise pour trouver une solution de lquation linaire non homogne
partir de lquation homogne est appele mthode de variation de la constante.
8.5.5
Cas particulier
x(t) = x0 e
e(ts) f (s)ds,
t0
8.5.6
Existence et unicit
Equations diffrentielles
8.6
8.6.1
Dfinition
8.6.2
Considrons ici lquation diffrentielle linaire dordre 2 sans second membre coefficients
constants. Cette quation scrit
ax00 + bx0 + cx = d,
avec deux conditions initiales en t0
x(t0 ) = x0 et x0 (t0 ) = x1 .
Nous avons alors le rsultat suivant
130
Equations diffrentielles
131