Version interactive avec LaTeX compilé
Mines Mathématiques 1 PSI 2024
Inégalité de log-Sobolev pour la gaussienne
Notez ce sujet en cliquant sur l'étoile
0.0(0 votes)
Intégrales généraliséesCalcul différentiel et fonctions à plusieurs variablesIntégrales à paramètres
ÉCOLE DES PONTS PARISTECH, ISAE-SUPAERO, ENSTA PARIS, TÉLÉCOM PARIS, MINES PARIS, MINES SAINT-ÉTIENNE, MINES NANCY, IMT ATLANTIQUE, ENSAE PARIS, CHIMIE PARISTECH - PSL.
Concours Mines-Télécom, Concours Centrale-Supélec (Cycle International).
CONCOURS 2024
PREMIÈRE ÉPREUVE DE MATHÉMATIQUES
L'usage de la calculatrice et de tout dispositif électronique est interdit.
L'énoncé de cette épreuve comporte 4 pages de texte.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.
Notations et résultats admis
- Soit la fonction
définie sur par . - Pour
, on pose l'ensemble des fonctions de classe sur à valeurs dans . - On note
l'ensemble des fonctions de dans à croissance lente, c'est-àdire :
tel que pour tout . - On note
intégrable sur . - Soit
. Pour une fonction , on définit si cela est possible la fonction par :
- Pour
deux fois dérivable sur , on définit sur la fonction par :
- Une fonction
est dite fonction polynomiale en s'il existe et des réels tels que pour tout . - Soient
une fonction et . On admet que , et seulement si, pour toute suite de réels positifs telle que , on a .
Partie 1 : Résultats préliminaires
1 - Montrer que toute fonction majorée en valeur absolue par une fonction polynomiale en
est à croissance lente.
Montrer que
.
On admet dans toute la suite du problème que .
Montrer que
est un espace vectoriel. Montrer aussi que
est stable par produit.
Soit
. Vérifier que la fonction
est bien définie pour
et vérifier que
est linéaire sur
.
Montrer que pour tout
et tout
,
On admet dans toute la suite du problème que
On admettra dans toute la suite du problème que, si
, alors
Partie 2 : Dérivée de
Pour
et
, on note, si cela a un sens,
la dérivée de la fonction
.
Pour
et
fixé, on note, si cela a un sens,
(resp.
) la dérivée de
(resp. la dérivée seconde de
).
Montrer que si
telle que
et
, alors
est de classe
sur
et montrer que pour tout
, on a
et
Partie 3 : Inégalité de log-Sobolev pour la gaussienne
Pour
à valeurs strictement positives telle que
on définit l'entropie de
par rapport à
par :
Dans la suite de cette partie,
est un élément de
à valeurs strictement positives tel que les fonctions
et
soient à croissance lente. On suppose aussi que
.
Étudier les variations de la fonction
sur
. On vérifiera que l'on peut prolonger par continuité la fonction en 0 .
Justifier que la quantité
est bien définie pour tout
à valeurs strictement positives telle que
.
Indication : On pourra utiliser la question 11.
Pour
, on pose
. Justifier que
est bien définie.
Montrer que
est continue sur
.
Indication : On pourra au préalable montrer que, si est continue sur
.
Vérifier que l'on a
et
.
On admet que
est de classe
sur
et que
Indication : On pourra au préalable montrer que, si
Montrer que
18 - En utilisant l'inégalité de Cauchy-Schwarz, montrer que
Fin du problème
- Les sujets sont la propriété du GIP CCMP. Ils sont publiés sous les termes de la licence Creative Commons Attribution - Pas d'Utilisation Commerciale - Pas de Modification 3.0 France. Tout autre usage est soumis à une autorisation préalable du Concours commun Mines Ponts.
