Vous êtes sur la page 1sur 5

A 2011 MATH I PSI

COLE DES PONTS PARISTECH.


SUPAERO (ISAE), ENSTA PARISTECH,
TELECOM PARISTECH, MINES PARISTECH
MINES DE SAINT TIENNE, MINES DE NANCY,
TLCOM BRETAGNE, ENSAE PARISTECH (Filire PSI).
COLE POLYTECHNIQUE (Filire TSI).
CONCOURS 2011
PREMIRE PREUVE DE MATHMATIQUES
Filire PSI
(Dure de lpreuve : trois heures)
Lusage de lordinateur ou de la calculatrice est interdit.

Sujet mis la disposition des concours :


Cycle international, ENSTIM, TELECOM INT, TPE-EIVP.
Les candidats sont pris de mentionner de faon apparente
sur la premire page de la copie :
MATHMATIQUES I - PSI
Lnonc de cette preuve comporte 5 pages de texte.

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.

Ingalit de Prkopa et Leindler.


Notations.
On notera R lensemble des nombres rels, R+ lensemble des nombres rels positifs
et R+ lensemble des nombres rels strictement positifs. On dsignera par N lensemble
des entiers naturels et par N lensemble des entiers naturels strictement positifs.
Soit n N . On notera C 0 (Rn , R+ ) (resp. C 0 (Rn , R+ )) lensemble des fonctions
continues de Rn dans R+ (resp. dans R+ ).
Soient A et B deux parties non vides de Rn . Pour tous rels a et b on notera aA+bB
la partie de Rn dfinie par
aA + bB = {ax + by, x A, y B} .
En particulier pour a = 1, on crit A = {x, x A}.
Si f dsigne une fonction f : R R borne sur R alors on pose kf k = sup |f (x)|.
xR

Soit I un intervalle non vide de R.


On rappelle quune fonction g : I R est dite convexe si:
x, y I, [0, 1], g(x + (1 )y) g(x) + (1 )g(y) .
Loppose dune fonction convexe est une fonction concave. On rappelle que si g est
de classe C 1 sur I, alors g est convexe si et seulement sa drive g 0 est croissante (au
sens large) sur I.
Pour toute fonction f : I R+ , tous x I et ]0, 1[, on crira f (x) pour
(f (x)) .
Partie I. Une ingalit de Prkopa et Leindler.

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,

h(x + (1 )y) f (x) g(y)1 .

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
.

Dans les questions 3), 4) et 5) on supposera de plus que f et g sont strictement


positives, cest--dire pour tout rel x, f (x) > 0 et g(x) > 0.
R +
R +
3) On note F = f (x)dx et G = g(x)dx. Montrer que pour tout t dans
lintervalle ]0, 1[ il existe un unique rel not u(t) et un unique rel not v(t) tels que
Z
Z
1 u(t)
1 v(t)
f (x)dx = t,
g(x)dx = t .
F
G
Ru
(On pourra tudier les variations de la fonction : u 7 F1 f (x)dx).
4) Montrer que les applications u et v sont de classe C 1 sur lintervalle ]0, 1[ et, calculer
pour chaque t ]0, 1[ les nombres drivs u0 (t) et v 0 (t).
5) Prouver que lensemble image de lapplication w dfinie sur ]0, 1[ par
t ]0, 1[,

w(t) = u(t) + (1 )v(t) ,

est gal R. Puis montrer


R +que w dfinit un changement de variable de ]0, 1[ sur R. En
utilisant ce dernier et h(w)dw, montrer que f , g et h satisfont lingalit "P-L"
(1).
On pose (u) = exp(u2 ) pour tout rel u.
A partir de maintenant, on suppose que f, g et h sont seulement valeurs positives
ou nulles.
6) Prouver que pour tous x, y R,
(x + (1 )y) (x) (y)1 .
Soit M un rel strictement positif. On suppose dans les questions 7), 8) et 9) que
f et g sont nulles en dehors de lintervalle [M, M ]. On note = min(, 1 ),
c = M max(, 1 ) . Pour chaque rel u on pose:
= max(, 1 ) et, M
(
c)2 ), si |u| > M
c
exp( 12 (|u| M
M (u) =
c
1,
si |u| M
7) Soit x, y R. On pose z = x + (1 )y. Prouver que si |y| M alors
(x) M (z). De mme, prouver que si |x| M alors (y) M (z).
8) Soit  ]0, 1[, f = f +  et g = g + . Montrer que
x, y R,

f (x) g (y)1 h(z) +  (kf k + kgk1


) (M (z)) + (z),

o z = x + (1 )y. On commencera par appliquer lingalit de la question 2, puis


les deux questions prcdentes. On rappelle que f (x) = 0 si |x| > M et que g(y) = 0
si |y| > M ).
9) En dduire que si f et g sont nulles en dehors dun intervalle born alors lingalit
"P-L" est satisfaite.

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 ,

f (x + (1 )y) f (x) f (y)1 .

12) On note h ; i le produit scalaire euclidien canonique de lespace vectoriel Rn .


Soit S End Rn un endomorphisme symtrique de lespace euclidien (Rn , h ; i) . On
suppose que x Rn , hS(x); xi 0. Prouver alors que lapplication dfinie par
x Rn ,

f (x) = exp (hS(x); xi) ,

est continue et log-concave sur R .


Partie III. Quelques applications gomtriques.
Dans cette partie on admettra que lingalit "P-L" dmontre dans la partie I reste
vraie dans lespace des fonctions de R dans R+ continues par morceaux et intgrables.
Cest--dire que pour toutes fonctions f, g, h de R dans R+ , continues par morceaux
et intgrables sur R, et pour tout dans lintervalle ]0, 1[ tels que
x R, y R, h(x + (1 )y) f (x) g(y)1 ,
lingalit suivante est vrifie
Z
Z +
h(x)dx

 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.

13) Soit ]0, 1[ et f, g, h des fonctions de R2 dans R+ continues support born et


telles que
X R2 , Y R2 ,
Montrer que
Z Z

h(X + (1 )Y ) f (X) g(Y )1 .

h(x, y)dxdy
R2

 Z Z

Z Z
f (x, y)dxdy
R2

1
g(x, y)dxdy

R2

Dans la suite on munit R2 de la norme euclidienne canonique.


14) Soit A une partie ouverte borne non vide de R2 . On dsigne par C(A) lensemble
des fonctions continues f de R2 dans [0, 1] telles que (x, y) R2 \ A, f (x, y) = 0 (en
dautres termes f est nulle hors de A). Montrer alors que la borne suprieure
Z Z
sup
f (x, y)dxdy
f C(A)

R2

existe et dfinit un rel strictement positif not V (A).


15) On considre un rectangle ]a, b[]c, d[ du plan R2 , avec a < b et c < d. On dsigne
par D(O, R) le disque ouvert de centre lorigine O et de rayon R > 0 du plan euclidien
R2 . Calculer alors les deux rels V (]a, b[]c, d[) et V (D(O, R)). Que reprsentent-ils
respectivement? (Dans le calcul de V (]a, b[]c, d[) on pourra utiliser des fonctions du
type (x, y) 7 f (x, y) = (x)(y), o et sont des fonctions continues et affines par
morceaux bien choisies).
16) Soient A et B deux parties ouvertes bornes non vides de R2 et ]0, 1[. Vrifier
que A + (1 )B est un ouvert born de R2 . Puis montrer que
V (A + (1 )B) V (A) V (B)1 .
Pour dmontrer cette ingalit, on utilisera le rsultat admis suivant. Pour tout
f C(A) et g C(B), la fonction h dtermine par:
Z R2 , h(Z) = sup{f (X) g(Y )1 / X, Y R2 , Z = X + (1 )Y }
dfinit une fonction continue sur R2 .
17) Soit u : R2 ]0, +[ une fonction continue et log-concave au sens de la partie
II. Prouver que lingalit prcdente reste vraie si on remplace lapplication V par
lapplication dfinie pour toute partie ouverte borne (non vide) A de R2 par
Z Z
(A) = sup
f (x, y)u(x, y)dxdy .
f C(A)

R2

Fin du Problme.

Vous aimerez peut-être aussi