Accueil🇫🇷Chercher

Théorème de Fenchel-Moreau

En analyse convexe, le théorème de Fenchel–Moreau (nommé d'après Werner Fenchel et Jean-Jacques Moreau) ou théorème de biconjugation de Fenchel (ou juste théorème de biconjugation) est un théorème qui donne des conditions nécessaires et suffisantes pour qu'une fonction soit égale à sa biconjuguée. Ce résultat est à mettre en contraste avec l’inégalité v[1] - [2]. Ce théorème peut être vu comme une généralisation du théorème bipolaire[1]. Il est utilisé pour prouver la dualité forte (en) (à l'aide de fonction de perturbation).

Illustration d'une fonction qui n'est pas semi-continue inférieure. D'après le théorème de Fenchel-Moreau, cette fonction n'est pas égale à sa biconjuguée.

Énoncé du théorème

Soit un espace de Hausdorff localement convexe, pour toute fonction à valeur dans la droite réelle achevée, on a si et seulement si l'une des conditions suivantes est vraie

  1. est une fonction semi-continue inférieure convexe propre,
  2. , ou
  3. [1] - [3] - [4].

Références

  1. (en) Jonathan Borwein et Adrian Lewis, Convex Analysis and Nonlinear Optimization : Theory and Examples, New York, Springer, , 2e éd., 76–77 p. (ISBN 978-0-387-29570-1, lire en ligne)
  2. (en) Constantin Zălinescu, Convex analysis in general vector spaces, River Edge, NJ, World Scientific PublishingCo.,Inc., , 75–79 p. (ISBN 981-238-067-1, MR 1921556), « J »
  3. Hang-Chin Lai et Lai-Jui Lin, « The Fenchel-Moreau Theorem for Set Functions », American Mathematical Society, vol. 103, no 1, , p. 85-90 (DOI 10.2307/2047532)
  4. Shozo Koshi et Naoto Komuro, « A generalization of the Fenchel–Moreau theorem », Proc. Japan Acad. Ser. A Math. Sci., vol. 59, no 5, , p. 178–181
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.