$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Exercices corrigés - Convexité

Ensembles convexes
Exercice 1 - Combinaison convexe de convexes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $C_1$, $C_2$ deux parties convexes d'un espace vectoriel réel $E$ et soit $s\in [0,1]$. On pose $C=sC_1+(1-s)C_2=\{sx+(1-s)y;\ x\in C_1,\ y\in C_2\}$. Démontrer que $C$ est convexe.
Indication
Corrigé
Enoncé
Soit $C_1$ et $C_2$ deux ensembles convexes de $\mathbb R^n$ et $C_1+C_2=\{x+y;\ x\in C_1,\ y\in C_2\}$. Démontrer que $C_1+C_2$ est convexe.
Indication
Corrigé
Enoncé
Pour tout $E\subset\mathbb R^n$, on appelle enveloppe convexe de $E$ l'ensemble $$K(E)=\bigcap_{A\in \mathcal E(E)}A$$ où $\mathcal E(E)$ désigne l'ensemble des convexes de $\mathbb R^n$ contenant $E$.
  1. Démontrer que $K(E)$ est convexe.
  2. Déterminer $K(E)$ lorsque $E$ est la courbe de la fonction $y=\tan x$ pour $x\in \left]-\frac{\pi}2,\frac{\pi}2\right[$.
Indication
Corrigé
Exemples de fonctions convexes
Exercice 4 - Polynômes de degré impair [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer les fonctions polynomiales de degré impair qui sont convexes.
Indication
Corrigé
Inégalités de convexité
Enoncé
  1. Montrer que $f(x)=\ln(\ln (x))$ est concave sur $]1,+\infty[$.
  2. En déduire que $\forall a,b>1,\ \ln\left(\frac{a+b}{2}\right)\geq \sqrt{\ln a.\ln b}$.
Indication
Corrigé
Enoncé
Montrer que, pour tout $x\in[0,\pi/2]$, on a $$\frac{2}\pi x\leq \sin x\leq x.$$
Indication
Corrigé
Exercice 7 - Inégalité de Bernoulli [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $n\geq 2$.
  1. Étudier la convexité de la fonction $f$ définie sur $[-1;+\infty[$ par $f(x)=(1+x)^n$.
  2. En déduire que, pour tout $x\geq -1$, $(1+x)^n\geq 1+nx$.
Indication
Corrigé
Exercice 8 - 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).$$
Indication
Corrigé
Exercice 9 - Une application de l'inégalité de Jensen [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Étudier la convexité/concavité de $x\mapsto \frac{1}{1+e^x}$ sur $\mathbb R$.
  2. 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}}.$$
Indication
Corrigé
Exercice 10 - 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}.$$
Indication
Corrigé
Exercice 11 - Encadrement d'intégrale [Signaler une erreur] [Ajouter à ma feuille d'exos]
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}.$$
Indication
Corrigé
Exercice 12 - Majoration de $f$ grâce à $f''$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
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}.$$
  1. Justifier l'existence de $M$.
  2. Montrer que $g$ est convexe et que $h$ est concave.
  3. 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}.$$
Indication
Corrigé
Exercice 13 - Une jolie inégalité de convexité [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Démontrer que la fonction $f:x\mapsto \ln(1+e^x)$ est convexe sur $\mathbb R$.
  2. É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}.$$
  3. 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}.$$
Indication
Corrigé
Enoncé
Soit $f:[a,b]\to\mathbb R$ continue et $g:\mathbb R\to\mathbb R$ continue et convexe. Démontrer que $$g\left(\frac{1}{b-a}\int_a^b f(t)dt \right)\leq \frac{1}{b-a}\int_a^b g(f(t))dt.$$
Indication
Corrigé
Exercice 15 - 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.
  1. Montrer que $$xy\leq \frac{1}{p}x^p+\frac{1}{q}y^q.$$
  2. 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$.
  3. 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}.$$
  4. 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}.$$
  5. 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$.
Indication
Corrigé
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).$$
Indication
Corrigé
Propriétés des fonctions convexes
Exercice 17 - Composée de fonctions convexes [Signaler une erreur] [Ajouter à ma feuille d'exos]
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.
Indication
Corrigé
Enoncé
Soit $f,g:I\to\mathbb R$ deux fonctions convexes, avec $I\subset \mathbb R$ un intervalle.
  1. Est-ce que $\max(f,g)$ est toujours convexe?
  2. Est-ce que $\min(f,g)$ est toujours convexe?
Indication
Corrigé
Exercice 19 - Réciproque d'une fonction convexe [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:I\to\mathbb R$ une fonction continue convexe et strictement croissante. Étudier la convexité de $f^{-1}:f(I)\to I.$
Indication
Corrigé
Exercice 20 - 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?
Indication
Corrigé
Exercice 21 - Fonctions convexes majorées [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f$ de classe $C^1$ sur $\mtr$ et convexe. Démontrer que si $f$ est majorée, alors $f$ est constante.
Indication
Corrigé
Exercice 22 - Minimum local est en fait global [Signaler une erreur] [Ajouter à ma feuille d'exos]
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$?
Indication
Corrigé
Exercice 23 - 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[$.
  1. Montrer que $f$ est minorée.
  2. $f$ est-elle nécessairement majorée?
Indication
Corrigé
Exercice 24 - Fonctions convexes croissantes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:\mathbb R\to\mathbb R$ une fonction convexe croissante. Montrer que $f$ est constante ou que $\lim_{+\infty}f=+\infty$.
Indication
Corrigé
Exercice 25 - 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$.
  1. Démontrer que $f$ est décroissante sur $\mathbb R$.
  2. Démontrer que $f'$ tend vers $0$ en $+\infty$.
  3. Le résultat de la question précédente reste-t-il vrai si on ne suppose pas que $f$ est convexe?
Indication
Corrigé
Exercice 26 - Fonctions convexes admettant une asymptote [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:\mathbb R\to\mathbb R$ une fonction convexe.
  1. On suppose que $\lim_{+\infty}f=0$. Montrer que $f\geq 0$.
  2. Montrer que la somme d'une fonction convexe et d'une fonction affine est convexe.
  3. On suppose que la courbe représentative de $f$ admet une asymptote. Montrer que la courbe est (toujours) au-dessus de l'asymptote.
Indication
Corrigé
Divers
Exercice 27 - Concentration d'un médicament [Signaler une erreur] [Ajouter à ma feuille d'exos]
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.
  1. Étudier la fonction $f$ et tracer sa courbe représentative.
  2. Au bout de combien d'heures la baisse de la concentration ralentit-elle?
Indication
Corrigé
Exercice 28 - Algorithme de trichotomie [Signaler une erreur] [Ajouter à ma feuille d'exos]
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}.$$
  1. On suppose que $\mu\leq 0$. Justifier que $f$ atteint son minimum sur $[a,b]$ sur l'intervalle $[a_1,a_3]$.
  2. On suppose que $\mu>0$. Justifier que $f$ atteint son minimum sur $[a,b]$ sur l'intervalle $[a_0,a_2]$.
  3. É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]$.
Indication
Corrigé
Exercice 29 - Fonctions logarithmiquement convexes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Dans tout l'exercice, $I$ et $J$ désignent des intervalles.
  1. Soit $f:I\to \mathbb R$ une fonction convexe croissante et soit $g:J\to I$ une fonction convexe. Démontrer que $f\circ g$ est convexe.
  2. Soit $f: I\to ]0,+\infty[$. On dit que $f$ est logarithmiquement convexe si $\ln f$ est convexe. Démontrer que si $f$ est logarithmiquement convexe, alors $f$ est convexe. La réciproque est-elle vraie?
  3. On suppose que pout tout $\alpha>0,$ $f^\alpha$ est convexe.
    1. Pour $t\in [0,1]$, $x,y\in I$ et $\alpha\geq 0,$ on pose $u(\alpha)=\exp\big(\alpha \ln f(tx+(1-t)y)\big)$ et $v(\alpha)=t\exp\big(\alpha \ln f(x)\big)+(1-t)\exp\big(\alpha \ln f(y)\big)$. Justifier que $u'(0)\leq v'(0)$.
    2. En déduire que $f$ est logarithmiquement convexe.
Indication
Corrigé
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.
Indication
Corrigé
Exercice 31 - $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.
Indication
Corrigé