Introduction
La notion de fonction contractante est fondamentale dans divers domaines des mathématiques, notamment en analyse et en topologie. Elle intervient dans la résolution d'équations, la théorie des points fixes et l'étude des systèmes dynamiques. Cet article vise à définir précisément ce qu'est une fonction contractante, à explorer ses propriétés essentielles et à illustrer son importance à travers des exemples concrets.
Définition formelle
Une fonction $f$ définie sur un espace métrique $(E, d)$ à valeurs dans lui-même est dite contractante s'il existe une constante $k \in [0, 1[$ telle que pour tout $x, y \in E$, on ait :
$$d(f(x), f(y)) \leq k \cdot d(x, y)$$
La constante $k$ est appelée le module de contraction de $f$. L'importance de la condition $k < 1$ réside dans le fait qu'elle assure que la distance entre les images de deux points quelconques est strictement inférieure à la distance entre ces points, multipliée par un facteur constant.
Lien avec les fonctions Lipschitziennes
Une fonction contractante est un cas particulier de fonction lipschitzienne. Une fonction $f: E \rightarrow E$ est dite lipschitzienne s'il existe une constante $A > 0$ telle que pour tout $x, y \in E$, on ait :
Lire aussi: Atelier de Contractance Générale : Guide Complet
$$d(f(x), f(y)) \leq A \cdot d(x, y)$$
Ainsi, toute fonction contractante est lipschitzienne, mais la réciproque n'est pas toujours vraie. En effet, pour qu'une fonction lipschitzienne soit contractante, il faut que sa constante de Lipschitz $A$ soit strictement inférieure à 1.
Propriétés importantes
Existence et unicité du point fixe
Le théorème du point fixe de Banach, également connu sous le nom de théorème de la contraction, est un résultat fondamental qui garantit l'existence et l'unicité d'un point fixe pour une fonction contractante dans un espace métrique complet. Plus précisément, si $(E, d)$ est un espace métrique complet et $f: E \rightarrow E$ est une fonction contractante, alors il existe un unique point $x^* \in E$ tel que $f(x^) = x^$. De plus, pour tout point initial $x0 \in E$, la suite définie par $x{n+1} = f(x_n)$ converge vers le point fixe $x^*$.
Stabilité
Les fonctions contractantes sont stables, ce qui signifie que de petites perturbations de la fonction n'affectent pas significativement la position du point fixe. Cette propriété est cruciale dans les applications numériques, où les erreurs d'arrondi sont inévitables.
Composition
La composée de deux fonctions lipschitziennes est lipschitzienne. Si $f$ et $g$ sont deux fonctions lipschitziennes de constantes $A$ et $B$ respectivement, alors $f \circ g$ est lipschitzienne de constante $AB$. Cela implique que la composée de deux fonctions contractantes est également contractante.
Lire aussi: Guide complet sur la contractance
Exemples
Fonction affine
Considérons la fonction $f(x) = ax + b$, où $a, b \in \mathbb{R}$ et $|a| < 1$. Cette fonction est contractante sur $\mathbb{R}$ avec un module de contraction égal à $|a|$. En effet, pour tout $x, y \in \mathbb{R}$, on a :
$$|f(x) - f(y)| = |(ax + b) - (ay + b)| = |a(x - y)| = |a| \cdot |x - y|$$
Puisque $|a| < 1$, $f$ est contractante.
Itération de fonctions
Soit $f(x) = \frac{1}{2} \sin(x)$. Cette fonction est contractante sur $\mathbb{R}$. Pour le montrer, on peut utiliser le théorème des accroissements finis. Pour tout $x, y \in \mathbb{R}$, il existe $c$ entre $x$ et $y$ tel que :
$$f(x) - f(y) = f'(c)(x - y)$$
Lire aussi: Accompagner un bébé né après terme
Donc,
$$|f(x) - f(y)| = |f'(c)| \cdot |x - y| = \left| \frac{1}{2} \cos(c) \right| \cdot |x - y| \leq \frac{1}{2} |x - y|$$
Ainsi, $f$ est contractante avec un module de contraction égal à $\frac{1}{2}$.
Applications
Résolution d'équations
Les fonctions contractantes sont utilisées pour résoudre des équations de la forme $f(x) = x$. Le théorème du point fixe de Banach garantit l'existence et l'unicité d'une solution, et fournit une méthode itérative pour l'approcher.
Systèmes dynamiques
Dans l'étude des systèmes dynamiques, les fonctions contractantes jouent un rôle important dans l'analyse de la stabilité des points d'équilibre. Si une fonction décrivant l'évolution d'un système est contractante au voisinage d'un point d'équilibre, alors ce point est stable.
Analyse numérique
Les fonctions contractantes sont utilisées dans de nombreuses méthodes d'analyse numérique, telles que la méthode de Newton et la méthode de Picard, pour résoudre des équations différentielles et intégrales.
Exemple de fonction contractante avec puissance
Soit $f$ une fonction lipschitzienne de constante $B$. Considérons la fonction $g(x) = (f(x))^p$, où $p \in \mathbb{N}^*$. Nous voulons montrer que $g$ peut être contractante sous certaines conditions.
Supposons que $f$ est à valeurs dans $[-M, M]$. Alors, pour tout $x, y \in \mathbb{R}$, nous avons :
$$|(f(x))^p - (f(y))^p| \leq A |f(x) - f(y)|$$
où $A$ est une constante dépendant de $p$ et $M$. Comme $f$ est lipschitzienne de constante $B$, nous avons :
$$|(f(x))^p - (f(y))^p| \leq A |f(x) - f(y)| \leq AB |x - y|$$
Si $AB < 1$, alors $g(x) = (f(x))^p$ est contractante. Cela montre que la composée de fonctions lipschitziennes (ici, élever à la puissance $p$ et $f$) peut encore être lipschitzienne, et même contractante si les constantes sont suffisamment petites.
Démonstration de la contractance de la fonction puissance
On cherche à démontrer que si $f$ est une fonction lipschitzienne, alors $(f(x))^p$ peut être lipschitzienne et potentiellement contractante.
Soient $x, y \in \mathbb{R}$. On a:
$$|(f(x))^p - (f(y))^p| = |(f(x) - f(y)) \sum_{k=0}^{p-1} (f(x))^k (f(y))^{p-1-k}|$$
Si $f(x), f(y) \in [-M, M]$, alors $|(f(x))^k (f(y))^{p-1-k}| \leq M^{p-1}$. Donc,
$$|\sum{k=0}^{p-1} (f(x))^k (f(y))^{p-1-k}| \leq \sum{k=0}^{p-1} |(f(x))^k (f(y))^{p-1-k}| \leq \sum_{k=0}^{p-1} M^{p-1} = p M^{p-1}$$
Ainsi,
$$|(f(x))^p - (f(y))^p| \leq |f(x) - f(y)| p M^{p-1}$$
Comme $f$ est lipschitzienne de constante $B$, on a $|f(x) - f(y)| \leq B |x - y|$. Donc,
$$|(f(x))^p - (f(y))^p| \leq B p M^{p-1} |x - y|$$
La fonction $(f(x))^p$ est donc lipschitzienne de constante $B p M^{p-1}$. Pour que $(f(x))^p$ soit contractante, il faut que $B p M^{p-1} < 1$.
tags: #contractance #mathématiques #définition