Fonction propre (analyse convexe)

Fonction propre (analyse convexe): Pour les notions de fonction propre en analyse spectrale et en topologie, voir respectivement Fonction propre et Application propre (en)

En analyse convexe (une branche des mathématiques), on qualifie de propre une fonction à valeurs dans la droite réelle achevée pouvant prendre la valeur $+\infty$ , mais non identiquement égale à cette valeur, et ne prenant pas la valeur $-\infty$ .

Sommaire

1 Définitions

2 Propriété

3 Annexes

3.1 Note

3.2 Bibliographie

Définitions

En analyse convexe, une fonction définie sur un espace vectoriel $\mathbb{E}$ à valeurs dans la droite réelle achevée $\bar{\R}:=\R\cup\{-\infty,+\infty\}$ est dite propre si elle vérifie l'une des propriétés équivalentes suivantes :

elle ne prend pas la valeur $-\infty$ et elle n'est pas identiquement égale à $+\infty$ ;

elle ne prend pas la valeur $-\infty$ et son domaine effectif est non vide ;

son épigraphe est non vide et ne contient pas de droite verticale.

Elle est dite impropre dans le cas contraire.

En analyse convexe, il est utile de pouvoir considérer des fonctions pouvant prendre des valeurs infinies, car certaines fonctions sont le résultat de constructions qui n'assurent pas a priori la finitude des valeurs qu'elles prennent. Les fonctions convexes prenant la valeur $-\infty$ sont très particulières et en général indésirables. Il est cependant souvent préférable de les admettre plutôt que de les exclure par des hypothèses laborieuses obscurcissant les énoncés.

Certains auteurs^[1] notent

$\operatorname{Conv}(\mathbb{E})$

l'ensemble des fonctions convexes propres définies sur un espace vectoriel $\mathbb{E}$ . Ce n'est pas un espace vectoriel (la différence de deux fonctions convexes n'est généralement pas convexe et la somme de deux fonctions convexes propres n'est pas nécessairement propre).

Propriété

Si $\mathbb{E}$ est de dimension finie, on peut le munir d'un produit scalaire, noté $\langle\cdot,\cdot\rangle$ , qui en fait un espace euclidien.

Existence d'une minorante affine — Soit $\mathbb{E}$ un espace euclidien. Alors une fonction $f\in\operatorname{Conv}(\mathbb{E})$ a une minorante affine : il existe $\alpha\in\R$ et $s\in\mathbb{E}$ tels que

$\forall\,x\in\mathbb{E}:\qquad f(x)\geqslant\alpha+\langle s,x\rangle.$
Cette minorante affine peut être choisie exacte en un point donné de l'intérieur relatif du domaine de $f$ : pour tout $x_0\in\operatorname{intr}\,(\operatorname{dom}\,f)$ , il existe $s_0\in\mathbb{E}$ , parallèle à $\operatorname{aff}\,(\operatorname{dom}\,f)$ tel que
$\forall\,x\in\mathbb{E}:\qquad f(x)\geqslant f(x_0)+\langle s_0,x-x_0\rangle.$

La seconde partie de ce résultat revient à dire qu'une fonction convexe propre est sous-différentiable sur l'intérieur relatif de son domaine.

Annexes

Note

↑ Voir Hiriart-Urruty et Lemaréchal (2001).

Bibliographie

(en) J. M. Borwein (en) et A. S. Lewis, Convex Analysis and Nonlinear Optimization, New York, Springer, 2000 .

(en) Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of Convex Analysis, Springer, 2001 (ISBN 3-540-42205-6) .

(en) R.T. Rockafellar (en), Convex Analysis, Princeton, New Jersey, Princeton University Press, coll. « Princeton Mathematics Ser. » (n^o 28), 1970 .

Portail de l'analyse

Catégories :
Analyse
Analyse convexe
Fonction remarquable

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction propre (analyse convexe) de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

Fonction indicatrice (analyse convexe) — Pour les articles homonymes, voir Fonction caractéristique. En mathématiques, et plus précisément en analyse convexe, la fonction indicatrice d une partie P d un ensemble est la fonction qui s annule sur P et prend la valeur sur le complémentaire … Wikipédia en Français
Fonction propre — Pour les notions de fonction propre en analyse convexe et en topologie, voir respectivement Fonction propre (analyse convexe) et Application propre (en) En mathématique En mathématiques, une fonction propre f d un opérateur linéair … Wikipédia en Français
Fonction conjuguée — En mathématiques, et plus précisément en analyse convexe, la fonction conjuguée est une fonction construite à partir d une fonction réelle f définie sur un espace vectoriel , qui est utile pour convexifier une fonction (en prenant sa biconjuguée … Wikipédia en Français
Fonction d'appui — En analyse mathématique, et plus spécialement en analyse convexe, la fonction d appui d une partie P d un espace normé est la fonction convexe qui à une forme linéaire continue s sur associe la borne supérieure de s(P) dans . Sommaire … Wikipédia en Français
Propre — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Propre », sur le Wiktionnaire (dictionnaire universel) Propreté Le propre liturgique Le propre chez… … Wikipédia en Français
fonction — [ fɔ̃ksjɔ̃ ] n. f. • 1537; lat. functio « accomplissement », du v. fungi « s acquitter de » I ♦ Action, rôle caractéristique (d un élément, d un organe) dans un ensemble. A ♦ (Personnes) 1 ♦ Exercice d un emploi, d une charge; par ext. Ce que… … Encyclopédie Universelle
Fonction Hyperbolique — En mathématiques, on appelle fonctions hyperboliques les fonctions cosinus hyperbolique, sinus hyperbolique et tangente hyperbolique. Les noms de sinus, cosinus et tangente proviennent de leur ressemblance avec les fonctions trigonométriques (ou… … Wikipédia en Français
Fonction exponentielle — Pour les articles homonymes, voir Exponentielle. Courbe représentative de la fonction En mathématiques, la fon … Wikipédia en Français
Fonction hyperbolique — En mathématiques, on appelle fonctions hyperboliques les fonctions cosinus hyperbolique, sinus hyperbolique et tangente hyperbolique. Les noms de sinus, cosinus et tangente proviennent de leur ressemblance avec les fonctions trigonométriques (ou… … Wikipédia en Français
Fonction exponentielle (mathématiques élémentaires) — Exponentielle Pour les articles homonymes, voir Exp. Représentation graphique de la fonction exponentielle de base e (en noir), de base 10 (en rouge) et de base 1/2 (en bleu) … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Fonction propre (analyse convexe)

Sommaire

Définitions

Propriété

Annexes

Note

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Fonction propre (analyse convexe)

Sommaire

Définitions

Propriété

Annexes

Note

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link