Application non expansive
En mathématiques, une application non expansive entre espaces normés est une application 1-lipschitzienne. Il s'agit donc du cas limite des applications contractantes, qui sont les applications k-lipschitziennes pour un k < 1.
Contrairement aux applications contractantes, les applications non expansives n'ont pas nécessairement de point fixe (par exemple, une translation de vecteur non nul est non expansive et n'a pas de point fixe). Par ailleurs, même si une application non expansive T a un point fixe, une suite d'itérés Tk(x) ne converge pas nécessairement vers un tel point (c'est le cas pour une symétrie centrale) ; on peut toutefois obtenir des résultats de convergence vers un point fixe d'au moins deux manières : soit en imposant des conditions plus restrictives sur l'application (sans toutefois aller jusqu'à la contraction), soit en modifiant la suite des itérés.
Définitions
[modifier | modifier le code]Soient un espace normé, un fermé de et une application (non nécessairement linéaire).
- On dit que est non expansive[1] si
- Si l'espace est un espace de Hilbert, on dit que est fermement non expansive[réf. nécessaire] si
Par l'inégalité de Cauchy-Schwarz, une application fermement non expansive est non expansive ; elle est aussi monotone.
Point fixe
[modifier | modifier le code]On rappelle qu'un espace strictement convexe est un espace normé dans lequel : .
Convexité de l'ensemble des points fixes[2] — Si
- est un espace strictement convexe,
- est un convexe non vide de ,
- est une application non expansive,
alors l'ensemble des points fixes de est un convexe (éventuellement vide).
Théorème du point fixe de Browder — Si
- est un espace de Banach uniformément convexe,
- est un convexe fermé borné non vide de ,
- est une application non expansive,
alors a un point fixe.
Approximations successives
[modifier | modifier le code]On s'intéresse ici, pour une application non expansive T, à la convergence des « approximations successives » Tk(x) vers un point fixe éventuel.
Théorème d'Opial (pl)[3] — Si est un espace de Hilbert, si est un convexe fermé de et si est une application vérifiant les propriétés suivantes :
- est non expansive,
- ,
- a un point fixe,
alors, pour tout , la suite converge faiblement vers un point fixe de .
Ce résultat ne peut pas être généralisé à tous les espaces uniformément convexes.
Notes et références
[modifier | modifier le code]- Certains auteurs appellent « contractions » les applications non expansives et « contractions strictes » les applications contractantes : voir par exemple H. Brézis, Opérateurs Maximaux Monotones et semi-groupes de contractions dans les espaces de Hilbert, Amsterdam, North-Holland, coll. « Mathematics Studies » (no 5), (ISBN 978-0-7204-2705-9).
- Voir par exemple Brézis 1973, théorème 1.2.
- (en) Z. Opial, « Weak convergence of the sequence of successive approximations for nonexpansive mappings », Bull. Amer. Math. Soc., vol. 73, 1967, p. 591-597.