Mines-Ponts — Maths 1 PC-PSI (3 heures) — 2024

Inégalité de log-Sobolev pour la gaussienne

Notations et résultats admis

1 2
— Soit la fonction ϕ définie sur R par ϕ(x) = √ e−x /2 .
2π

— Pour k ∈ N ∪ {∞}, on pose C k (R) l’ensemble des fonctions de classe C k sur R à valeurs dans R.

— On note CL(R) l’ensemble des fonctions de R dans R à croissance lente, c’est-à-dire :

n o
k
CL(R) = f : R → R, ∃C > 0, ∃k ∈ N tel que pour tout x ∈ R, |f (x)| 6 C(1 + |x| ) .

— On note L1 (ϕ) = f ∈ C 0 (R), f ϕ intégrable sur R .



— Soit t ∈ R+ . Pour une fonction f : R → R, on définit si cela est possible la fonction Pt (f ) par :
Z +∞  p 
∀x ∈ R, Pt (f )(x) = f e−t x + 1 − e−2t y ϕ(y) dy.
−∞

— Pour f deux fois dérivable sur R, on définit sur R la fonction L(f ) par :

∀x ∈ R, L(f )(x) = f 00 (x) − xf 0 (x).

— Une fonction P : R → R est dite fonction polynomiale en |x| s’il existe d ∈ N et des réels a0 , . . . , ad tels que pour tout
d
X k
x ∈ R, P (x) = ak |x| .
k=0

— [inutile] Soient f : R+ → R une fonction et ` ∈ R ∪ {±∞}. On admet que lim f (t) = ` si, et seulement si, pour toute
t→+∞
suite (tn )n∈N de réels positifs telle que lim tn = +∞, on a lim f (tn ) = `.
n→+∞ n→+∞

Partie 1 : Résultats préliminaires

1 . Montrer que toute fonction majorée en valeur absolue par une fonction polynomiale en |x| est à croissance lente.

2 . Montrer que C 0 (R) ∩ CL(R) ⊂ L1 (ϕ).

Z +∞
On admet dans toute la suite du problème que ϕ(t) dt = 1.
−∞

3 . Montrer que CL(R) est un espace vectoriel. Montrer aussi que CL(R) est stable par produit.

4 . Soit t ∈ R+ . Vérifier que la fonction Pt (f ) est bien définie pour f ∈ C 0 (R) ∩ CL(R) et vérifier que Pt est linéaire sur
C 0 (R) ∩ CL(R).

5 . Montrer que pour tout f ∈ C 0 (R) ∩ CL(R) et tout x ∈ R,

Z +∞
lim Pt (f )(x) = f (y) ϕ(y) dy.
t→+∞ −∞
 6 . Soit t ∈ R+ . Montrer que si f ∈ C 0 (R) ∩ CL(R), alors Pt (f ) ∈ C 0 (R). Montrer aussi que Pt (f ) est majorée en valeur
absolue par une fonction polynomiale en |x| indépendante de t. En déduire que Pt (f ) ∈ L1 (ϕ).

On admettra dans toute la suite du problème que, si f ∈ C 0 (R) ∩ CL(R), alors

Z +∞ Z +∞
∀t ∈ R+ , Pt (f )(x)ϕ(x) dx = f (x)ϕ(x) dx.
−∞ −∞

7 . Montrer que pour toutes fonctions f, g ∈ C 2 (R) telles que f, f 0 , f 00 et g soient à croissance lente, on a
Z +∞ Z +∞
L(f )(x)g(x)ϕ(x) dx = − f 0 (x)g 0 (x)ϕ(x) dx.
−∞ −∞

Partie 2 : Dérivée de Pt (f )

∂Pt (f )(x)
Pour f : R → R et x ∈ R, on note, si cela a un sens, la dérivée de la fonction t ∈ R+ 7→ Pt (f )(x).
∂t 0
Pour f : R → R et t ∈ R+ fixé, on note, si cela a un sens, Pt (f ) (resp. Pt (f )00 ) la dérivée de x ∈ R 7→ Pt (f )(x) (resp. la dérivée
seconde de x ∈ R 7→ Pt (f )(x)).

8 . Montrer que si f ∈ C 1 (R) ∩ CL(R) telle que f 0 ∈ CL(R) et x ∈ R, alors t ∈ R+ 7→ Pt (f )(x) est de classe C 1 sur R∗+ et
montrer que pour tout t > 0, on a
+∞
e−2t
Z   
∂Pt (f )(x) −t
p 
= −xe + √ y f 0 e−t x + 1 − e−2t y ϕ(y) dy.
∂t −∞ 1 − e−2t

9 . Soient f ∈ C 2 (R) ∩ CL(R) telle que f 0 et f 00 soient à croissance lente et t ∈ R+ . Montrer que x 7→ Pt (f )(x) est de
classe C 2 sur R. Montrer aussi que
Z +∞  p 
0 −t
∀x ∈ R, Pt (f ) (x) = e f 0 e−t x + 1 − e−2t y ϕ(y) dy
−∞
et Z +∞  p 
00 −2t
∀x ∈ R, Pt (f ) (x) = e f 00 e−t x + 1 − e−2t y ϕ(y) dy.
−∞

10 . En déduire que pour f ∈ C 2 (R) ∩ CL(R) telle que f 0 et f 00 soient à croissance lente, on a

∂Pt (f )(x)
∀t ∈ R∗+ , ∀x ∈ R, = L(Pt (f ))(x).
∂t

Partie 3 : Inégalité de log-Sobolev pour la gaussienne

Pour f ∈ C 0 (R) ∩ CL(R) à valeurs strictement positives telle que

Z +∞
f (x)ϕ(x) dx = 1,
−∞

on définit l’entropie de f par rapport à ϕ par :

Z +∞
Entϕ (f ) = ln(f (x))f (x)ϕ(x) dx.
−∞

f 02
Dans la suite de cette partie, f est un élément de C 2 (R) à valeurs strictement positives tel que les fonctions f, f 0 , f 00 et
Z +∞ f
soient à croissance lente. On suppose aussi que f (x)ϕ(x) dx = 1.
−∞
11 . Étudier les variations de la fonction t 7→ t ln(t) sur R∗+ . On vérifiera que l’on peut prolonger par continuité la fonction
en 0.

12 . Montrer que la quantité Entϕ (g) est bien définie pour tout g ∈ C 0 (R) ∩ CL(R) à valeurs strictement positives telle que
Z +∞
g(x)ϕ(x) dx = 1.
−∞

Indication : On pourra utiliser la question 11.

13 . Pour t ∈ R+ , on pose S(t) = Entϕ (Pt (f )). Justifier que S(t) est bien définie.

14 . Montrer que S est continue sur R+ .

Indication : On pourra au préalable montrer que, si x ∈ R, t 7→ Pt (f )(x) est continue sur R+ .


15 . Vérifier que l’on a S(0) = Entϕ f et lim S(t) = 0.
t→+∞

16 . On admet que S est de classe C 1 sur R∗+ et que

Z +∞
∂Pt (f )(x)
∀t ∈ R∗+ , S 0 (t) =



1 + ln Pt (f )(x) ϕ(x) dx.
−∞ ∂t
Montrer que
Z +∞
∀t ∈ R∗+ , S 0 (t) =



L(Pt (f ))(x) 1 + ln Pt (f )(x) ϕ(x) dx.
−∞

17 . En admettant que le résultat de la question 7 est valable pour les fonctions Pt (f ) et 1 + ln (Pt (f )), montrer que
+∞
Pt (f 0 )(x)2
Z
∀t ∈ R∗+ , −S 0 (t) = e−2t ϕ(x) dx.
−∞ Pt (f )(x)

18 . En utilisant l’inégalité de Cauchy-Schwarz, montrer que

+∞
f 02
Z  
∀t ∈ R∗+ , −S 0 (t) 6 e−2t Pt (x)ϕ(x) dx.
−∞ f

19 . En déduire que l’on a :

+∞
f 02 (x)
Z
∀t ∈ R∗+ , −S 0 (t) 6 e−2t ϕ(x) dx.
−∞ f (x)

20 . Établir l’inégalité suivante

+∞
f 02 (x)
Z
1
Entϕ (f ) 6 ϕ(x) dx.
2 −∞ f (x)

FIN DU PROBLÈME