3
4. Applications du th´
eor`
eme d’Ascoli aux ´
equations diff´
erentielles
Exercice 1 : Soit u∈C1([0,1]). Soient x, y ∈[0,1]. En ´ecrivant u(x)−u(y) =
Ry
xu0(t)dt et en utilisant l’in´egalit´e de Cauchy-Schwarz, montrez qu’il existe C > 0
(d´ependant de u) tel que |u(x)−u(y)| ≤ Cp|y−x|.
On pose
A:= {u∈C1([0,1])/ u(0) = 1 et Z1
0
u0(t)2dt ≤2.}
Montrez que Aest relativement compact dans C0([0,1]).
Exercice 2 : On consid`ere les solutions u∈C1([0,1]) de l’´equation diff´erentielle
nu0(t) = t+1
1+u(t)2sur [0,1] o(E)
On admet que de telles solutions existent.
1. On fixe M > 0. On se donne une fonction u∈C1([0,1]) solution de (E) telle
que |u(0)| ≤ M. Montrez qu’il existe une constante C > 0 (ind´ependante de u) tel
que |u0(t)| ≤ Cpour tout t∈[0,1].
On pose
AM:= {u∈C1([0,1])/ u est solution de (E) et |u(0)| ≤ M.}
2. Montrez que AMest relativement compact dans C0([0,1]).
3. On se donne une suite (un)ntelle que un∈AMpour tout n∈N. On suppose qu’il
existe u∈C0([0,1]) telle que (un) converge uniform´ement vers udans C0([0,1]).
Montrez que (u0
n)nconverge uniform´ement vers une limite f∈C0([0,1]). Montrez
alors que u∈C1([0,1]) et que u0=f.
4. Montrez que AMest relativement compact dans C1([0,1]).
Exercice 3 : On se donne f∈C0([0,1]). On consid`ere les solutions u∈C2([0,1])
du syst`eme diff´erentiel
u00(t) = f(t) + u(t) + 1
1+u(t)2sur [0,1]
u(0) = u(1) = 0 (E)
On admet que de telles solutions existent.
1. On fixe M > 0. On se donne une fonction u∈C2([0,1]) solution de (E) telle
que kukC0≤M. Montrez qu’il existe CM>0 d´ependant de Mseulement (donc
pas de u) tel que |u0(t)| ≤ CMpour tout t∈[0,1].
On pose
AM:= {u∈C2([0,1])/ u est solution de (E) et |u(t)| ≤ Mpour tout t∈[0,1].}
2. Montrez que AMest relativement compact dans C0([0,1]).
3. On se donne une suite (un)ntelle que un∈AMpour tout n∈N. On suppose qu’il
existe u∈C0([0,1]) telle que (un) converge uniform´ement vers udans C0([0,1]).
Montrez que (u00
n)nconverge uniform´ement vers une limite f∈C0([0,1]). Montrez
alors que (u0
n)nconverge uniform´ement vers une limite g∈C0([0,1]). Montrez que
u∈C2([0,1]) et que u0=get u00 =f.
4. Montrez que AMst relativement compact dans C2([0,1]).