Académique Documents
Professionnel Documents
Culture Documents
Convexit
Dans tout ce chapitre, I est un intervalle de R.
Dfinition
x, y I,
[0, 1],
f x + (1 )y
f (x) + (1 )f (y).
[0, 1],
f x + (1 )y
f (x) + (1 )f (y).
Fonction convexe
Fonction concave
Explication Quelle interprtation gomtrique de la convexit ? Fixons x, y I tels que x < y et notons F le point
de coordonnes x + (1 )y , f x + (1 )y et C le point de coordonnes x + (1 y) , f (x) + (1 )f (y) .
Lingalit qui dfinit la convexit de f signifie que F est situ sous C pour tout [0, 1].
Or quand dcrit [0, 1], x + (1 )y dcrit le segment [x, y], et donc F dcrit la portion
du graphe de f associe cet intervalle.
Que fait C pendant ce temps ? Remarquons tout dabord que C0 = F0 = y, f (y) , que
C1 = F1 = x, f (x) , et que C = F1 + (1 )F0 , i.e. que C est le barycentre des points
pondrs (F1 , ) et (F0 , 1 ). Cette remarque montre que C dcrit le segment F0 F1
quand dcrit [0, 1].
F1
Attention !
C
F0
F
x
x + (1 )y
Concave nest pas le contraire de convexe : la fonction sinus nest ni concave ni convexe !
Dans ce qui suit, on se contentera dnoncer les proprits des fonctions convexes pour allger le contenu du cours. Le cas des
fonctions concaves sen dduit aussitt, puisquune fonction concave est loppos dune fonction convexe : il suffit de remplacer,
par exemple, le positif par le ngatif, la croissance par la dcroissance, le dessus par le dessous, etc.
Thorme (Monotonie des pentes des cordes) Soit f : I R une application. Les assertions suivantes sont quivalentes :
I
a
R
f est convexe sur I si et seulement si pour tout a I, lapplication
f (x) f (a) est croissante.
xa
En particulier, si f est convexe sur I, on a les ingalits suivantes :
a, b, c I,
a<b<c
f (b) f (a)
ba
f (c) f (a)
ca
f (c) f (b)
.
cb
Explication
On a reprsent ci-contre les cordes associes aux points de la courbe de paramtres a, b
et c, o a < b < c. Les pentes de ces trois cordes sont ranges dans un ordre dont la srie
f (c) f (a)
f (c) f (b)
f (b) f (a)
est la traduction rigoureuse.
dingalits
ba
ca
cb
a
Dmonstration
f (x) f (a)
est croissante sur
xa
a tels que x < y et distinguons trois cas.
1) Supposons quon ait x < y < a. Alors il existe ]0, 1[ tel que y = x + (1 )a. La convexit de
ya
.
f montre alors que f (y) f (x) + (1 )f (a), i.e. que : f (y) f (a) f (x) f (a) . Or =
xa
f (x) f (a)
f (y) f (a)
Comme voulu, puisque y a < 0, on a bien :
.
xa
ya
2) Supposons quon ait x < a < y. Alors il existe ]0, 1[ tel que a = x + (1 )y. La convexit
de f montre alors que f (a) f (x) + (1 )f (y). Or f (a) = f (a) + (1 )f (a). On peut donc affirmer
ya
ax
ceci : f (a) f (x)
(1 ) f (y) f (a) . Mais comme =
et 1 =
, on obtient
yx
yx
f (x) f (a)
f (y) f (a)
comme voulu :
.
xa
ya
3) Supposons quon ait a < x < y. Imiter les deux cas prcdents.
f (x) f (a)
croissante sur I
a pour tout a I et montrons que f est
xa
convexe. Soient x, y I et [0, 1]. Nous devons montrer lingalit : f x+(1)y
f (x)+(1)f (y).
On peut supposer = 0, = 1 et x = y, et mme x < y quitte remplacer par (1 ).
Supposons lapplication x
Posons alors a = x +(1)y, de sorte que x < a < y. Comme par hypothse lapplication t
est croissante, alors :
(y a) f (a) f (x)
Or =
Exemple
Thorme
convexe.
f (x) f (a)
f (a) f (x)
=
ax
xa
(a x) f (y) f (a) ,
f (y) f (a)
,
ya
puis :
f (t) f (a)
ta
i.e. :
ya
f (a) f (x)
yx
ax
f (y) f (a) .
yx
ax
ya
et 1 =
. Le rsultat en dcoule.
yx
yx
x 2 a2
= x + a est croissante sur R
xa
a .
(Rgularit des fonctions convexes) Ici, lintervalle I est suppos ouvert. Soit f : I R une fonction
f est continue sur I.
Attention !
Il est essentiel que lintervalle I soit ouvert : la fonction smiley ci-contre est convexe, mais
pas continue aux bornes.
Une fonction convexe nest pas ncessairement drivable tout court en un point donn : seulement gauche et droite. Par exemple, la fonction valeur absolue est convexe sur R mais pas
drivable en 0.
f (x) f (a)
est croissante sur I
a , donc
xa
possde une limite gauche et une limite droite finies en a en vertu du thorme de la limite monotone. En
dautres termes f est drivable gauche et droite en a, donc en particulier continue gauche et droite en a,
donc continue en a.
Dmonstration
Thorme
(Fonctions convexes drivables) Soit f D(I, R). Les assertions suivantes sont quivalentes :
Dmonstration
(i) = (ii) Supposons f convexe sur I et montrons que f est croissante sur I. Soient donc x, y I tels
que x < y. Pour tout t ]x, y[, la proprit de monotonie des pentes des cordes nous donne lingalit :
f (y) f (x)
f (y) f (t)
f (t) f (x)
. Faisant tendre t vers x droite et vers y gauche, nous obtenons
tx
yx
yt
f (y) f (x)
f (y).
le rsultat voulu : f (x)
yx
(ii) = (iii) Supposons f croissante sur I et montrons que le graphe de f est situ au-dessus de toutes ses
tangentes. Soit a I. Notons lapplication x f (x) f (a)(xa)+f (a) dfinie sur I. Cette application
est drivable sur I et pour tout x I : (x) = f (x) f (a).
Or f est croissante, donc est ngative gauche de a et positive droite de a. Par consquent est
dcroissante gauche de a et croissante droite. Comme (a) = 0, on en dduit que est positive ou nulle
sur tout I, i.e. que le graphe de f est situ au-dessus de sa tangente en a.
(iii) = (i) Supposons le graphe de f situ au-dessus de toutes ses tangentes et montrons que f est convexe
sur I. Soient donc x, y I et [0, 1]. Posons a = x + (1 )y.
Par hypothse, pour tout t I : f (t) f (a)(t a) + f (a). Du coup :
f (a)(x a) + f (a) + (1 ) f (a)(y a) + f (a)
f (x) + (1 )f (y)
= f (a) x + (1 )y a + f (a) = f x + (1 )y .
Et voil.
Exemple
ex
R+ .
(iii) La fonction sinus est concave sur [0, ]. En particulier, pour tout x 0,
x + 1.
R+
ln x
x 1.
2
x
sin x
x.
En effet
(i) La drive de la fonction exp est croissante sur R. Le graphe de exp est situ au-dessus de sa tangente en 0.
(ii) La drive de la fonction ln est dcroissante sur R+ . Le graphe de ln est situ sous sa tangente en 1.
(iii) La drive de la fonction sinus est dcroissante sur [0, ]. Le graphe de sin est situ sous sa tangente en 0
2
x.
dquation y = x, et au-dessus de la corde joignant les points de paramtres 0 et , dquation y =
2
Thorme
k = 1. Alors :
que
k=1
I n et (k )1
k n
k f (xk ).
k x k
k=1
k=1
Dmonstration
k n
(xk )1
k n
I n,
(k )1
k n
[0, 1]n ,
k = 1
k=1
k=1
k f (xk ).
k x k
k=1
n+1
k n+1
I n+1 et (k )1
k n+1
n+1
n
xn +
xn+1 ainsi que
n + n+1
n + n+1
n+1
k x k
= f 1 x1 +2 x2 +. . .+n1 xn1 +n xn
k=1
n+1
n+1
k f (xk ).
k x k
k=1
k=1
Exemple
Pour tous x1 , x2 , . . . , xn
R+
k=1
1
n
n
n+1
f (xn ) + f (xn+1 ).
n
n
n+1
n
xn + xn+1
n
n
f (xn ) = f
1
n
xk
1
xk
k=1
Moyenne gomtrique
xk .
k=1
Moyenne arithmtique
Moyenne harmonique
En effet
Tout repose trangement sur la concavit de la fonction logarithme, dj dmontre plus haut. Comme
n fois
1
1
1
+ + . . . + = 1, on a :
n
n
n
ln
k=1
1
n
1
xk
n
k=1
xk
xk
1
n
xk
k=1
1
n
k=1
k=1
Dfinition
1
ln xk = ln
n
1
pour tout k 1, n .
xk
(Point dinflexion)
Thorme (Points dinflexion dune fonction de classe C 2 ) Soient f C 2 (I, R) et a I. On suppose f dfinie au
voisinage de a gauche et droite.
f possde un point dinflexion en a si et seulement si f sannule et change de signe en a.
Dmonstration
Faisons lhypothse que f possde un point dinflexion en a et que, par exemple, f est convexe sur un
voisinage de a gauche et concave sur un voisinage de a droite raisonnement analogue dans lautre cas.
Alors f est croissante sur un voisinage de a gauche et dcroissante sur un voisinage de a droite. Donc
f est positive sur un voisinage de a gauche et ngative sur un voisinage de a droite. Or f est continue
par hypothse en a, donc f (a) est la fois positif et ngatif, i.e. nul. Bref, f sannule et change de signe
en a.
Faisons lhypothse que f sannule et change de signe en a, par exemple que f est positive sur un voisinage
de a gauche et ngative sur un voisinage de a droite raisonnement analogue dans lautre cas. Alors
f est croissante sur un voisinage de a gauche et dcroissante sur un voisnage de a droite. Donc f est
convexe sur un voisinage de a gauche et concave sur un voisinage de a droite.
Exemple
b
R, en .
3a
Soient a, b, c R, a = 0. La fonction polynomiale x ax3 + bx2 + cx + d possde un unique point dinflexion sur
La drive seconde de la fonction x ax3 + bx2 + cx + d est la fonction x 6ax + 2b, qui sannule
b
en changeant de signe en .
3a
En effet
Exemple