Présentation du problème
Équation de Schrödinger linéaire
Résolution de l’équation non-linéaire
Problème de Cauchy pour l’équation de
Schrödinger non-linéaire
Mathieu CATHALA
Université Montpellier 2
21 mai 2010
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Équation de Schrödinger linéaire
Résolution de l’équation non-linéaire
1 Présentation du problème
2 Équation de Schrödinger linéaire
Le cas homogène
L’équation avec second membre
3 Résolution de l’équation non-linéaire
Notion de solution
Existence des solutions
Existence globale
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Équation de Schrödinger linéaire
Résolution de l’équation non-linéaire
Sommaire
1 Présentation du problème
2 Équation de Schrödinger linéaire
3 Résolution de l’équation non-linéaire
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Équation de Schrödinger linéaire
Résolution de l’équation non-linéaire
Equation de Schrödinger non-linéaire
On cherche u : R × Rd → C telle que :
i∂ u + 1 ∆u = λ|u|2σ u, sur Rd × R,
t
2
u(0, ·) = ϕ, sur Rd .
avec :
ϕ ∈ L2 (Rd ) ;
λ ∈ R;
0 < σ < d2 .
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Sommaire
1 Présentation du problème
2 Équation de Schrödinger linéaire
Le cas homogène
L’équation avec second membre
3 Résolution de l’équation non-linéaire
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Equation homogène
Si u est une solution (régulière) de :
1
i∂t u + ∆u = 0,
2
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Equation homogène
Si u est une solution (régulière) de :
1
i∂t u + ∆u = 0,
2
alors sa transformée de Fourier en espace û vérifie, pour tout
ξ ∈ Rd , une équation différentielle en temps :
i|ξ|2
∂t û(t, ξ) + û(t, ξ) = 0.
2
De sorte que û est donnée par :
it|ξ|2
û(t, ξ) = e − 2 ϕ̂(ξ)
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Equation homogène
Théorème
Si ϕ ∈ S(Rd ) alors il existe une unique solution u ∈ C(R, S(Rd ))
de l’équation de Schrödinger homogène, elle est donnée par :
it|ξ|2
F (u(t, ·)) (ξ) = e − 2 ϕ̂(ξ).
Pour t ∈ R on note :
U(t)ϕ = u(t, ·)
la solution au temps t.
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Solutions généralisées
La formule
it|ξ|2
F (U(t)ϕ) (ξ) = e − 2 ϕ̂(ξ)
a encore un sens lorsque ϕ ∈ L2 (Rd ).
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Solutions généralisées
La formule
it|ξ|2
F (U(t)ϕ) (ξ) = e − 2 ϕ̂(ξ)
a encore un sens lorsque ϕ ∈ L2 (Rd ).
Définition
Si ϕ ∈ L2 (Rd ), la fonction
u : (t, x) 7→ (U(t)ϕ) (x),
est la solution généralisée de l’équation de Schrödinger homogène
avec condition initiale ϕ.
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Le groupe de Schrödinger
La famille {U(t), t ∈ R} est un groupe d’opérateurs unitaires de
L2 (Rd ) :
U(t + s) = U(t) ◦ U(s) ;
U(0) = Id ;
kU(t)ϕkL2 = kϕkL2 .
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Equation avec second membre
i∂ u + 1 ∆u = f ,
t
2
u(0, ·) = ϕ.
Variation de la constante : v (t, x) = (U(−t)u(t, ·)) (x) vérifie
i∂t v (t, ·) = U(−t)f (t, ·)
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème
Le cas homogène
Équation de Schrödinger linéaire
L’équation avec second membre
Résolution de l’équation non-linéaire
Equation avec second membre
i∂ u + 1 ∆u = f ,
t
2
u(0, ·) = ϕ.
Variation de la constante : v (t, x) = (U(−t)u(t, ·)) (x) vérifie
i∂t v (t, ·) = U(−t)f (t, ·)
Formule de Duhamel :
Z t
u(t, ·) = U(t)ϕ − i U(t − s)f (s)ds ,
0
=: U(t)ϕ + R(f )(t, ·).
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Sommaire
1 Présentation du problème
2 Équation de Schrödinger linéaire
3 Résolution de l’équation non-linéaire
Notion de solution
Existence des solutions
Existence globale
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
i∂ u + 1 ∆u = λ|u|2σ u,
t
2 (NLS)
u(0, ·) = ϕ.
Définition
u est solution de (NLS) sur I ⊂ R si u ∈ C I , L2 (Rd ) et si
Z t
∀t ∈ I , u(t, ·) = U(t)ϕ − i U(t − s)(λ|u|2σ u)(s)ds ,
0
= U(t)ϕ + R(λ|u|2σ u)(t, ·).
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Le problème de point fixe
I Problème de point fixe pour Ψ définie par
Ψ(u) : (t, x) 7→ U(t)ϕ(x) + R(λ|u|2σ u)(t, x)
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Le problème de point fixe
I Problème de point fixe pour Ψ définie par
Ψ(u) : (t, x) 7→ U(t)ϕ(x) + R(λ|u|2σ u)(t, x)
I Chercher des sous-ensembles de C [0, T ], L2 (Rd ) stables par Ψ.
I Estimer kU(·)ϕkL∞ (0,T ;L2 (Rd )) et R(λ|u|2σ u) L∞ (0,T ;L2 (Rd ))
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Le problème de point fixe
I Problème de point fixe pour Ψ définie par
Ψ(u) : (t, x) 7→ U(t)ϕ(x) + R(λ|u|2σ u)(t, x)
I Chercher des sous-ensembles de C [0, T ], L2 (Rd ) stables par Ψ.
I Estimer kU(·)ϕkL∞ (0,T ;L2 (Rd )) et R(λ|u|2σ u) L∞ (0,T ;L2 (Rd ))
I Estimations de Strichartz
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Le problème de point fixe
I Estimations de Strichartz
kΨ(u)kL∞ (0,T ;L2 (Rd )) ≤ kϕkL2 (Rd ) +C T α kukL2σ+1
p (0,T ;Lq (Rd )) ,
et
kΨ(u) − Ψ(v )kL∞ (0,T ;L2 (Rd )) ≤
C T α kuk2σLp (0,T ;Lq ) +kv k 2σ
Lp (0,T ;Lq ) ku − v kLp (0,T ;Lq ) ,
où C , α, p, q sont des constantes qui ne dépendent que de
l’exposant σ.
On a les mêmes estimations pour kΨ(u)kLp (0,T ;Lq (Rd )) et
kΨ(u) − Ψ(v )kLp (0,T ;Lq (Rd ))
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Existence par point fixe
I Ψ est contractante sur les boules de
C [0, T ], L2 (Rd ) ∩ Lp 0, T ; Lq (Rd ) pour T assez petit.
⇒ Existence locale de solutions .
⇒ Existence d’une unique solution maximale
p
u ∈ C ] − Tmin , Tmax [, L (R ) ∩ Lloc −Tmin , Tmax ; Lq (Rd )
2 d
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Existence globale
Explosion en temps fini :
Tmax < ∞ =⇒ ku(t, ·)kL2 (Rd ) −−−−−→ +∞
t→Tmax
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Existence globale
Explosion en temps fini :
Tmax < ∞ =⇒ ku(t, ·)kL2 (Rd ) −−−−−→ +∞
t→Tmax
I Estimations a priori ?
Conservation de la masse :
∀t ku(t, ·)kL2 (Rd ) = kϕkL2 (Rd )
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Conservation de la masse
Formellement : u × (i∂t u + 12 ∆u = λ|u|2σ u)
On intègre en espace :
Z Z Z
i 2 1
∂t |u| + u∆u = λ |u|2σ+2
2 Rd 2 Rd Rd
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Conservation de la masse
Formellement : u × (i∂t u + 12 ∆u = λ|u|2σ u)
On intègre en espace :
Z Z Z
i 2 1
∂t |u| + u∆u = λ |u|2σ+2
2 Rd 2 Rd Rd
Intégration par parties :
Z Z Z
i d 1
|u|2 − |∇u|2 = λ |u|2σ+2
2 dt Rd 2 Rd Rd
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Conservation de la masse
Formellement : u × (i∂t u + 12 ∆u = λ|u|2σ u)
On intègre en espace :
Z Z Z
i 2 1
∂t |u| + u∆u = λ |u|2σ+2
2 Rd 2 Rd Rd
Intégration par parties :
Z Z Z
i d 1
|u|2 − |∇u|2 = λ |u|2σ+2
2 dt Rd 2 Rd Rd
Partie imaginaire :
1d
ku(t)k2L2 (Rd ) = 0
2 dt
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire
Présentation du problème Notion de solution
Équation de Schrödinger linéaire Existence des solutions
Résolution de l’équation non-linéaire Existence globale
Existence globale
Conservation de la masse ⇒ La solution est globale.
Mathieu CATHALA Problème de Cauchy pour l’équation de Schrödinger non-linéaire