Exercices : Fonctions convexes
Inégalités de convexité
Enoncé 

Montrer que, pour tout $x\in[0,\pi/2]$, on a
$$\frac{2}\pi x\leq \sin x\leq x.$$
Enoncé 

Soit $n\geq 2$.
- Étudier la convexité de la fonction $f$ définie sur $[-1;+\infty[$ par $f(x)=(1+x)^n$.
- En déduire que, pour tout $x\geq -1$, $(1+x)^n\geq 1+nx$.
Exercice 3 
- Exponentielle, cosinus hyperbolique, sinus hyperbolique et convexité [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Démontrer que pour tout $x\in[-1,1]$ et tout $\lambda\in\mathbb R$, on a
$$\exp(\lambda x)\leq \textrm{ch}(\lambda)+x\textrm{sh}(\lambda).$$
Exercice 4 
- Une application de l'inégalité de Jensen [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

- Étudier la convexité/concavité de $x\mapsto \frac{1}{1+e^x}$ sur $\mathbb R$.
- En déduire que pour tous $x_1,\dots,x_n\geq 1$, on a $$\sum_{k=1}^n \frac{1}{1+x_k}\geq \frac{n}{1+\sqrt[n]{x_1\cdots x_n}}.$$
Exercice 5 
- Moyenne arithmétique et géométrique [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Soient $a_1,\dots,a_n$ des réels strictement positifs. Prouver l'inégalité suivante :
$$\sqrt[n]{a_1\dots a_n}\leq\frac{a_1+\dots+a_n}{n}.$$
Enoncé 

Soit $f$ une fonction convexe de classe $C^1$ sur $[a,b]$. Montrer que
$$(b-a)f\left(\frac{a+b}{2}\right)\leq \int_a^b f(t)dt\leq (b-a)\frac{f(a)+f(b)}{2}.$$
Enoncé 

Soit $f:[a,b]\to\mathbb R$ de classe $C^2$ telle que $f(a)=f(b)=0$. On note $M=\sup_{[a,b]}|f''|$
et
$$g(x)=f(x)-M\frac{(x-a)(b-x)}{2}\textrm{ }\quad\quad h(x)=f(x)+M\frac{(x-a)(b-x)}{2}.$$
- Justifier l'existence de $M$.
- Montrer que $g$ est convexe et que $h$ est concave.
- Déterminer le signe de $g$ et de $h$ sur $[a,b]$. En déduire que, pour tout $x\in[a,b]$, on a $$|f(x)|\leq M\frac{(x-a)(b-x)}{2}.$$
Enoncé 

- Démontrer que la fonction $f:x\mapsto \ln(1+e^x)$ est convexe sur $\mathbb R$.
- Établir que, pour tous $x_1,\dots,x_n\in ]0,+\infty[$, alors $$1+\left(\prod_{k=1}^n x_k\right)^{1/n}\leq \left(\prod_{k=1}^n (1+x_k)\right)^{1/n}.$$
- En déduire que pour tous $a_1,\dots,a_n,b_1,\dots,b_n\in ]0,+\infty[$, alors $$\left(\prod_{k=1}^n a_k\right)^{1/n}+\left(\prod_{k=1}^n b_k\right)^{1/n}\leq \left(\prod_{k=1}^n (a_k+b_k)\right)^{1/n}.$$
Exercice 9 


- Inégalités de Hölder et de Minkowski [Signaler une erreur] [Ajouter à ma feuille d'exos]




Enoncé 

Soit $x,y\in\mtr_+^*$, $p,q\in[1,+\infty[$ tels que $1/p+1/q=1$, et $a_1,\dots,a_n,b_1,\dots,b_n$ $2n$ réels strictement positifs.
- Montrer que $$xy\leq \frac{1}{p}x^p+\frac{1}{q}y^q.$$
- On suppose dans cette question que $\sum_{i=1}^n a_i^p=\sum_{i=1}^n b_i^q=1.$ Montrer que $\sum_{i=1}^n a_ib_i\leq 1$.
- En déduire la splendide inégalité de Hölder : $$\sum_{i=1}^n a_ib_i\leq\left(\sum_{i=1}^n a_i^p\right)^{1/p}\left(\sum_{i=1}^n b_i^q\right)^{1/q}.$$
- On suppose en outre que $p>1$. Déduire de l'inégalité de Hölder l'inégalité de Minkowski : $$\left(\sum_{i=1}^n (a_i+b_i)^p\right)^{1/p}\leq\left(\sum_{i=1}^na_i^p\right)^{1/p}+\left(\sum_{i=1}^n b_i^p\right)^{1/p}.$$
- On définit pour $x=(x_1,\dots,x_n)\in \mathbb R^n$ $$\|x\|_p=(|x_1|^p+\dots+|x_n|^p)^{1/p}.$$ Démontrer que $\|\cdot\|_p$ est une norme sur $\mathbb R^n$.
Enoncé 

Démontrer que, pour tout $x>1$, on a
$${x}^{n}-1\geq n\left({x}^{\left(n+1\right)/2}-{x}^{\left(n-1\right)/2}\right).$$
Propriétés des fonctions convexes
Enoncé 

Soient $f,g:\mathbb R\to\mathbb R$ telles que $f$ et $g$ soient convexes, et $g$ est croissante. Démontrer que $g\circ f$ est convexe.
Enoncé 

Soit $f,g:I\to\mathbb R$ deux fonctions convexes, avec $I\subset \mathbb R$ un intervalle.
- Est-ce que $\max(f,g)$ est toujours convexe?
- Est-ce que $\min(f,g)$ est toujours convexe?
Enoncé 

Soit $f:I\to\mathbb R$ une fonction continue convexe et strictement croissante. Étudier la convexité de $f^{-1}:f(I)\to I.$
Exercice 14 
- Une fonction convexe est toujours continue [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Soit $I$ un intervalle ouvert de $\mathbb R$ et $f:I\to\mathbb R$ convexe. Démontrer que $f$ est continue sur $I$. Le résultat subsiste-t-il si $I$ n'est plus supposé ouvert?
Enoncé 

Soit $f:\mathbb R\to\mathbb R$ une fonction convexe. Montrer que si $f$ admet un minimum local en $a$, alors $f$ admet un minimum global en $a$. Que peut-on dire si $f$ admet un maximum local en $a$?
Exercice 16 
- Fonctions convexes sur un intervalle borné [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé 

Soit $f$ une fonction convexe sur l'intervalle borné $]a,b[$.
- Montrer que $f$ est minorée.
- $f$ est-elle nécessairement majorée?
Enoncé 

Soit $f:\mathbb R\to\mathbb R$ une fonction convexe croissante. Montrer que $f$ est constante
ou que $\lim_{+\infty}f=+\infty$.
Exercice 18 

- Fonction convexe avec une limite en $+\infty$ [Signaler une erreur] [Ajouter à ma feuille d'exos]



Enoncé 

Soit $f:\mathbb R\to\mathbb R$ une fonction convexe dérivable possédant une limite finie en $+\infty$.
- Démontrer que $f$ est décroissante sur $\mathbb R$.
- Démontrer que $f'$ tend vers $0$ en $+\infty$.
- Le résultat de la question précédente reste-t-il vrai si on ne suppose pas que $f$ est convexe?
Exercice 19 

- Fonctions convexes admettant une asymptote [Signaler une erreur] [Ajouter à ma feuille d'exos]



Enoncé 

Soit $f:\mathbb R\to\mathbb R$ une fonction convexe.
- On suppose que $\lim_{+\infty}f=0$. Montrer que $f\geq 0$.
- Montrer que la somme d'une fonction convexe et d'une fonction affine est convexe.
- On suppose que la courbe représentative de $f$ admet une asymptote. Montrer que la courbe est (toujours) au-dessus de l'asymptote.
Divers
Enoncé 

On injecte à un patient un médicament. La concentration de ce médicament dans le sang du patient est modélisée par la fonction $f$ définie sur $[0,+\infty[$ par $f(x)=(x+2)\exp(-0,\!5 x)$, où $x$ représente le nombre d'heures écoulées depuis l'instant initial et $f(x)$ la concentration, en grammes par litre, du médicament dans le sang.
- Étudier la fonction $f$ et tracer sa courbe représentative.
- Au bout de combien d'heures la baisse de la concentration ralentit-elle?
Enoncé 

Soit $f:[a,b]\to\mathbb R$ une fonction convexe. On pose
$a_0=a$, $a_1=(2a+b)/3$, $a_2=(a+2b)/3$ et $a_3=b$. On pose également
$$\mu=\frac{f(a_2)-f(a_1)}{a_2-a_1}.$$
- On suppose que $\mu\leq 0$. Justifier que $f$ atteint son minimum sur $[a,b]$ sur l'intervalle $[a_1,a_3]$.
- On suppose que $\mu>0$. Justifier que $f$ atteint son minimum sur $[a,b]$ sur l'intervalle $[a_0,a_2]$.
- Écrire une fonction sous Python permettant de donner un encadrement d'amplitude $\veps$ du minimum de la fonction convexe $x\mapsto e^x+x^2$, sachant que ce minimum se situe dans l'intervalle $[-1,0]$.
Enoncé 

Soit $f:\mtr\to\mtr$ une fonction continue telle que :
$$\forall(x,y)\in\mtr^2,\ f\left(\frac{x+y}{2}\right)\leq \frac{f(x)+f(y)}{2}.$$
Prouver que $f$ est convexe.
Exercice 23 



- $xf(x)$ est convexe si et seulement si $f(1/x)$ est convexe. [Signaler une erreur] [Ajouter à ma feuille d'exos]





Enoncé 

Soit $f:]0,+\infty[\to\mathbb R$. Démontrer que $x\mapsto f(1/x)$ est convexe si et seulement si $x\mapsto xf(x)$ est convexe.