Théorème de Fenchel-Moreau
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c0/Upper_semi.svg/220px-Upper_semi.svg.png)
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).
É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
- est une fonction semi-continue inférieure convexe propre,
- , ou
- [1],[3],[4].
Références
- ↑ a b et c (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)
- ↑ (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 »
- ↑ 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)
- ↑ 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
Portail de l'analyse