Académique Documents
Professionnel Documents
Culture Documents
Si, au cours de lpreuve, un candidat repre ce qui lui semble tre une erreur dnonc, il
le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives
quil est amen prendre.
1) Soient un rel dans lintervalle ]0, 1[, et a et b deux rels positifs. Montrer que
a + (1 )b a b1 ,
(on pourra introduire une certaine fonction auxiliaire dont on justifiera la concavit).
Montrer en outre que pour tout rel u > 1,
(a + (1 )b)u au + (1 )bu .
2) Soient a et b deux rels positifs et un rel dans ]0, 1[. Montrer que
(a + b) a + b .
Dans toute cette partie est un rel appartenant lintervalle ]0, 1[ et f, g, h sont des
fonctions de C 0 (R, R+ ) intgrables qui satisfont lingalit suivante
x R, y R,
Le but de cette partie est de montrer lingalit suivante, laquelle on fera rfrence
par "ingalit de Prkopa et Leindler", ou en abrg "P-L":
Z +
Z +
1
Z +
(1)
h(x)dx
f (x)dx
g(x)dx
.
Soit n N. On dsigne par n : R R la fonction continue qui vaut 1 sur [n, n],
qui vaut 0 sur ] , n 1] [n + 1, +[ et qui est affine sur chacun des deux
intervalles [n 1, n] et [n, n + 1].
10) Soit n N . Montrer que
x, y R, n (x) n (y)1 n+1 (x + (1 )y) .
11) Montrer que lingalit "P-L" (1) est satisfaite (si on choisit dutiliser le thorme
de convergence domine alors on vrifiera soigneusement que ses conditions de validit
sont remplies).
Partie II. Fonctions log-concaves.
Soit n un entier strictement positif. On dira quune fonction f de Rn dans R+ est
log-concave si pour tout dans lintervalle ]0, 1[
x Rn , y Rn ,
Z
1
f (x)dx
g(x)dx
Soit f une fonction continue de R2 dans R. On dit que f est support born si il
existe un rel M > 0 tel que f est nulle en dehors du carr [M, M ]2 , cest dire que
f (x, y) = 0 si |x| > M ou |y| > M .
On admettra que
Z M Z
f (x, y)dy dx =
M
f (x, y)dx dy ,
et que cette
du choix de M . On dfinit alors lintgrale
R R valeur commune ne dpend pas
2
double
f (x, y)dxdy de f (x, y) sur R comme la valeur commune des deux intR2
grales itres crites dans lgalit prcdente.
h(x, y)dxdy
R2
Z Z
Z Z
f (x, y)dxdy
R2
1
g(x, y)dxdy
R2
R2
R2
Fin du Problme.