Opérateur accrétif

En mathématiques, un opérateur accrétif est une multifonction définie entre espaces de Banach, qui possède une propriété de monotonie analogue à celle que possède un opérateur monotone sur un espace de Hilbert.

Multifonction

Article détaillé : Fonction multivaluée.

Soient E {\displaystyle E} et F {\displaystyle F} deux ensembles. Une fonction multivaluée, ou multifonction T : E F {\displaystyle T:E\multimap F} est une application de E {\displaystyle E} dans l'ensemble des parties de F {\displaystyle F} . Son graphe est noté G ( T ) {\displaystyle {\mathcal {G}}(T)} .

Définition

Soit ( E , ) {\displaystyle (E,\|\cdot \|)} un espace vectoriel normé.

On dit qu'un opérateur T : E E {\displaystyle T:E\multimap E} est accrétif si pour tout λ > 0 {\displaystyle \lambda >0} , pour tout ( x 1 , y 1 ) G ( T ) {\displaystyle (x_{1},y_{1})\in {\mathcal {G}}(T)} et pour tout ( x 2 , y 2 ) G ( T ) {\displaystyle (x_{2},y_{2})\in {\mathcal {G}}(T)} , on a

x 1 x 2 ( x 1 x 2 ) + λ ( y 1 y 2 ) . {\displaystyle \|x_{1}-x_{2}\|\leq \|(x_{1}-x_{2})+\lambda (y_{1}-y_{2})\|.}

L'accrétivité est une manière d'exprimer la monotonicité d'un opérateur dans un espace dépourvu de produit scalaire (voir ce résultat).

On voit que si T {\displaystyle T} est accrétif, quel que soit λ > 0 {\displaystyle \lambda >0} et z E {\displaystyle z\in E} , l'inclusion x + λ T ( x ) z {\displaystyle x+\lambda T(x)\ni z} a au plus une solution x {\displaystyle x} .

Bibliographie

  • Haïm Brezis, Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert, Amsterdam, North-Holland, coll. « Mathematics Studies » (no 5), , 182 p. (ISBN 978-0-08-087116-5, lire en ligne), p. 21
  • (en) Tosio Kato, « Accretive operators and nonlinear evolution equations in Banach spaces », dans F. Browder, Nonlinear Functional Analysis, AMS, coll. « Proc. Symp. Pure Math. » (no 18, Part I), , p. 138-161
  • icône décorative Portail de l'analyse