3.4. CONVERGENCE ET POINTS FIXES, CAS DES FONCTIONS D´
ERIVABLES 29
Remarque 3.4.4. — Une fonction contractante est uniform´ement continue. En effet,
soit fune fonction contractante sur I. Alors on a pour tous xet ydans I:si|x−y|≤ε,
alors |f(x)−f(y)|≤|x−y|≤ε.
Une bonne fa¸con d’ˆetre contractante est d’avoir une d´eriv´ee strictement
major´ee par 1sur un intervalle born´e :
Proposition 3.4.5. — On suppose fcontinue sur Iet supx∈I|f�(x)|<1.
Alors fest contractante.
D´emonstration. — Notons k= supx∈I|f�(x)|. Par l’in´egalit´e des accroisse-
ments finis sur I, on a pour tous xet yde I:|f(y)−f(x)|≤k|y−x|. Comme
k < 1, on obtient bien que la fonction est k-contractante.
Remarque 3.4.6. — Si fest continˆument d´erivable et que Iest born´e, on
sait que |f�|atteint ses bornes sur I. Donc il suffit d’avoir pour tout x∈I,
|f�(x)|<1pour entrer dans le cadre de la proposition pr´ec´edente.
Th´eor`eme 3.4.7. — On suppose que Iest ferm´e et fest continue et k-
contractante sur I. Alors : (QC)
1. fadmet un unique point fixe ldans I(th´eor`eme du point fixe de Banach).
2. Pour tout u0∈I, la suite d´efinie par un+1 =f(un)converge vers l, et
on a :
|un−l|≤kn|u0−l|.
D´emonstration. — On traite ici le cas de Iferm´e born´e (3). On sait alors d´ej`a
que fa un point fixe dans I. Si let l�sont points fixes, on a |l−l�|=
|f(l)−f(l�)|≤k|l−l�|. Comme k < 1, ce n’est possible que si l=l�. Le point
fixe est donc unique.
Par d´efinition, on a |un+1 −l|=|f(un)−f(l)|< k|un−l|. On montre ainsi
par r´ecurrence que |un−l|≤kn|u0−l|.Ainsi, (un)tend vers l.
Exemple 3.4.8. — Consid´erons la fonction f(x) = 1
2x+3
xet choisissons
le premier terme u0= 2.
L’intervalle I= [√3,+∞[est stable. La d´eriv´ee y est comprise entre 0et
1
2. Donc la fonction est 1
2-contractante. √3est le seul point fixe sur I.
Donc la suite converge vers √3,et|un−√3|≤1
2n|2−√3|≤1
2n.
En pratique, en partant de u0= 2 : on calcule u1= 7/4=1,75,u2=
1,7321428...,u3= 1,73205081...,u4= 1,7320508075688... et √3=1,7320508075688...
3. Le cas g´en´eral g´en´eral se traite avec une notion que nous n’avons pas vu cette ann´ee :
celle de suite de Cauchy.