Section 4 Convexité, concavité

Dans l'idée, une fonction \(f:I\in \R \rightarrow \R\) est convexe si, pour tous \(a,b\) dans \(I\text{,}\) le graphe de \(f\) est en dessous du segment de \(\R^2\) qui relie les points \((a,f(a))\) et \((b,f(b))\text{.}\)
Et inversement, \(f\) est concave si le graphe de \(f\) entre \(a\)et \(b\) est au-dessus du segment qui relie \((a,f(a))\) et \((b,f(b))\text{.}\)
Pour rendre ça un peu plus précis, il nous faut une meilleure description des segments de \(\R\) et de \(\R^2\text{.}\)
Projet 4.1. Segments.
(a)
Soient \(a\lt b\) deux réels. Montrer que
(b)
Donner l'équation de la droite qui passe par \((a,f(a))\) et \((b,f(b))\text{.}\)
(c)
En déduire que si \((x,y)\) est un point du segment de droite de \(\R^2\) qui relie les points \((a,f(a))\) et \((b,f(b))\text{,}\) alors il existe \(t\in[0,1]\) tel que
autrement dit, sous forme de vecteurs:
Définition 4.2.
Soit \(f:I\subset \R \rightarrow \R\text{.}\)
-
On dit que \(f\) est convexe si, pour tous \(a,b\in I\text{,}\) pour tout \(t\in[0,1]\text{,}\)
\begin{equation*} f((1-t)a+tb) \leq (1-t)f(a)+tf(b) \end{equation*} -
On dit que \(f\) est concave si, pour tous \(a,b \in I\text{,}\) pour tout \(t\in[0,1]\text{,}\)
\begin{equation*} f((1-t)a+tb) \geq (1-t)f(a)+tf(b) \end{equation*}
Projet 4.2. Exemples.
(a)
Montrer que la fonction \(x\mapsto |x|\) est convexe sur \(\R\text{.}\)
(b)
Montrer (sans utiliser la dérivée !) que la fonction \(x\mapsto x^2\) est convexe sur \(\R\text{.}\)
(c)
Montrer (sans utiliser la dérivée !) que la fonction \(x\mapsto \sqrt x\) est concave sur \(\R^+\text{.}\)
(d)
Montrer que les fonctions affines sont à la fois convexes et concaves sur \(\R\text{.}\)
(e)
Réciproquement, montrer que si une fonction définie sur \(\R\) est à la fois convexe et concave, alors elle est affine.
Il s'agit donc de trouver deux réels \(c\) et \(d\) tels que
\(\leadsto\) Dans ce cas, forcément, \(d=f(0)\text{,}\) et du coup, \(f(x)-f(0)=cx\) sdevrait être une fonction linéaire.
\(\leadsto\) Noter \(\ell(x)=f(x)-f(0)\) et montrer qu'il existe \(c\gt 0\) tel que \(\ell(x)=cx\text{.}\)





Du coup, si \(f\) est une fonction définie sur un intervalle \(I\text{,}\) alors pour tout \(a \lt b\) dans \(I\text{,}\) si on prend un point entre \(a\) et \(b\text{,}\) on peut l'écrire
-
Le point correspondant sur le segment de \(\R^2\) qui relie \((a,f(a))\) et \((b,f(b))\) est
\begin{equation*} A= (1-t)\begin{pmatrix}a\\f(a)\end{pmatrix} + t \begin{pmatrix}b\\f(b)\end{pmatrix} =\begin{pmatrix}(1-t)a+tb\\(1-t)f(a)+tf(b)\end{pmatrix} \end{equation*} -
Le point correspondant du graphe de \(f\) est le point
\begin{equation*} B= \begin{pmatrix}x\\f(x)\end{pmatrix}\begin{pmatrix}(1-t)a+tb\\f((1-t)a)+tb)\end{pmatrix} \end{equation*}
\(\leadsto\) Si \(f\) est convexe, alors \(f((1-t)a+tb) \leq (1-t)f(a)+tf(b)\text{,}\) donc le point \(A\) sur le segment est au-dessus du point \(B\) sur le graphe.
\(\leadsto\) Et si \(f\) est concave, c'est l'inverse.
Donc cette définition décrit bien la situation qui nous intéresse.
Sous-section 4.1 Convexité et dérivée
Si on suppose en plus que \(f\) est dérivable sur \(I\text{,}\) alors il est plus facile de vérifier la convexité:
Proposition 4.3.
Soit \(f:I\rightarrow \R\) une fonction définie sur un intervalle \(I\subset \R\text{.}\) On suppose que \(f\) est dérivable à l'intérieur de \(I\text{.}\)
Alors \(f\) est convexe si, et seulement si, \(f'\) est croissante sur \(I\text{.}\)
Projet 4.3. Preuve de la proposition.
On va montrer ça par double implication.
(a)
\(\boxed{\Rightarrow}\) Supposons que \(f\) est convexe. Soient \(a,b\in I\) tels que \(a \lt b\text{.}\) On veut montrer que \(f'(a) \leq f'(b)\text{.}\)
Soit \(x \in I\) tel que \(a \lt x \lt b.\) Montrer que
(b)
En déduire que
(c)
Montrer de la même façon que
et, de là, que
(d)
Conclure la première implication.
(e)
\(\boxed{\Leftarrow}\) Supposons maintenant que \(f'\) est croissante.
Soient \(a,b \in I\text{,}\) \(a \lt b\text{,}\) et \(t\in [0,1]\text{.}\) On doit montrer que
Si \(t=0\) ou \(t=1\text{,}\) l'inégalité est vraie.
Supposons donc \(0\lt t \lt 1\) et notons
Justifier qu'il existe \(c \lt c'\) tels que
(f)
En déduire que
(g)
En déduire que
(h)
Conclure la deuxième implication.
Une autre caractérisation des fonctions convexes compare leur graphe aux droites tangentes:
Proposition 4.4.
Soit \(f:I\rightarrow \R\) une fonction définie et dérivable sur un intervalle \(I\subset \R\text{.}\)
Alors \(f\) est convexe si, et seulement si, sa courbe représentative est au-dessus de chacune des tangentes.

Projet 4.4. Preuve.
Pour ne pas changer, on va procéder par double implication.
Soit donc \(f:I\rightarrow \R\) une fonction dérivable.
(a)
Rappeler l'équation de la tangente à la courbe de \(f\) en un point \(a\in I\text{.}\)
(b)
\(\boxed{\Rightarrow}\) Supposons que \(f\) est convexe. Soit \(a\in I\text{.}\) Montrer que, pour tout \(x\in I\text{,}\)
et conclure.
(c)
\(\boxed{\Leftarrow}\) Supposons maintenant que \(f\) est une fonction dont le graphe est au-dessus des tangentes.
Soient \(a,b\in I\text{,}\) montrer que
et conclure.
Et pour savoir si \(f'\) est croissante... on fait comme d'habitude: on la dérive (si on peut !)
Proposition 4.5.
Soit \(f:I\subset \R \rightarrow \R\) un fonction.
On suppose que \(f\) est deux fois dérivable sur \(I\text{.}\)
Alors \(f\) est convexe ssi, pour tout \(x\in I\text{,}\) \(f''(x) \geq 0\text{.}\)
commons.wikimedia.org/wiki/File:ConvexFunction.svg