4<strong>Fonctions</strong> <strong>convexes</strong>74.2 Résultats utilesThéorème 3 : Si f : I −→ R est convexe, alors pour tout x 0 ∈ I˚, f admet une dérivée à gauche f ′ get une dérivée à droite f ′ d , f est continue sur I˚ et f ′ g , f ′ dsont croissantes sur I˚.démonstration :• Soit x 0 ∈ I˚. Pour tous x ∈ ]a, x 0 [ et y ∈ ]x 0 , b[, le théorème 2 nous assure que ϕ x0 est croissante etmajorée sur ]a, x 0 [ par ϕ x0 (y). Donc la limite à gauche en x 0 <strong>de</strong> ϕ x0 existe etlim ϕ f(x) − f(x 0 )xx→x − 0(x) = lim= f0 x→x − 0 x − xg(x ′ 0 ).0On procè<strong>de</strong> <strong>de</strong> la même manière pour la dérivée à droite, et ces <strong>de</strong>ux résultats amènent directement lacontinuité <strong>de</strong> f sur I˚.• Soit x 0 ∈ I˚. On a alors que pour tous x ∈ ]a, x 0 [ et y ∈ ]x 0 , b[,f(x) − f(x 0 )x − x 0 f(y) − f(x 0)y − x 0.En passant à la limite (x → x 0 − et y → x 0 + ), on obtient l’inégalité f ′ g(x 0 ) f ′ d (x 0), notée (1). Soitalors x 1 ∈ I˚ tel que x 0 < x 1 . D’après le point (ii) du théorème 2, on a pour tout xin ]x 0 , x 1 [,⇒f(x) − f(x 0 ) f(x 1) − f(x 0 ) f(x) − f(x 1)x − x 0 x 1 − x 0 x − x 1limx→x 0+f(x) − f(x 0 ) f(x 1) − f(x 0 ) limx − x 0 x 1 − x 0 x→x − 1⇔ f ′ d (x 0) f(x 1) − f(x 0 )x 1 − x 0 f ′ g(x 1 ). (2)f(x) − f(x 1 )x − x 1Ainsi, les inégalités (1) et (2) nous donnent f g(x ′ 0 ) f g(x ′ 1 ), ce qui justifie la croissance <strong>de</strong> f g ′ sur I˚.On procè<strong>de</strong> <strong>de</strong> la même manière pour fd ′ .Remarques 3 :1. f convexe sur I ⇏ f continue sur I. Considérer par exemple la fonction f définie sur [−1, 1] par f(−1) =f(1) = 2 et pour tout x ∈ ] − 1, 1[, f(x) = x 2 .2. f convexe sur I ⇏ f dérivable sur I. Considérer par exemple la valeur absolue sur un intervalle ouvertcontenant 0.• •
5<strong>Fonctions</strong> <strong>convexes</strong>Théorème 4 : Soit f : I −→ R une fonction continue sur I et dérivable sur I˚. Alors f est <strong>convexes</strong>ur I si et seulement si f ′ est croissante sur I˚.démonstration : Le sens direct est assuré par le théorème 3. En effet, puisque f est dérivable sur I˚,on a f ′ g = f ′ d = f ′ sur I˚, ce qui donne directement la croissance <strong>de</strong> f ′ sur I˚.Démontrons alors le sens indirect. Soient x 1 , x 2 ∈ I tels que x 1 < x 2 et x 0 ∈ ]x 1 , x 2 [. Il existe doncλ ∈ ]0, 1[ tel que x 0 = λ x 1 + (1 − λ)x 2 . On applique le théorème <strong>de</strong>s accroissements finis sur ]x 1 , x 0 [et ]x 0 , x 2 [, <strong>de</strong> sorte que∃ c 1 ∈ ]x 1 , x 0 [ | f(x 0 ) − f(x 1 ) = f ′ (c 1 )(x 0 − x 1 ) ⇔ f ′ (c 1 ) = f(x 0) − f(x 1 )x 0 − x 1,∃ c 2 ∈ ]x 0 , x 2 [ | f(x 2 ) − f(x 0 ) = f ′ (c 2 )(x 2 − x 0 ) ⇔ f ′ (c 2 ) = f(x 2) − f(x 0 )x 2 − x 0.Puisque f ′ est croissante sur I˚ par hypothèse, et c 1 < c 2 , alorsf ′ (c 1 ) f ′ (c 2 ) ⇔ f(x 0) − f(x 1 )x 0 − x 1 f(x 2) − f(x 0 )x 2 − x 0⇒ λ(x 2 − x 1 ) ( f(x 0 ) − f(x 1 ) ) (1 − λ)(x 2 − x 1 ) ( f(x 2 ) − f(x 0 ) )⇔ f(x 0 ) = f ( λ x 1 + (1 − λ)x 2) λ f(x1 ) + (1 − λ)f(x 2 ),donc f est convexe sur I.Corollaire 1 : Soit f : I −→ R une fonction continue sur I et dérivable sur I˚. Alors f est <strong>convexes</strong>ur I si et seulement si la courbe représentative <strong>de</strong> f est au-<strong>de</strong>ssus <strong>de</strong> toutes ses tangentes.démonstration : Soit x 0 ∈ I˚. L’équation <strong>de</strong> la tangente en x 0 à f est donnée pour tout x ∈ Ipar y = f ′ (x 0 )(x − x 0 ) + f(x 0 ). Soit alors g(x) = f(x) − f ′ (x 0 )(x − x 0 ) − f(x 0 ) définie sur I. gest dérivable sur I˚ et g ′ (x) = f ′ (x) − f ′ (x 0 ). On remarque que g(x 0 ) = 0, et on note C f la courbereprésentative <strong>de</strong> f. On a alors les équivalences suivantes :⇔⇔f est au-<strong>de</strong>ssus <strong>de</strong> toutes ses tangentes{ g ′ {< 0 sur ]a, x 0 [ ∀x x0 , fg ′ ⇔′ (x) f ′ (x 0 )> 0 sur ]x 0 , a[ ∀x 0 x, f ′ (x 0 ) f ′ (x)f ′ croissante sur I˚thm 4⇔ f convexe sur I.Corollaire 2 : Soit f : I −→ R est continue sur I et <strong>de</strong> classe C 2 sur I˚. Alors f est convexe sur I siet seulement si f ′′ est positive sur I˚.démonstration : Le résultat est évi<strong>de</strong>nt. En effet, le théorème 4 nous assure déjà que f convexe sur Iéquivaut à f ′ croissante sur I˚. Puisque f est C 2 sur I˚, ceci équivaut encore à f ′′ 0 sur I˚.