31.07.2015 Views

Fonctions convexes d'une variable réelle ... - CAPES de Maths

Fonctions convexes d'une variable réelle ... - CAPES de Maths

Fonctions convexes d'une variable réelle ... - CAPES de Maths

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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.• •

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!