التمرين 1
Exercice 1
On considère le problème d’évolution suivant :
$ \begin{cases} \partial_t u-\partial_{xx}u+f(u)=0, & (t,x)\in ]0,+\infty[\times ]0,1[,\ u(t,0)=u(t,1)=0, & \forall t>0,\ u(0,x)=g(x), & \forall x\in ]0,1[, \end{cases}
o├╣ $f:\mathbb{R}\to\mathbb{R}$ est une fonction continue telle que $f(u)\cdot u\geq 0$ et $g\in L^2(0,1)$.
On note $P(t)=\lVert u(t)\rVert_{L^2(0,1)}^2$ et on veut obtenir des estimations de plus en plus fines pour $P(t)$, sans résoudre l’EDP.
1. Démontrer que $P'(t)\leq 0$ et déduire que
$
P(t)\leq \lVert g\rVert_{L^2(0,1)}^2,\quad \forall t>0.
- En utilisant l’inégalité de Poincaré, démontrer que
$ P'(t)\leq -2\pi^2P(t)
et déduire que
$
P(t)\leq P(0)e^{-2\pi^2t}.
- On prend maintenant . En utilisant l’inégalité de Cauchy-Schwarz pour estimer , démontrer que
$ P'(t)\leq -2\pi^2P(t)-2P^2(t)
et déduire que
$
P(t)\leq \left(\frac{\pi^2P(0)}{\pi^2+P(0)\left(1-e^{-2\pi^2t}\right)}\right)e^{-2\pi^2t}.
Aide : La constante de Poincaré est . Le changement de variable peut être utile dans l’inégalité précédente.