ÉCOLES NORMALES SUPÉRIEURES
CONCOURS D'ADMISSION 2013
Filière MP
Composition de mathématiques C - (ULC)
(Durée : 4 heures)
L'utilisation des calculatrices n'est pas autorisée pour cette épreuve.
On note

l'ensemble des entiers naturels et

. On note

l'ensemble des nombres rationnels
positifs ou nuls. On note

l'ensemble des nombres réels,

l'ensemble des nombres réels positifs ou nuls, et

l'ensemble
des nombres réels strictement positifs.
Pour

intervalle de

, et

un sous-ensemble de

, on note
)
l'ensemble des fonctions continues de

dans

et
)
l'ensemble des fonctions de classe

de

dans
On note
)
l'ensemble des matrices carrées à deux lignes (et deux colonnes) dont les coefficients sont réels.
On note

l'ensemble des fonctions de

dans

vérifiant
Les parties I, II et III sont indépendantes.
Partie I
On suppose dans cette partie que

est de classe
1. Montrer que
2. i) Calculer (pour
\in\mathbb{R}^2 - \lbrace(0,0\rbrace))
les quantités
f(y))](https://latex.ilemaths.net/latex-0.tex?\left[x\dfrac{\partial}{\partial y} - y\dfrac{\partial}{\partial x} \right](f(x)f(y)))
et
2. ii) En déduire qu'il existe

tel que
2. iii) Quelles sont les fonctions de
)
?
Partie II
On suppose dans cette partie que

est dans
1. Montrer que si
 = 0)
, alors pour tout
2. On suppose dans ce paragraphe que
2.i) Montrer que pour tout
2.ii) On considère la fonction

(de

dans

) définie par
=\ln \left( \dfrac{f \left(\sqrt{x} \right)}{f(0)} \right))
. Trouver une relation entre
,\ r(x))
et
)
, lorsque
2.iii) Trouver une relation entre
)
et
)
pour

, puis pour

, et enfin pour

.
3. Quelles sont les fonctions de
)
?
Partie III
1. Soit

, et
_{n\in\mathbb{N}})
une suite de fonctions de
![C([0,1], \mathbb{R})](https://latex.ilemaths.net/latex-0.tex?C([0,1], \mathbb{R}))
telles que pour tout
![t\in[0,1],\ C_0(t)\le A](https://latex.ilemaths.net/latex-0.tex?t\in[0,1],\ C_0(t)\le A)
, et
![\forall n \in \mathbb{N}^*, t \in [0,1], \ C_{n+1}(t) \le A+K \displaystyle \int_0^t C_n(s)^2 \text{d}s.\qquad (1)](https://latex.ilemaths.net/latex-0.tex?\forall n \in \mathbb{N}^*, t \in [0,1], \ C_{n+1}(t) \le A+K \displaystyle \int_0^t C_n(s)^2 \text{d}s.\qquad (1))
Montrer que
2. Soit

, et

des constantes, et

une fonction de
![C([0,T],\mathbb{R}_+)](https://latex.ilemaths.net/latex-0.tex?C([0,T],\mathbb{R}_+))
telle que
Montrer que
3. Soit

des constantes, et
_{n\in\mathbb{N}})
une suite de fonctions de
![C([0,T_1],\mathbb{R}_+)](https://latex.ilemaths.net/latex-0.tex?C([0,T_1],\mathbb{R}_+))
telles que pour tout
![t\in[0,T_1],\ J_0(t)\le A_1](https://latex.ilemaths.net/latex-0.tex?t\in[0,T_1],\ J_0(t)\le A_1)
, et
3.i) Montrer que pour
3.ii) En déduire que pour tout
Partie IV
Dans cette partie et la suivante,

est une fonction de

dans

telle que
)
est continue
et bornée.
1. i) Montrer que l'on peut trouver une unique suite de fonctions
_{n\in\mathbb{N}})
de
![[0,1]\times\mathbb{R}](https://latex.ilemaths.net/latex-0.tex?[0,1]\times\mathbb{R})
dans

telles que
![(t,x)\in[0,1]\times\mathbb{R}\mapsto f_n(t,x)\exp(x^2/2)](https://latex.ilemaths.net/latex-0.tex?(t,x)\in[0,1]\times\mathbb{R}\mapsto f_n(t,x)\exp(x^2/2))
est continue et bornée,
![t\in[0,1]\mapsto f_n(t,x)\in C^1([0,1],\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?t\in[0,1]\mapsto f_n(t,x)\in C^1([0,1],\mathbb{R}))
pour tout

, et (pour tout
![\dfrac{\partial f_{n+1}}{\partial t}(t,x) = \displaystyle\int_{-\pi}^{\pi}\left(\int_{\mathbb{R}}\left[f_n(t,x\cos\theta-y\sin\theta)f_n(t,x\sin\theta+y\cos\theta)-f_{n+1} (t,x)f_n(t,y)\right]\text{d}y\right)\text{d}\theta,\qquad (3)\\\\ f_{n+1}(0,x)=f_{in}(x),\\\\ f_0(t,x)=f_{in}(x).](https://latex.ilemaths.net/latex-0.tex?\dfrac{\partial f_{n+1}}{\partial t}(t,x) = \displaystyle\int_{-\pi}^{\pi}\left(\int_{\mathbb{R}}\left[f_n(t,x\cos\theta-y\sin\theta)f_n(t,x\sin\theta+y\cos\theta)-f_{n+1} (t,x)f_n(t,y)\right]\text{d}y\right)\text{d}\theta,\qquad (3)\\\\ f_{n+1}(0,x)=f_{in}(x),\\\\ f_0(t,x)=f_{in}(x).)
Pour cela, on commencera par mettre l'équation (3) sous la forme
=a_n(t)f_{n+1}(t,x)+b_n(t,x))
, où

et

sont
des fonctions continues (définies à partir de

) judicieusement choisies.
1.ii) Montrer que pour

et
![(t,x)\in[0,1]\times\mathbb{R}](https://latex.ilemaths.net/latex-0.tex?(t,x)\in[0,1]\times\mathbb{R})
, on a
2.i) Montrer que
![\forall n\in\mathbb{N},t\in[0,1],x\in\mathbb{R},\ 0\le f_n(t,x)\le C_n(t)\exp(-x^2/2)](https://latex.ilemaths.net/latex-0.tex?\forall n\in\mathbb{N},t\in[0,1],x\in\mathbb{R},\ 0\le f_n(t,x)\le C_n(t)\exp(-x^2/2))
, avec
_{n\in\mathbb{N})
suite de fonctions de
![C([0,1],\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?C([0,1],\mathbb{R}))
telles que (1) est vérifiée (pour

convenablement choisis en fonction de

).
2.ii) En déduire qu'il existe
![T_1\in]0,1]](https://latex.ilemaths.net/latex-0.tex?T_1\in]0,1])
et

tels que
3.i) Montrer que (pour tout

)
![\forall t\in[0,1],x\in\mathbb{R},\ |f_{n+1}(t,x)-f_n(t,x)|\le J_n(t)\exp(-x^2/2)](https://latex.ilemaths.net/latex-0.tex?\forall t\in[0,1],x\in\mathbb{R},\ |f_{n+1}(t,x)-f_n(t,x)|\le J_n(t)\exp(-x^2/2))
, avec
_{n\in\mathbb{N}})
suite de fonctions de
![C([0,1],\mathbb{R})](https://latex.ilemaths.net/latex-0.tex?C([0,1],\mathbb{R}))
telles que pour tout
![t\in[0,1]](https://latex.ilemaths.net/latex-0.tex?t\in[0,1])
(et
)
,
3.ii) En déduire que la suite de fonctions
_{n\in\mathbb{N}})
vérifie (2) (pour

et

convenablement choisis).
3.iii) Montrer qu'il existe
![T\in]0,1]](https://latex.ilemaths.net/latex-0.tex?T\in]0,1])
pour lequel la suite
![(t,x)\in[0,T]\times\mathbb{R}\mapsto f_n(t,x)\exp(x^2/2)](https://latex.ilemaths.net/latex-0.tex?(t,x)\in[0,T]\times\mathbb{R}\mapsto f_n(t,x)\exp(x^2/2))
converge uniformément
sur
![[0,T]\times\mathbb{R}](https://latex.ilemaths.net/latex-0.tex?[0,T]\times\mathbb{R})
. On notera
![(t,x)\in[0,T]\times\mathbb{R}\mapsto f(t,x)\exp(x^2/2)](https://latex.ilemaths.net/latex-0.tex?(t,x)\in[0,T]\times\mathbb{R}\mapsto f(t,x)\exp(x^2/2))
la limite de cette suite.
4. Montrer que

est une fonction telle que
![(t,x)\in[0,T]\times\mathbb{R}\mapsto f(t,x)\exp(x^2/2)](https://latex.ilemaths.net/latex-0.tex?(t,x)\in[0,T]\times\mathbb{R}\mapsto f(t,x)\exp(x^2/2))
est continue et bornée,
![t \in [0,T]\mapsto f(t,x)\in C^1([0,T],\mathbb{R_{+}})](https://latex.ilemaths.net/latex-0.tex?t \in [0,T]\mapsto f(t,x)\in C^1([0,T],\mathbb{R_{+}}))
pour tout

, et
Partie V
Dans cette partie,

désigne une fonction obtenue à la question
IV.4.
On échangera par ailleurs dans cette partie sans justification les signes

(théorème de Fubini) lorsque les intégrandes sont des fonctions

continues telles que
|\le H\exp(-L(x^2+y^2)))
pour des constantes

données.
1. i) Montrer que si
)
est une matrice inversible telle que

, il
existe une matrice triangulaire supérieure inversible
)
et une matrice triangulaire inférieure inversible
)
telles que
1. ii) Soit

une fonction continue de

dans

telle que
|\le H \exp(-L(x^2+y^2)))
, et
)
une matrice inversible. Montrer que
2. Montrer que pour toute fonction

de
)
telle que
}{1+x^2})
est bornée,
on a (pour
![t\in[0,T]](https://latex.ilemaths.net/latex-0.tex?t\in[0,T])
),
3.i) Calculer (pour
![t\in[0,T]](https://latex.ilemaths.net/latex-0.tex?t\in[0,T])
) la quantité
\text{d}x)
en fonction de

.
3.ii) Montrer que (pour
![t\in[0,T]](https://latex.ilemaths.net/latex-0.tex?t\in[0,T])
et

),
4. Dans cette question, on suppose qu'il existe

, tels que
4.i) Montrer que la quantité
\ln f(t,x)\text{d}x)
définit une fonction de classe

sur
![[0,T]](https://latex.ilemaths.net/latex-0.tex?[0,T])
et que
On pourra pour cela s'inspirer du résultat obtenu à la question
V.2.
Il s'agit d'une version simplifiée de la première partie du
Théorème H de Boltzmann, dans lequel on montre la croissance de l'entropie

d'un
gaz raréfié.
4.ii) Montrer que si l'on a (pour
![t\in[0,T]](https://latex.ilemaths.net/latex-0.tex?t\in[0,T])
donné)
\ln f(t,x)\text{d}x=0)
, alors
on peut trouver

tels que
Il s'agit d'une version simplifiée de la seconde partie du
Théorème H de Boltzmann, dans lequel on montre que si la densité dans l'espace des phases d'un gaz
raréfié est d'entropie maximale, alors c'est une fonction Maxwellienne de la vitesse des molécules (ici représentée par une fonction Gaussienne centrée).