Exam 1516correc
Exam 1516correc
Exam 1516correc
Fourier
MAT4117 – EDO et EDP Éléments de correction 2015-2016
Exercice 1.
L’espace Rd est muni de son produit scalaire canonique, noté (· | ·). On note | · | la norme
associée. Soit f : Rd → Rd une application localement lipschitzienne vérifiant, pour un
α>0:
(1) ∀x, y ∈ Rd , (f (y) − f (x) | y − x) ≥ α|y − x|2 .
Le but de l’exercice est de montrer que f est un homéomorphisme de Rd sur lui-même.
1) Montrer que f est injective.
Si f (y) = f (x), par la relation (1), on obtient y = x.
2) On montre ici que 0 est dans l’image de f .
a) Soit x et y deux solutions de l’équation différentielle z 0 = −f (z) sur l’intervalle [0, T ],
pour un T > 0. Montrer que
∀t ∈ [0, T ], |y(t) − x(t)| ≤ |y(0) − x(0)| e−αt .
En effet, on a
d
(|y − x|2 ) = 2(y 0 − x0 | y − x),
dt
= −2(f (y) − f (x) | y − x)
≤ −2α|y − x|2 ,
d’où |y(t) − x(t)|2 ≤ |y(0) − x(0)|2 e−2αt , pour tout t ∈ [0, T ].
b) Dans la suite, x désigne la solution maximale du problème de Cauchy
0
x = −f (x),
x(0) = 0.
On note ]T− , T+ [ son intervalle de définition (avec T− , T+ ∈]0, +∞[). En appliquant a) à x
et à t 7→ x(t + h) avec |h| assez petit, montrer que
∀t ∈ [0, T+ [, |x0 (t)| ≤ |x0 (0)| e−αt .
On fixe T ∈]0, T+ [. La fonction y : t 7→ x(t + h) est définie (et vérifie y 0 = −f (y)) sur
]T− − h, T+ − h[, qui contient [0, T ] pour |h| assez petit. On obtient l’inégalité voulue sur
[0, T ] en divisant celle de la question précédente par h 6= 0 et en faisant tendre h vers 0.
Comme T est quelconque dans ]0, T+ [, on a finalement l’inégalité sur [0, T+ [.
c) Montrer que x est bornée sur [0, T+ [, et que T+ = +∞.
On a, pour tout t ∈ [0, T+ [ :
Z t
x(t) = − x0 (t0 )dt0 ,
0 Z Z ∞
t
0 −αt0 0 0 0 |x0 (0)|
donc |x(t)| ≤ |x (0)| e dt ≤ |x (0)| e−αt dt0 = .
0 0 α
Avec le critère d’explosion en dimension finie, cette borne implique que T+ = +∞.
d) Montrer que x(t) admet une limite ` ∈ Rd lorsque t tend vers +∞, et que Zf (`) = 0.
∞
Comme |x0 | est intégrable sur [0, +∞[, x0 aussi, et donc x(t) tend vers ` = − x0 (t0 )dt0
0
lorsque t tend vers +∞. Par continuité de f (localement lipschitzienne) et par la relation
x0 = f (x), on voit que x0 (t) tend vers f (`) lorsque t tend vers +∞. Mais le résultat de b)
implique alors que f (`) = 0.
3) Montrer que f est surjective.
2
Pour tout z ∈ Rd , la fonction f − z vérifie les mêmes hypothèses que f . On peut donc lui
appliquer ce qui précède, et trouver `z ∈ Rd tel que f (`z ) = z.
4) Montrer que l’application réciproque de f vérifie
∀x, y ∈ Rd , |f −1 (y) − f −1 (x)| ≤ α−1 |y − x|,
et conclure.
On sait déjà que f est continue et bijective. Par l’inégalité de Cauchy-Schwarz, (1) implique
∀x, y ∈ Rd , α|x − y|2 ≤ |f (x) − f (y)| |x − y|.
Distinguant les cas x = y et x 6= y, on en déduit :
∀x, y ∈ Rd , α|x − y| ≤ |f (x) − f (y)|.
Lorsque x, y ∈ Rd , en appliquant cela non pas à x et y, mais à f −1 (x) et f −1 (y), on obtient
l’inégalité voulue, qui exprime la continuité de f −1 .
Exercice 2.
On étudie ici le problème de Cauchy associé à l’équation
(1) ∂t u + ∂x3 u = −u3 (t, x ∈ R).
Toutes les fonctions sont à valeurs dans C. On note F la transformation de Fourier sur
L2 (R), et aussi fˆ = Ff .
1) a) Donner la définition de l’espace de Sobolev H s (R) et de sa norme k · kH s , pour s ≥ 0.
qui est fini dès que s > 1/2. Par ailleurs, la formule d’inversion de Fourier f = (2π)−1 F fˆ
implique que f est continue et bornée, avec
kf kL∞ ≤ (2π)−1 kfˆkL1 ≤ (2π)−1 k(1 + | · |2 )−s kL1 kf kH s ,
donc H s (R) s’injecte bien continument dans L∞ (R). Z
2 ˆ
c) On rappelle que pour tous f, g ∈ L (R) et ξ ∈ R, f g(ξ) = (f ? ĝ)(ξ) =
c fˆ(η)ĝ(ξ −η) dη,
R
et on rappelle l’inégalité de Young suivante :
∀ϕ ∈ L1 (R), ∀ψ ∈ L2 (R), kϕ ? ψkL2 ≤ kϕkL1 kψkL2 .
En admettant l’inégalité de Peetre (voir question 5),
(1 + |ξ|2 )s ≤ 4s (1 + |η|2 )s + (1 + |ξ − η|2 )s ,
∀s ≥ 0, ∀ξ, η ∈ R,
montrer que pour tout s > 1/2, il existe une constante Cs > 0 telle que :
∀f, g ∈ H s (R), f g ∈ H s (R) et kf gkH s ≤ Cs kf kH s kgkH s .
Si s > 1/2 et f, g ∈ H s (R), on a en particulier f, g ∈ L2 (R), et on nous rappelle que la
fonction (continue) fcg s’exprime comme la convolution fˆ ? ĝ. Alors,
3
Z Z 2
kf gk2H s = (1 + |ξ| )2 s
fˆ(η)ĝ(ξ − η) dη dξ
RZ R
Z 2
≤ 4s (1 + |η|2 )s/2 fˆ(η)ĝ(ξ − η) dη dξ
RZ RZ
2
+4s fˆ(η)(1 + |ξ − η|2 )s/2 ĝ(ξ − η) dη dξ (inégalité de Peetre)
R R
= 4s k((1 + | · |2 )s/2 fˆ) ? ĝk2L2 + 4s kfˆ ? ((1 + | · |2 )s/2 ĝ)k2L2
≤ 4s kf k2H s kĝk2L1 + 4s kfˆk2L1 kgk2H s (inégalité de Young)
≤ Cs2 kf k2H s kgk2H s ,
grâce à l’inégalité obtenue au b).
Pour ce qui suit, on se donne s ≥ 0 et u ∈ H s (R).
3
2) Pour tout t ∈ R, on pose V (t)u := F −1 ξ 7→ eitξ u b(ξ) .
a) Montrer que pour tout t ∈ R, V (t)u ∈ H s (R) et kV (t)ukH s = kukH s .
3 3
Comme eitξ est de module 1, ξ 7→ eitξ u b(ξ) ∈ L2 (R), et V (t)u est bien défini dans L2 (R).
De plus,
kV (t)ukH s = k(1 + | · |2 )s/2 F(V (t)u)kL2 = k(1 + | · |2 )s/2 u
bkL2 = kukH s .
(on pourra montrer que la dérivée en temps de v : t 7→ V (−t)u(t) vaut −V (−t)(u(t)3 )).
Vérifions que pour tout t ∈ [0, T ], avec h 6= 0 tel que t + h ∈ [0, T ], la quantité ∆ =
1
h
(V (−t − h)u(t + h) − V (−t)u(t)) + V (−t)(u(t)3 ) tend vers 0 lorsque h tend vers 0. On
évalue la norme k · kH s−3 de ∆, qui est égale à celle de V (t)∆. On décompose alors
1 1
V (t)∆ = V (−h)( (u(t + h) − u(t))) + (V (−h)u(t) − u(t)) + u(t)3 .
h h
Dans le deuxième terme, on reconnaı̂t le taux d’accroissement utilisé en 2) c) ; il converge
dans H s−3 (R) vers ∂x3 u(t). Le premier terme, lui, converge vers ∂t u(t) :
1
kV (−h)( (u(t + h) − u(t))) − ∂t u(t)kH s−3
h
1
≤ kV (−h)( (u(t + h) − u(t)) − ∂t u(t))kH s−3 + kV (−h)∂t u(t) − ∂t u(t)kH s−3
h
1
= k (u(t + h) − u(t)) − ∂t u(t)kH s−3 + kV (−h)∂t u(t) − ∂t u(t)kH s−3 .
h
Le premier terme tend vers 0 car u ∈ C 1 ([0, T ], H s−3 (R)) ; le deuxième, par 2) b). Finale-
ment, la norme k · kH s−3 de ∆ tend, lorsque h tend vers 0, vers
k∂t u(t) + ∂x3 u(t) + u(t)3 kH s−3 = 0.
d
En intégrant la relation (V (−·)u) = V (−·)(u3 ), on a
dt
Z t
∀t ∈ [0, T ], V (−t)u(t) = u + V (−t0 )(u(t0 )3 ) dt0 ,
0
et par 1)c),
ku2 (t0 )3 − u1 (t0 )3 kH s = k(u2 (t0 ) − u1 (t0 ))(u2 (t0 )2 + u2 (t0 )u1 (t0 ) + u1 (t0 ))kH s ≤ Cs2 R2 kv(t0 )kH s ,
car (en omettant t0 )
ku22 + u2 u1 + u21 kH s ≤ ku22 kH s + ku2 u1 kH s + ku21 kH s ≤ Cs (ku2 k2H s + ku2 kH s ku1 kH s + ku1 k2H s ).
Z t
Ainsi, kv(t)kH s ≤ Cs R 2 2
kv(t0 )kH s dt0 , et le lemme de Gronwall conclut.
0
5) Soit s > 1/2. Montrer (par exemple, par une méthode de point fixe) qu’il existe T > 0
et u ∈ C([0, T ], H s (R)), solution intégrale de (1) avec donnée initiale u.
On va montrer R t qu’il existe une solution de (2), sous forme d’un point fixe de T : u 7→
(t 7→ V (t)u + 0 V (t − t )(u(t0 )2 ) dt0 ), dans la boule B de C([0, T ], H s (R)) (muni de kuk :=
0
5