Minimum saillant

Un minimum saillant (sharp minimum en anglais) d'un fonction convexe définie sur un espace normé à valeurs dans est un point tel que

On appellera la saille[1] de . Un minimum saillant est bien sûr l'unique minimiseur de sur et on peut utiliser ce concept pour caractériser l'unicité du minimiseur d'une fonction convexe polyédrique[2]. Lorsqu'on s'éloigne d'un minimum saillant, croît avec une pente strictement positive (voir ci-dessous pour d'autres caractérisations de ce concept), si bien que cette notion est propre aux fonctions convexes non lisses.

Ce concept a été introduit par B.T. Polyak (1979[3]) et a été étendu pour décrire un ensemble saillant de minimiseurs (qui n'est donc plus un singleton) par Burke et Ferris (1993).

Caractérisation

La caractérisation suivante est reprise de Polyak (1987).

Caractérisation d'un minimum saillant  Soient un espace euclidien, une fonction convexe propre, la boule unité fermée de , , le sous-différentiel de en et . Alors les propriétés suivantes sont équivalentes:

  1. est un minimum saillant de , de saille ,
  2. : ,
  3. .

Annexes

Notes

  1. Néologisme.
  2. Voir par exemple la caractérisation de l'unicité du minimum d'une fonction polyédrique, qui s'avère utile pour caractériser l'unicité de la solution du problème de poursuite de base.
  3. Voir Polyak (1979) et Polyak (1987).

Article connexe

Bibliographie

  • (en) J.V. Burke, M.C. Ferris (1993). Weak sharp minima in mathematical programming. SIAM Journal on Control and Optimization, 31, 1340–1359. DOI
  • (en) B.T. Polyak (1979). Sharp minima. Presented at the IIASA Workshop on Generalized Lagrangians and Their Applications, IIASA, Laxenburg, Austria, 1979.
  • (en) B.T. Polyak (1987). Introduction to Optimization. Optimization Software, New York.
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.