Fonction concave

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Article court

La fonction représentée à gauche est concave ; celle de droite est convexe.

En mathématiques, une fonction f est dite concave lorsque la fonction opposée f est convexe.

Le fait que l'on préfère commencer par définir la notion de fonction convexe et d'en déduire celle de fonction concave trouve son origine dans le fait que l'on définit aisément la notion d'ensemble convexe, alors que celle d'« ensemble concave » est moins naturelle. On définit alors les fonctions convexes comme celles ayant un épigraphe convexe (les fonctions concaves ont un hypographe convexe). C'est pourquoi l'analyse convexe existe en tant que discipline des mathématiques, mais pas l'« analyse concave ».

Définitions

Modèle:Théorème

Exemple de fonction concave. Tout segment joignant deux points de la courbe se situe sous la courbe.

Cette définition est équivalente à la définition suivante : Modèle:Théorème

Cette définition traduit le fait qu'un segment joignant deux points de la courbe représentative de f est toujours situé sous cette courbe.

Cas des fonctions dérivables

On dispose de deux caractérisations : Modèle:Théorème

On déduit de la seconde caractérisation :

  • que toute fonction concave et dérivable (sur un intervalle réel) est de [[Classe de régularité|classe CModèle:1]][1] ;
  • le corollaire suivant, fort pratique pour vérifier sans mal la concavité d'exemples spécifiques :

Modèle:Théorème

Exemple de fonctions concaves

Exemples de fonctions réelles concaves.

Parmi les fonctions concaves simples, on peut citer évidemment par définition les opposées des fonctions réelles convexes, par exemple :

Citons également certaines réciproques de fonctions convexes, par exemple sur +* :

De manière plus générale, les fonctions deux fois dérivables dont la dérivée seconde est toujours négative sont des fonctions concaves. Mais une fonction concave n'est pas nécessairement dérivable, comme en témoigne la fonction x|x| (opposée de la valeur absolue).

Article connexe

Références

Modèle:Références

Modèle:Portail

  1. Énoncé dans Modèle:Ouvrage (prop. 5.44) et démontré dans Modèle:Note autre projet Pour une généralisation aux fonctions convexes d'une variable vectorielle, voir Modèle:Ouvrage.