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éfinitionsModifier

Soient   un espace normé,   un fermé de   et   une application (non nécessairement linéaire).

  • On dit que   est non expansive[1] si

 

 

Par l'inégalité de Cauchy-Schwarz, une application fermement non expansive est non expansive ; elle est aussi monotone.

Point fixeModifier

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 successivesModifier

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érencesModifier

  1. 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).
  2. Voir par exemple Brézis 1973, théorème 1.2.
  3. (en) Z. Opial, « Weak convergence of the sequence of successive approximations for nonexpansive mappings », Bull. Amer. Math. Soc., vol. 73, 1967, p. 591-597.