Loading AI tools
application lipschitzienne dont la constante de Lipschitz est strictement inférieure à 1 De Wikipédia, l'encyclopédie libre
En mathématiques et plus particulièrement en analyse, une application contractante[1],[2], ou contraction[3], est une application qui « rapproche les images » ou, plus précisément, une application k-lipschitzienne avec k < 1. Le théorème de point fixe le plus simple et le plus utilisé concerne les applications contractantes.
Une application f d'un espace métrique (E, d) dans lui-même est dite k-contractante si 0 ≤ k < 1 et si, pour tout couple de points x et y de E, d(f(x), f(y)) ≤ kd(x, y). Elle est dite contractante si elle est k-contractante pour une certaine constante k.
Un endomorphisme d'espace vectoriel normé dont la norme est strictement inférieure à 1 (ou une application affine associée à un tel endomorphisme) est une application contractante. L'exemple le plus simple est celui d'une homothétie de rapport λ avec |λ| < 1.
Plus généralement, l'inégalité des accroissements finis permet de montrer qu'une fonction dérivable de dérivée bornée en norme par k < 1 est contractante ; c'est par exemple le cas sur R de l'application , avec k = 2/3.
donc converge vers x*.
La preuve classique[1],[3],[4] consiste essentiellement à montrer que pour toute suite vérifiant , on a .
Ce théorème est souvent mentionné comme le théorème du point fixe de Banach — qui l'a énoncé en 1920 dans le cadre de la résolution d'équations intégrales[6] — ou théorème du point fixe de Picard[1].
Le corollaire suivant est utilisé dans certaines preuves du théorème de Cauchy-Lipschitz[7], ce qui dispense des précautions de la preuve usuelle[8], destinées à se placer dans une situation où l'application f est contractante.
Corollaire[9],[10],[11],[12],[13] — Soient E un espace métrique complet (non vide) et f une application (non nécessairement continue) de E dans E dont une itérée f q est contractante (on dit que f est à puissance q-ième contractante). Alors f possède un unique point fixe x* et toute suite d'éléments de E vérifiant la récurrence xn+1 = f(xn) converge vers x*.
Ces résultats donnent un algorithme de calcul du point fixe (c'est la « méthode des approximations successives[14] ») contrairement à d'autres théorèmes de point fixe qui nous assurent seulement de l'existence de points fixes sans indiquer comment les déterminer. De plus, l'énoncé donne un majorant de l'erreur.
Remarquons que dans le théorème principal, si l'on note kn la constante de Lipschitz de f n, on a majoré kn par kn. Cette majoration est souvent très mauvaise[réf. nécessaire], ce qui explique que la majoration précédente de d(xn, x*) soit souvent pessimiste. En faisant sur f une hypothèse un peu plus forte que celle du corollaire ci-dessus, mais pas autant que celle du théorème, on peut aboutir à de meilleures majorations (par exemple dans le cas de la résolution des équations différentielles) : si, pour tout entier n, l'application f n est kn-lipschitzienne et si la série de terme général kn est convergente — ce qui permet d'appliquer le corollaire puisque kq < 1 pour q assez grand — alors, en notant comme précédemment x* le point fixe de f et xn = f n(x0) (pour un point arbitraire x0 de E),
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.