Vous êtes sur la page 1sur 27

14

Chapitre 14.
Chapitre Théorème du point
fixe

Si l’on examine de plus près les méthodes de Lagrange et de Newton, étudiées au chapitre précédent,
elles reviennent dans leur principe à remplacer la résolution de l’équation f(x) = 0 sur un intervalle
 a ; b par celle d’une équation équivalente g(x) = x, dont on approxime la solution  par une suite
(an), définie par son premier terme a0   a ; b et la relation de récurrence an1  g  an  , et dont la
limite est .
Cette situation – la recherche et l’approximation d’un point fixe d’une fonction – est suffisamment
générale pour être étudiée pour elle-même. Elle fait l’objet d’un théorème très important d’analyse, le
théorème du point fixe.

Sommaire
Chapitre 14. Théorème du point fixe................................................................... 307
1. Suite récurrente associée à g ................................................................ 308
1.1 Stabilité de l’intervalle de définition ............................................. 308
1.2 Point fixe ......................................................................................... 310
1.3 Sens de variation ........................................................................... 311
1.4 Une condition nécessaire de convergence ............................... 312
2. Convergence d’une suite récurrente..................................................... 314
2.1 Application strictement contractante .......................................... 314
2.2 Un théorème du point fixe ............................................................ 315
2.3 Majoration de l’erreur .................................................................... 316
2.4 L’exemple de l’équation de Fibonacci ........................................ 317
2.5 Calcul de sin 1° par approximations successives .................... 319
3. Nature des points fixes ........................................................................... 321
3.1 Point fixe attractif ........................................................................... 321
3.2 Point fixe répulsif ........................................................................... 322
3.3 Un cas douteux : g '    1 ......................................................... 323

4. Étude d’un exemple ................................................................................. 324

Christian Vassard (IUFM Rouen)


308 Mathématiques et TI-Nspire

Précisons les notations que nous emploierons dans ce chapitre. Nous considérerons une fonction g
définie sur un intervalle I.
Moyennant certaines hypothèses, que nous préciserons le moment venu, nous construirons la suite
(un) définie par :
son premier terme u0  I ;
la relation de récurrence, valable pour tout entier naturel n, un1  g  un  .
Nous pouvons espérer que cette suite, avec des hypothèses convenables, converge vers un point fixe
de g, autrement dit une solution de l’équation g(x) = x.

1. Suite récurrente associée à g


1.1 Stabilité de l’intervalle de définition
Prenons garde toutefois que les relations précédentes, aussi simples soit-elle, ne suffisent pas toujours
à définir effectivement une suite. Le calcul parfois ne peut pas être poursuivis au delà d’un certain
rang.
1 2un
Ainsi en posant u0   et un 1  , il est bien clair qu’un terme ne peut être calculé que lorsque
5 un  1
le terme qui le précède est différent de 1. Or les problèmes surviennent assez rapidement, comme le
montre l’écran suivant (… penser à utiliser ans…) :

Le problème est posé : à quelle condition peut-on être sûr que la suite récurrente est définie pour toute
valeur de n ? Tout est affaire de stabilité…
Stabilité de l’intervalle I par g
On dit que l’intervalle I est stable par g lorsque g  I   I .

Théorème
Lorsque I est un intervalle stable par g, alors la suite définie par :
u0  I
pour tout entier naturel n, un1  g  un 
est définie pour tout entier naturel n.
Démonstration
On peut démontrer, par exemple par récurrence, que pour tout entier naturel n, un est bien défini et est
élément de I : c’est immédiat.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 309

Définition
Une telle suite est appelée suite récurrente associée à g.
Nous supposerons dorénavant que l’intervalle I est stable par la fonction g, pour garantir l’existence
de la suite (un).

La construction graphique des termes successifs d’une telle suite est donnée ci-après, dans quelques
situations classiques.

Construction en toile d’araignée Construction en escalier


Gardons-nous cependant de croire que de telles suites sont toujours convergentes : elles peuvent avoir
des comportements divers, comme le montrent les écrans suivants :

© T³ France 2010 / Photocopie autorisée


310 Mathématiques et TI-Nspire

Au demeurant, la convergence d’une telle suite semble liée (mais cela ne suffit pas !) à la présence
d’un point d’intersection entre la courbe représentative de g et la droite d’équation y = x, autrement
dit d’une solution à l’équation g(x) = x.

1.2 Point fixe


Les observations précédentes conduisent à définir la notion de point fixe d’une fonction.
Définition
Soit g : I   une fonction continue sur I.
On dit que  est un point fixe de g lorsque g() = .
En d’autres termes, les points fixes de g sont les solutions, lorsqu’elles existent de l’équation
g  x  x .

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 311

D’un point de vue graphique, les points fixes de g correspondent aux points d’intersection de la
courbe représentative de g et de la droite d’équation y = x.

Théorème : existence d’un point fixe lorsque I = [a ; b]


Soit g une fonction continue sur l’intervalle  a ; b et telle que  a ; b soit stable par g.
Alors la fonction g admet au moins un point fixe dans l’intervalle  a ; b .

Démonstration
En effet considérons la fonction f définie sur  a ; b par f(x) = x – g(x).

f est alors continue sur  a ; b .

On a par ailleurs :
f(a) = a – g(a)  0
f(b) = b – g(b)  0
car g(a) et g(b), par hypothèse, appartiennent à  a ; b .

D’après le théorème des valeurs intermédiaires, on est sûr que l’équation f(x) = 0 possède au moins
une solution1 sur  a ; b . Il en est de même de l’équation g(x) = x et on peut affirmer que g possède au
moins un point fixe.

Remarquons que la stabilité de l’intervalle I ne garantit pas l’existence d’un point fixe, hormis le cas
que nous venons d’étudier d’un intervalle fermé borné. Par exemple la fonction exponentielle est une
fonction de I = dans I = , mais on sait bien que l’équation e x  x n’a pas de solution dans .

1.3 Sens de variation


Théorème
Soit I un intervalle stable par g.
Lorsque la fonction g est strictement croissante sur I, alors la suite récurrente (un) associée à g
est monotone.
Démonstration
En effet, on peut écrire les égalités de signes suivantes, liées à la stricte monotonie de la fonction g
sur l’intervalle I :
signe  un1  un   signe  g  un   g  un1    signe  un  un1   ...  signe  u1  u0 

Par conséquent, la suite (un) est bien monotone. Plus précisément, si u1  u0 , alors la suite (un) est
croissante et si u1  u0 , alors la suite (un) est décroissante2.

Théorème
Soit I un intervalle stable par g.
Lorsque la fonction g est strictement décroissante sur I, alors les suites extraites (u2n) et (u2n+1)
ont des sens de variation contraires.

1
Peut-être plusieurs...
2
Et si u1 = u0, la suite (un) est constante.

© T³ France 2010 / Photocopie autorisée


312 Mathématiques et TI-Nspire

Démonstration
Posons pour tout entier naturel n, vn  u2 n et wn  u2 n1 .

Il est alors clair que : vn1  gog  vn  et wn1  gog  wn  .

Comme gog est strictement croissante sur I – c’est la composée de deux fonctions strictement
décroissantes sur I –, d’après le théorème précédent, les suites (vn) = (u2n) et (wn) = (u2n + 1) sont l’une
et l’autre monotones.
Il reste à prouver qu’elles ont des sens de variation contraires. Comme précédemment, on peut écrire :
signe  u2n 2  u2 n   signe  u2  u0  et signe  u2n1  u2n1   signe  u3  u1  .

Or comme g est décroissante sur I, si u2  u0 , alors g  u2   g  u0  soit u3  u1 , et de même si u2  u0 ,


alors u3  u1 . On peut en conclure que les sens de variation sont contraires.

1.4 Une condition nécessaire de convergence


Théorème
Soit g une fonction continue définie sur un intervalle I. On suppose de plus que l’intervalle I
est stable par g.
Si la suite récurrente (un) converge, c’est nécessairement vers un point fixe de g.
Démonstration
Effectivement, si la suite (un) converge vers un nombre réel , en passant à la limite dans l’égalité qui
définit la récurrence :

 
lim un 1  g lim un (car la fonction g est continue sur I)
n  n 

soit  = g()
ce qui prouve que  est un point fixe de la fonction g.
Quelques remarques sur l’utilisation de ce théorème
Le théorème précédent énonce une condition nécessaire, malheureusement pas suffisante, pour que la
suite (un) converge : il ne renseigne en rien sur la convergence effective de cette suite. Tout au plus
donne-t-il – c’est déjà un résultat important – une, ou des, valeurs possibles pour la limite.
Par contre, si la fonction g ne possède pas de point fixe sur l’intervalle d’étude, on peut être sûr que la
suite récurrente associée à g diverge.
C’est le cas par exemple de la suite définie
par son premier terme u0 = 1

et par la relation de récurrence un 1  1  un 2 .

Si on pose g  x   1  x 2 pour x élément de 0,  , stable par g, l’équation g  x   x n’a


clairement pas de solution (car 1 x 2  x ).
En conséquence, la suite (un) ne converge pas. Comme elle est croissante, elle diverge vers l’infini.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 313

Remarquons qu’il existe aussi des contre-exemples à ce théorème, avec des fonctions présentant un ou
des points fixes sans que les suites récurrentes associées convergent.
C’est le cas, par exemple, de la fonction définie sur I = [0 ; 1] par g(x) = 1 – x2 : elle possède bien un
5 1
point fixe, solution de l’équation 1 x2  x soit   . L’intervalle I est stable par g.
2
Pourtant la suite définie par u0 = 1 et la relation de récurrence un1  1  un 2 n’est pas convergente :
elle prend alternativement les valeurs 0 et 1.

© T³ France 2010 / Photocopie autorisée


314 Mathématiques et TI-Nspire

2. Convergence d’une suite récurrente


Dans le cas où l’intervalle est borné, la suite elle-même est bornée. Si l’on sait de plus qu’elle est
monotone, on peut en déduire qu’elle converge vers un des points fixes de g.
Bien que l’on puisse souvent invoquer des résultats de ce type3 pour conclure sur la convergence de
(un), nous nous placerons quant à nous dans un cadre plus général et rechercherons de plus à majorer
l’expression un   .

2.1 Application strictement contractante


 Définition
Soit g une application définie sur un intervalle I, non nécessairement borné de .
Dire que g est une application strictement contractante sur I signifie qu’il existe un réel K
appartenant à [0 ; 1[ tel que pour tout x et y dans l'intervalle I, g ( x)  g ( y)  K x  y .

On dit aussi que g est lipschitzienne de rapport K < 1. Remarquons qu’une telle application est
nécessairement continue sur I.
 Comment reconnaître une application strictement contractante ?
Théorème
Soit une fonction g dérivable dans un intervalle I, non nécessairement borné.
Si la dérivée g’ vérifie max g '( x)  K  1 alors g est une application strictement contractante
xI
sur l'intervalle I.
Démonstration
Soient x et y deux réels de l’intervalle I. D’après la théorème des accroissements finis, on peut écrire :
g  x   g  y   g '   x  y  avec    x, y .

Par suite :
g  x   g  y   g '   x  y  K x  y

ce qui prouve que g est bien strictement contractante sur l’intervalle I.


Exemple
1
Ainsi on peut affirmer que la fonction g définie sur par g  x   est strictement contractante
1  x2
sur .
2 x
En effet, on a : g '  x   .
1  x 2 2

La calculatrice permet alors de conclure que pour tout x réel :


3 3
max g '( x)  1 .
xI 8

3
Au moins dans les cas les plus classiques.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 315

2.2 Un théorème du point fixe


Il existe de très nombreuses versions de ce célèbre théorème d’analyse.
Théorème du point fixe sur un intervalle fermé I :
Soit une fonction g définie sur un intervalle fermé I, pas nécessairement borné, de et
vérifiant les conditions suivantes :
l’intervalle I est stable par g ;
g est strictement contractante sur l'intervalle I de rapport K < 1.
Alors la fonction g admet un point fixe unique  et la suite (un) définie par son premier terme
u0  I et la relation de récurrence un1  g  un  converge bien vers .

Démonstration
La stabilité de l’intervalle I montre que la suite (un) est clairement définie.
Nous allons d’abord démontrer que la suite (un) est une suite de Cauchy de nombres réels. Observons
que pour tout entier naturel n :
un1  un  g  un   g  un1   k un  un1  k 2 un1  un2  ...  k n u1  u0 .

On peut alors écrire :


p 1
 p 1  1 K p Kn
un  p  un   un i 1  un i    K n i  u1  u0  K n u1  u0  u1  u0 .
i 0  i 0  1 K 1 K

Comme Kn tend vers 0 quand n tend vers l’infini (car 0  K  1 ), on en conclut que un  p  un peut
être rendu aussi petit que l’on veut pourvu que n soit suffisamment grand.
Ceci prouve que la suite (un) est une suite de Cauchy.
La suite (un) converge donc vers un réel  qui appartient à I car I est un intervalle fermé de .
Montrons que  est un point fixe de g. Comme g est une application strictement contractante sur I, on
en déduit que, pour tout entier naturel n :
g  un   g    K un    un  

© T³ France 2010 / Photocopie autorisée


316 Mathématiques et TI-Nspire

ce qui prouve que la suite  g  un   converge vers g   . Comme  g  un     un1  converge aussi
vers , on peut en conclure que g     donc que  est un point fixe de g4.

Montrons maintenant que ce point fixe est unique. Supposons donc qu'il existe deux points fixes de g,
1 et 2, sur l'intervalle I.
On peut alors écrire :
1   2  g 1   g  2   K 1   2  1   2
ce qui est impossible. En conséquence, le point fixe est nécessairement unique.

Remarquons que l’hypothèse I fermé n’intervient que pour montrer que  est bien dans I. Si l’on sait
par d’autres moyens que les points fixes sont déjà dans I, elle devient alors obsolète et peut être
omise.
Par ailleurs, il résulte de la démonstration précédente l’inégalité un    K un1   , qui montre que
la vitesse de convergence de la suite (un) vers  , si elle existe, est majorée par K : la convergence est
donc, dans le pire des cas, géométrique de rapport K. On mesure donc l’importance qu’il y a à
travailler avec un coefficient K, qui soit le plus petit possible.

2.3 Majoration de l’erreur


Les calculs précédents ont montré que pour tout entier naturel n :
un    K un1    K 2 un2    ...  K n u0   .

Cette dernière majoration permet de faire un calcul d’erreur, essentiel pour estimer la qualité du
résultat renvoyé. On peut raisonner de deux façons différentes.
 Tout d’abord, si l’on veut que un     , il suffira que l’on ait K n u0     .

Cette inéquation en n se résout facilement en passant aux logarithmes. Elle équivaut alors à :
n ln K  ln u0    ln  ,

ln   ln u0  
inégalité qui est réalisée dès que n supérieur ou égal5 à .
ln K
Mais ce dernier calcul présente un inconvénient : elle fait intervenir la valeur … précisément celle
que l’on cherche à calculer…
Lorsque I   a ; b , on peut s’affranchir de ce problème en remarquant que u0    b  a , d’où l’on
déduit que un     dès que :

ln   ln  b  a 
n
ln K
 On peut aussi obtenir un autre majorant de l’erreur commise, sans faire intervenir la valeur de ,
en reprenant un résultat mis en évidence dans la démonstration du théorème du point fixe :
1
un  p  un  K n u1  u0 pour n et p entiers naturels quelconques.
1 K

4
Nous avons démontré plus haut, et de façon plus « artisanale », que toute fonction g : [a,b]  [a,b] possédait au moins un point fixe.
5
On rappelle que K  ]0 ; 1[, donc son logarithme est négatif.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 317

Si n est fixé, l’inégalité est valable pour tout entier naturel p ; en faisant tendre p vers l’infini, on en
tire :
1
  un  K n u1  u0
1 K
C’est une deuxième majoration de l’erreur ne faisant pas cette fois intervenir la valeur de la limite .

2.4 L’exemple de l’équation de Fibonacci


Revenons vers l’équation du troisième degré, proposée vers 1225 par Fibonacci6 :
x3 + 2x2 + 10x – 20 = 0.
Une étude rapide de la fonction définie sur par f  x   x3  2 x 2  10 x  20 a montré que cette
équation possède une solution réelle et une seule sur l’intervalle [1 ; 2].
Pour résoudre cette équation en utilisant le théorème du point fixe, on doit se ramener à une équation
de la forme g(x) = x. Plusieurs possibilités s’offrent à nous. Commençons par la plus simple…
L’équation équivaut à :
x3  10 x2  11x  20  x
en posant g(x) = x3  10 x2  11x  20 pour x  [1 ; 2].
Malheureusement, le maximum de la dérivée de g sur l’intervalle [1 ; 2] vaut 31… et nous ne pouvons
pas utiliser les résultats qui précèdent. La suite d’ailleurs diverge très rapidement.

Transformons l’écriture plus judicieusement. L’équation équivaut à :


x3 + 2x2 + 10x = 20 x  x 2  2 x  10   20

20
x
x  2 x  10
2

20
et cette fois, nous poserons g  x   pour x  [1 ; 2].
x  2 x  10
2

On peut constater sur l’écran qui suit7 que cette fonction remplit bien les hypothèses du théorème du
point fixe que nous venons d’énoncer :
l’application est strictement contractante sur l’intervalle [1 ; 2] avec un coefficient K égal à
80
;
169

l’intervalle [1 ; 2] est stable par g.

6
Voir le chapitre précédent, sur la résolution approchée des équations.
7
Il faudrait le confirmer bien sûr par un raisonnement rigoureux.

© T³ France 2010 / Photocopie autorisée


318 Mathématiques et TI-Nspire

u0  2

On peut alors définir la suite récurrente associée à g définie par :  20 et demander
un 1  u 2  2u  10
 n n

l’affichage des premiers termes de cette suite dans l’application Tableur & Listes :

Cette suite figure dans la colonne B : la fonction g a été définie au préalable dans l’application
Calculs. Dans la colonne C figure le premier calcul d’erreur (ici Kn) ; enfin dans la colonne D, figure
 1 
le deuxième calcul d’erreur  K n u1  u0  , légèrement supérieur au précédent.
 1 K 
D’après le théorème du point fixe démontré plus haut, on sait que la suite (un) converge vers le point
fixe de f, donc la solution de l’équation de Fibonacci. On remarque bien que la suite extraite des
indices pairs est décroissante, tandis que la suite extraite des indices impairs est croissante.
Malheureusement, le calcul n’est mené de façon exacte que jusqu'au 10e terme de la suite. À partir du
11e terme, on passe en calcul approché.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 319

2.5 Calcul de sin 1° par approximations successives


L’idée a été évoquée dans le chapitre précédent et entraine la résolution approchée d’une équation de
degré 3. Reprenons rapidement l’argumentation développée.
Depuis les premières tables de cordes des Grecs8, les mathématiciens ont toujours cherché à améliorer
la précision des tables trigonométriques, tout l’enjeu étant d’obtenir la valeur approchée de sin 1° la
plus précise possible, permettant ensuite de construire la table.
Vers 1400, al-Kashi, astronome à l’observatoire de Samarkand, propose le calcul approché de cette
solution par une méthode d’approximations successives. La méthode était radicalement nouvelle à
côté de laquelle les tentatives précédentes n’étaient que des balbutiements.
En effet, à partir de la relation trigonométrique bien connue :
sin 3x = 3 sin x – 4 sin3 x,
al-Kashi a l’idée de résoudre l’équation
sin 3° = 3x – 4x3.
où sin 3° est connue, car accessible à partir des valeurs usuelles des sinus, et où x l’inconnue donnera
une valeur approchée de sin 1°, la plus précise possible pour construire une table.
En effet, sin 3° peut en effet se calculer par étapes, à partir des valeurs remarquables déjà connues :
connaissant les lignes trigonométriques de 72° et de 60°, on en déduit celles de 12°;
par deux divisions par 2 successives, on arrive aux lignes trigonométriques de 3°.
L’idée de génie d’al-Kashi consiste à résoudre l’équation précédente par approximations successives :
c’est sans doute la première fois dans l’histoire des mathématiques que l’on utilise cette méthode.
En langage moderne, il travaille avec la suite (un) définie par u0 = 0 et un 1  g  un  en posant :

sin 3  4 x3
g  x  .
3

8
C’était leur seule ligne trigonométrique, très proche du sinus.

© T³ France 2010 / Photocopie autorisée


320 Mathématiques et TI-Nspire

1518910862
Une valeur approchée9 de sin 3° avec 20 décimales exactes est : .
29022319855

Essayons maintenant avec l’application Tableurs & Listes de reprendre le principe des calculs d’al-
Kashi. Tout d’abord définissons la fonction dans une page Calculs :

Enfin, calculons les termes de la suite (un) :

On constate qu’en quelques itérations, la suite semble converge vers sin 1°.
Le théorème du point fixe s’applique pleinement. Vérifions-en les hypothèses :
la fonction g est clairement strictement croissante sur l’intervalle 0 ; sin1 ;

par conséquent, si on a : 0  x  sin1 , on en déduit que : 0  g  0   g  x   g  sin1  sin1 ,


ce qui prouve que l’intervalle 0 ; sin1 est stable par g ;

comme g '  x   4 x 2 , on peut en déduire que : K  max g '  x   4sin2 1 qui est clairement
x0;sin1

inférieur à 1.
Remarquons de plus que la convergence sera intéressante car le coefficient K est très proche
de 0 – à peu près 0,00122 –, ce qui explique après coup le grand succès qu’a obtenu al-Kashi.

9
Obtenue avec un logiciel de calcul formel, gérant un nombre illimité de décimales, et un développement en fraction continue.

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 321

La plus grande valeur exacte que l’on récupère dans le tableur est u5. Précisons le calcul
d’erreur.
On sait que :
u5  sin1  K 5 u0  sin1   4sin 2 1   sin 2 1  45 sin11 1
5

On peut préciser cette dernière valeur, ne serait-ce qu’avec la valeur approchée donnée par la
calculatrice :

Pour faire simple, on a donc


u5  sin1  0,5 1016 .

Stockons la « grosse » fraction de la cellule B6 dans une variable a. Notre fonction divex2, créée dans
la bibliothèque div_dec, donne alors :

… valeur approchée à moins de 0,5  10–16 près.


Presque aussi bien qu’al-Kashi qui, lui, a donné l’équivalent de 18 chiffres après la virgule !

3. Nature des points fixes


Dans tout ce qui suit, on considère que la fonction g est définie et de classe C1 sur l'intervalle
I   a ; b de . En particulier, la dérivée de g est continue sur  a ; b .

Comme précédemment, on note   a ; b un point fixe de la fonction g sur l'intervalle I. On peut


alors distinguer trois cas.

3.1 Point fixe attractif


Théorème
Si |g’()| < 1, alors il existe un intervalle J contenu dans I pour lequel la suite (un) définie par
u0  J
pour tout entier naturel n, un + 1 = g(un)
converge vers .
Autrement dit, pourvu que l’on se place « suffisamment près de  » – mais on n’a pas a priori plus
d’informations – on est assuré de la convergence de la suite (un).
Le point fixe  est alors dit point fixe attractif, car il provoque la convergence de toutes les suites
récurrentes construites à partir de f, pourvu que la valeur initiale soit suffisamment proche de ce point
fixe.

Démonstration
Plaçons-nous sur l'intervalle J = [ –  ;  + ] où  > 0 est choisi de telle sorte que :
x  [ –  ;  + ], |g'()| < K < 1,
choix toujours possible car g’ est continue sur I = [a ; b].

© T³ France 2010 / Photocopie autorisée


322 Mathématiques et TI-Nspire

Montrons que sur cet intervalle, la fonction g vérifie les hypothèses du théorème du point fixe.

Tout d’abord, la fonction g est contractante sur l’intervalle J, et de rapport K < 1.

D’autre part, g([ –  ;  + ])  [ –  ;  + ]


En effet soit x  [ –  ;  + ], ce que l’on peut écrire |x – | < .
Donc, pour x élément de J, |g(x) – g()| = |g(x) – |  K |x – | < |x – |   ce qui prouve bien que
g  x     ;     .

On peut donc appliquer le théorème du point fixe dans l'intervalle J et la suite (un) est bien
convergente quel que soit son premier terme x0 situé dans J.

Intéressons-nous au cas où g’() = 0.


Supposons que g soit de classe C2 sur [a ; b] et que g ''  M sur l’intervalle J.

La formule de Taylor, appliquée à l’intervalle limité par  et x, donne :

x  
2

g  x   g      x    g '    g ''  c 
2!
x  
2

  g ''  c  avec c   ; x
2!
M
D’où l’on déduit : g  x     x   .
2

2
On a donc pour tout entier naturel n, à condition de choisir u0 dans l’intervalle J :
M
un 1     un    .
2

2
Cela indique une convergence dite quadratique, extrêmement rapide. Concrètement, si l’on sait que
M
un    10 p , on peut en déduire que un 1    102 p : concrètement, on peut dire que le nombre
2
de décimales exactes à peu ou prou doublé en une itération. Le point fixe, dans ce cas, est qualifié de
superattractif.
On peut aussi écrire :
2 22 2n
M M  M  M 
un      un 1        un  2      ...    u0    
2  2   2   2 
soit
2n
2 M 
un      u0     .
M 2 

3.2 Point fixe répulsif


Théorème
Si |g’()| > 1, alors il existe un intervalle J contenu dans I et tel que, pour tout u0  , u0  J,
la suite récurrente associée à g de premier terme u0 ne converge pas vers .

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 323

Dans ce cas, le point fixe  est dit point fixe répulsif. Même si l’on se place très près de , la suite
(un) est toujours divergente. Elle ne peut converger que lorsqu’elle est constante et égale à .

Démonstration
Plaçons-nous sur l'intervalle J = [ –  ;  + ] où  > 0 est choisi de telle sorte que :
x  [ –  ;  + ] |g'()| > 1
(choix possible car g’ est continue sur I = [a, b])
Alors min g '( x)  K  1
xJ

Il est possible que la suite (un) ne soit pas définie pour toute valeur de n : dans ce cas, elle ne converge
pas vers .
Sinon on sait que pour tout x dans J, |g(x) – |  K |x – |
La suite ne peut pas converger vers  car pour tout entier naturel n, |un – |  aKn – 1 avec K > 1.

3.3 Un cas douteux : g '    1

Étudions deux exemples, pour lesquels les conclusions seront différentes : c’est en ce sens que le cas
sera dit douteux. Pour chacun de ces deux exemples, on aura  = 0 et g’() = 1.
 
 g  x   sin x pour x élément de 0 ; 
 2
 
La convergence ne fait aucun doute si l’on remarque pour tout x dans l’intervalle  0 ;  , sin x < x.
 2
 
Quel que soit son premier terme dans 0 ;  , la suite récurrente associée à g est alors décroissante,
 2
minorée par 0, donc elle converge vers le point fixe 0, qui est bien attractif.

 f  x   sinh x pour x élément de 0 ;  

© T³ France 2010 / Photocopie autorisée


324 Mathématiques et TI-Nspire

On a cette fois pour tout x strictement positif, sinh x > x. Cette fois la suite (un) est strictement
croissante et ne peut donc pas converger vers le point fixe 0… qui est donc répulsif.

Bilan :
La notion de point fixe attractif ou répulsif simplifie quelque peu l’approche du problème. Tout
revient finalement à estimer g '   …

si g '    1 , alors on élimine la méthode, qui correspond à un point fixe répulsif ;

si g '    1 , la méthode converge ; il reste concrètement à s’approcher suffisamment de 


c’est-à-dire à trouver un intervalle stable par g et dans lequel le maximum de la dérivée est
strictement inférieur à 1.

4. Étude d’un exemple


 Soit g la fonction définie sur [–1 ; 1] par g  x   1  ax2 avec a réel quelconque de l’intervalle
]0 ; 2]. On considère alors la suite récurrente définie par :
u0   1;1

un 1  g  un 
Montrons tout d’abord que l’intervalle [–1 ; 1] est stable par g. Une étude sommaire de la fonction g
montre qu’elle prend ses valeurs dans l’intervalle [1 – a ; 1].
Dire que [1 – a ; 1]  [–1 ; 1] équivaut à dire que a  [0 ; 2]… ce qui est à peu de chose près notre
intervalle d’étude10. Que la suite soit définie était relativement évident étant donnée la formule
proposée11… par contre, nous sommes sûr avec ces valeurs de a que la suite prend toutes ses valeurs
dans l’intervalle [–1 ; 1].

10
Le cas a = 0 que nous écarterons de suite ne présente pas un grand intérêt.
11
Pas de quotient, pas de racine carrée… bref aucun risque que le calcul ne puisse se poursuivre indéfiniment !

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 325

À quelle condition g est-elle contractante ? On sait que g '  x   2ax dont le maximum de la valeur
1
absolue sur [–1 ; 1] vaut 2a. Ce maximum est inférieur strictement à 1 lorsque 0  a  .
2
Enfin les points fixes de la fonction g sont obtenus en résolvant l’équation g(x) = x.

A priori, deux points fixes apparaissent, mais lorsque 0 < a < 2, un seul nous intéresse
4a  1  1 1
 . Pour a = 2, les points fixes et –1 sont cette fois tous les deux dans [–1 ; 1].
2a 2

Ce, ou ces, points fixes sont-ils attractifs ?

 3 1
C’est donc le cas lorsque a   0 ;  . Pour a = 2, f '  x   4 x et les deux points fixes et –1 sont
 4 2
répulsifs.
 1
 Lorsque a   0 ;  , l’application est strictement contractante et le théorème du point fixe permet
 2
de conclure à la convergence de la suite (un) vers le réel , quel que soit le premier terme choisi dans
l’intervalle [–1 ; 1].

© T³ France 2010 / Photocopie autorisée


326 Mathématiques et TI-Nspire

1 3
 Lorsque a   ;  , le théorème du point fixe ne peut plus s’appliquer car l’application n’est
2 4
plus strictement contractante. Mais la convergence vers le point fixe – point fixe attractif dans ce
cas – semble cependant encore avoir lieu. Prouvons-le.
Lorsque u0 appartient à [–1 ; 1], on peut remarquer que un est dans l’intervalle [0 ; 1] pour n  1.
Comme la fonction g est décroissante sur cet intervalle, on sait que les suites extraites d’indices pairs
et impairs ont des sens de variation contraires à partir de n = 1. Comme ce sont des suites monotones
et bornées, on peut affirmer qu’elles convergent… Or, ces suites sont aussi des suites récurrentes,
associées non pas à g mais à g2 = gog . On a en effet :

u2 n 2  g 2  u2 n  et u2 n1  g 2  u2n1  .

Elles convergent donc l’une et l’autre donc vers un point fixe de g2 ; les points fixes de g2 peuvent être
déterminés avec la TI-Nspire. On retrouve les points fixes de f – c’est immédiat à prouver – et deux
1  4a  3 1  4a  3
autres : et .
2a 2a

Mais ces deux nouveaux points fixes ne sont pas dans l’intervalle [–1, 1] pour des valeurs de a dans
1 3
 2 ; 4  . Les suites d’indices pairs et d’indices impairs convergent donc vers le seul point fixe
 
4a  1  1
attractif qui demeure,   comme précédemment.
2a

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 327

3
 Pour a = , on tombe dans le cas douteux où f '    1 . Il semble que la convergence vers le
4
point fixe demeure, mais elle se fait de plus en plus lentement (on a mis le nombre d’itérations à 500
sur le graphique suivant…).

3
Un raisonnement semblable au précédent peut être repris. Sachant que a  , les points fixes sont –2
4
2
et .
3

Cette fois-ci, les suites constituées des termes d’indices pairs et d’indices impairs, qui sont toujours
2
convergentes, ne peuvent converger que vers .
3
3
 Que se passe-t-il pour a  ?
4
Le point fixe de g de l’intervalle [–1,1] est répulsif… donc la suite (un) n’est plus convergente… sauf
si son terme initial vaut précisément ce point fixe ; elle est alors constante et égale à ce point fixe.
Éventuellement les points fixes de g2, déterminés plus haut, vont prendre la relève…
À quelles conditions sont-ils attractifs ?
3 5
L’écran suivant montre que c’est le cas pour a .
4 4

© T³ France 2010 / Photocopie autorisée


328 Mathématiques et TI-Nspire

3
Si  a  1 , on peut encore affirmer que si u0   1;1 , un  0 ;1 pour n supérieur ou égal à 1. Les
4
deux suites (u2n) et (u2n+1) restent donc convergentes.
Mais comme la suite (un) ne peut plus elle-même être convergente12, on peut en conclure que (u2n)
converge vers un des points fixes de g2 et (u2n+1) vers l’autre.
Ce que l’on observe évidemment sur l’exemple ci-dessous : la suite diverge en oscillant autour des
valeurs 0,125 et 0,986, qui correspondent aux points fixes de g2 dont la courbe a été tracée.

On voit donc ici apparaître un cycle de longueur 2 qui correspond aux deux points fixes attractifs p1 et
p2 de g2, qui ne sont pas points fixes de g.
On a donc p1  g 2  p1  et p2  g 2  p2  , ainsi que p1  g  p1  et p2  g  p2  .

On en déduit que g  p1   g  g 2  p1    g 2  g  p1   , autrement dit g  p1  est un point fixe de g2.

Manifestement, g  p1  ne peut pas être un point fixe de g, sinon on aurait :

g  g  p1    g  p1  soit g 2  p1   g  p1   p1

12
Car elle convergerait nécessairement vers un point fixe de f… mais ce n’est plus possible avec ces valeurs de a…

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 329

ce qui est absurde car p1 n’est pas un point fixe de g.


Comme g  p1   p1 , on en déduit que nécessairement g  p1   p2 et on démontrerait de même que
g  p2   p1 .

Apparaît donc une nouvelle situation qui permet de préciser la nature de la divergence de (un) : ou
bien u0 = p1 ou u0 = p2 et la suite (un) est périodique de période 2, ou bien u0 est différent de ces deux
valeurs et la suite (un) diverge en s’approchant alternativement de p1 et de p2.
Comme g '  p1   1 et g '  p2   1 , on dira dans ce cas que le 2-cycle est attractif.

Nous admettrons que la situation est identique tant que le 2-cycle est attractif, c’est-à-dire lorsque a
5 5
est tel que 1  a  . Il en est de même aussi pour a  .
4 4

5
Au-delà de a  , ces points fixes de g2 après ceux de g vont devenir répulsifs. On reprend le même
4
raisonnement qui après g a vu venir g2 : après g2 nous allons considérer les points fixes de (g2)2 = g4, à
condition qu’ils soient attractifs et qu’ils figurent dans l’intervalle [–1 ; 1].
Malheureusement le calcul formel général ne peut plus être mené comme nous l’avons fait jusqu’à
maintenant : l’observation graphique est cependant fructueuse.

© T³ France 2010 / Photocopie autorisée


330 Mathématiques et TI-Nspire

Un cycle d’ordre 4 s’est bien mis en place autour de quatre points fixes attractifs de g4, qui ne sont ni
points fixes de g2, ni points fixes de g : –0,336 ; 0,034 ; 0,849 et 0,998.

Une rapide étude permet de constater que ces nouveaux points fixes sont attractifs. On dira que le 4-
cycle est attractif.

Si on appelle p1, p2, p3 et p4 le 4-cycle ainsi mis en évidence, on a :


g  p1   g  g 4  p1    g 4  g  p1  

ce qui prouve que g  p1  est un point fixe de g4. De façon analogue à ce qui a été fait plus haut, on
peut montrer que :
g  p1  ne peut pas être un point fixe de g2 (sinon g 2  g  p1    g  p1  et donc
g 4  p1   g 2  p1   p1 ce qui est absurde car p1 n’est pas un point fixe de g2)

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 331

g  p1  ne peut pas être un point fixe de g (sinon g  g  p1    g  p1  et donc


g  p1   g  p1   p1 puis g
4 3 4
 p1   g  p1  soit p1  g  p1  ce qui est absurde car p1 n’est
pas un point fixe de g).
Finalement, g  p1  est égal à pi, avec i  1 .

En poursuivant, g  pi   p j avec j  i et j  1 : en effet, on ne peut pas avoir g  pi   p1 car comme


g  p1   pi on en déduirait que p1 est un point fixe de g2.

Enfin g  p j   pk avec k  i et k  j mais aussi k  1 , sinon on aurait g 3  p1   p1 mais comme


g 4  p1   p1  g  g 3  p1    g  p1  ce qui est absurde.

Là encore on peut préciser dans cette zone de valeurs de a la nature de la divergence de (un) : ou bien
u0 est l’une des quatre valeurs du 4-cycle et la suite (un) est périodique de période 4, ou bien u0 est
différent de ces quatre valeurs et la suite (un) diverge en s’approchant alternativement de chacune des
valeurs du 4-cycle.
 En augmentant encore un peu la valeur de a, on pourrait mettre en évidence un cycle d’ordre 8,
puis d’ordre 16, 32, etc. Ainsi pour a = 1,4, on peut observer un cycle d’ordre 8 :

On démontre qu'il existe ainsi une suite infinie de valeurs de a (dites catastrophiques) pour lesquelles
se produit un doublement de la période du cycle attracteur. Cette suite de valeurs de a tend vers 1,401
environ (évidemment, les doublements de période ont lieu sur des intervalles de plus en plus petits).
Ensuite, si on continue d'augmenter a, le comportement de la suite devient difficile à prévoir, elle
semble pouvoir prendre toute valeur entre –1 et +1. On dit que son comportement est chaotique, en ce
sens qu’il est particulièrement sensible aux conditions initiales.
Si l’on choisit deux valeurs initiales très proches l’une de l’autre, les valeurs de un s’écartent très
rapidement l’une de l’autre.

© T³ France 2010 / Photocopie autorisée


332 Mathématiques et TI-Nspire

Curieusement, au milieu de ce chaos, autour de 1,75 un havre de paix surgit avec l’apparition d’un
cycle d’ordre 3…

© T³ France 2010 / Photocopie autorisée


Théorème du point fixe 333

© T³ France 2010 / Photocopie autorisée

Vous aimerez peut-être aussi