Rappelons qu’une fonction

f

est convexe si pour toute paire de points

x_{1} < x_{2}

, et pour tout

λ \in [0, 1]

f ((1 - λ) x_{1} + λ x_{2}) ⩽ (1 - λ) f (x_{1}) + λ f (x_{2}) .

L’interprétation géométrique étant la suivante: si on choisit deux points quelconques sur le graphe de

f

, le segment qui les relie est entièrement au-dessus du graphe.
Or on peut remarquer que lorsque

f

est dérivable, c’est-à-dire lorsque

f^{'} (x)

est défini pour tout

x

, alors la convexité semble être équivalente à la croissance de

x \mapsto f^{'} (x)

Sur l’animation ci-dessus, on a une fonction qui est manifestement convexe et dérivable, et on observe que sa dérivée est croissante. Ceci implique que si la dérivée est dérivable, et si la dérivée de la dérivée, c’est-à-dire la dérivée seconde, est positive, alors la fonction doit être convexe. Plus précisément:

Théorème 9.8.

Soit

I

un intervalle ouvert,

f : I \to R

deux fois dérivable sur

I

(

f

est dérivable, et

f^{'}

est aussi dérivable sur

I

Si $f^{''} (x) ⩾ 0$ pour tout $x \in I$ , alors $f$ est convexe sur $I$ .
Si $f^{''} (x) ⩽ 0$ pour tout $x \in I$ , alors $f$ est concave sur $I$ .

Proof

Il suffit de démontrer la première implication. Remarquons d’abord que comme

f^{''} ⩾ 0

f^{'}

est croissante sur

I

. Soient

x_{1} < x_{2}

dans

I

. Fixons

λ \in] 0, 1 [

et posons

z := (1 - λ) x_{1} + λ x_{2}

On applique deux fois le théorème des accroissements finis:

Sur $[x_{1}, z]$ : il existe $c_{1} \in] x_{1}, z [$ tel que $f^{'} (c_{1}) = \frac{f ( z ) - f ( x _{1} )}{z - x _{1}}$
Sur $[z, x_{2}]$ : il existe $c_{2} \in] z, x_{2} [$ tel que $f^{'} (c_{2}) = \frac{f ( x _{2} ) - f ( z )}{x _{2} - z}$

Remarquons que comme

c_{1} < c_{2}

, et puisque

f^{'}

est croissante,

f^{'} (c_{1}) ⩽ f^{'} (c_{2})

Donc

f (z) - f (x_{1}) f (x_{2}) - f (z) ⩽ f^{'} (c_{2}) (z - x_{1}) ∣ \cdot (1 - λ) = f^{'} (c_{2}) (x_{2} - z) ∣ \cdot λ

En soustrayant les deux inégalités (multipliées par

1 - λ

λ

), on trouve

f (z) - {(1 - λ) f (x_{1}) + λ f (x_{2})} ⩽ f^{'} (c_{2}) (= 0 (1 - λ) (z - x_{1}) - λ (x_{2} - z)) = 0 .

On a donc montré que

f (z) ⩽ (1 - λ) f (x_{1}) + λ f (x_{2}) .

□

Exemple 9.41.

Prenons

f (x) = x^{2}

sur

R

. Comme

f^{''} (x) = 2 > 0 \forall x \in R,

le théorème garantit que

f

est convexe.

Exemple 9.42.

Prenons

f (x) = e^{x}

sur

R

. Puisque

f^{''} (x) = e^{x} > 0 \forall x \in R,

le théorème garantit que

f

est convexe.

Exemple 9.43.

Considérons maintenant

f (x) = lo g (x)

, sur

R_{+}^{*}

. Comme

f^{''} (x) = - \frac{1}{x ^{2}} < 0 \forall x \in R_{+}^{*},

le théorème entraîne que

f

est concave:

Exemple 9.44.

Considérons le polynôme

f (x) = x^{4} - x^{2}

, et cherchons les intervalles sur lesquels

f

est convexe/concave. Puisque

f

est deux fois dérivable, l’étude du signe de

f^{''} (x) = 2 (6 x^{2} - 1)

donne:

On en déduit par le théorème que:

$f$ est convexe sur $] - \infty, - 1/6 [$ ,
$f$ est concave sur $] - 1/6, + 1/6 [$ ,
$f$ est convexe sur $] + 1/6, + \infty [$ .

Les points

P_{\pm} = (\pm 1/6, f (\pm 1/6))

sont des points d’inflexion: ce sont des points du graphe où la nature de la courbe change, passant de concave (resp. convexe) à convexe (resp. concave).

Quiz 9.13.1.Soit

I

un intervalle ouvert et borné,

f : I \to R

. Vrai ou faux?

Quiz 9.13.2.Soit

f : R \to R

convexe. Vrai ou faux?

Analyse I / GM

9.13 Dérivée seconde et convexité/concavité