Introduction

Conditions de Dirichlet au bord

Conditions de frontière libre

Équations de Navier-Stokes

Sylvie Monniaux

Univ. Paul Cézanne

Aix-Marseille 3

Habilitation à diriger des recherches - 3 avril 2007

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Cadre de l’exposé : dimension 3

Soit Ω un ouvert de R3 , borné ou non, régulier ou non ;

ν(x) désigne la normale extérieure en un point x ∈ ∂Ω.
On étudie le mouvement d’un fluide incompressible dans Ω sur
un intervalle de temps [0, T ].

Les inconnues
u : [0, T ] × Ω → R3 désigne la vitesse du fluide,
π : [0, T ] × Ω → R désigne sa pression.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Cadre de l’exposé : dimension 3

Soit Ω un ouvert de R3 , borné ou non, régulier ou non ;

ν(x) désigne la normale extérieure en un point x ∈ ∂Ω.
On étudie le mouvement d’un fluide incompressible dans Ω sur
un intervalle de temps [0, T ].

Les inconnues
u : [0, T ] × Ω → R3 désigne la vitesse du fluide,
π : [0, T ] × Ω → R désigne sa pression.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Les équations

Conditions au bord de Dirichlet

 ∂u
 − ∆u + ∇π + (u · ∇)u = 0 sur ]0, T ] × Ω
∂t



div u = 0 sur ]0, T ] × Ω


(DNS) ν · u = 0 sur ]0, T ] × ∂Ω

ν × u = 0 sur ]0, T ] × ∂Ω





u(0, x) = u0 (x), x ∈ Ω.

MRL lip (H3) unicité

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Conditions au bord modifiées

La relation
(u · ∇)u = ∇( 12 |u|2 ) + u × rot u
permet d’écrire les équations modifiées suivantes
Conditions de frontière libre

 ∂u
 − ∆u + ∇π̃ + u × rot u = 0 sur ]0, T ] × Ω
∂t



div u = 0 sur ]0, T ] × Ω


(HNS) ν · u = 0 sur ]0, T ] × ∂Ω

× u = 0 sur ]0, T ] × ∂Ω




 ν rot
u(0, x) = u0 (x), x ∈ Ω.

solutionHNS persp

Sylvie Monniaux Équations de Navier-Stokes

 Introduction
Conditions de Dirichlet au bord
Conditions de frontière libre

Conditions au bord modifiées

La relation
(u · ∇)u = ∇( 12 |u|2 ) + u × rot u
permet d’écrire les équations modifiées suivantes
Conditions de frontière libre

 ∂u
 − ∆u + ∇π̃ + u × rot u = 0 sur ]0, T ] × Ω
∂t



div u = 0 sur ]0, T ] × Ω


(HNS) ν · u = 0 sur ]0, T ] × ∂Ω

× u = 0 sur ]0, T ] × ∂Ω




 ν rot
u(0, x) = u0 (x), x ∈ Ω.

solutionHNS persp

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cadre fonctionnel
On définit
G = {∇p; p ∈ L2loc (Ω; C) avec ∇p ∈ L2 (Ω; C3 )},
H = G⊥ orthogonal dans L2 (Ω; C3 ),

P : L2 (Ω; C3 ) → H projection orthogonale (de Leray),

J : H → L2 (Ω; C3 ) injection canonique : J 0 = P,

V = H01 (Ω; C3 ) ∩ H, J0 = J|V , P1 = J00 : H −1 (Ω; C3 ) → V 0

3 Z
X
a(u, v ) = ∂i J0 u · ∂i J0 v dx, u, v ∈ V.
i=1 Ω

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cadre fonctionnel
On définit
G = {∇p; p ∈ L2loc (Ω; C) avec ∇p ∈ L2 (Ω; C3 )},
H = G⊥ orthogonal dans L2 (Ω; C3 ),

P : L2 (Ω; C3 ) → H projection orthogonale (de Leray),

J : H → L2 (Ω; C3 ) injection canonique : J 0 = P,

V = H01 (Ω; C3 ) ∩ H, J0 = J|V , P1 = J00 : H −1 (Ω; C3 ) → V 0

3 Z
X
a(u, v ) = ∂i J0 u · ∂i J0 v dx, u, v ∈ V.
i=1 Ω

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cadre fonctionnel
On définit
G = {∇p; p ∈ L2loc (Ω; C) avec ∇p ∈ L2 (Ω; C3 )},
H = G⊥ orthogonal dans L2 (Ω; C3 ),

P : L2 (Ω; C3 ) → H projection orthogonale (de Leray),

J : H → L2 (Ω; C3 ) injection canonique : J 0 = P,

V = H01 (Ω; C3 ) ∩ H, J0 = J|V , P1 = J00 : H −1 (Ω; C3 ) → V 0

3 Z
X
a(u, v ) = ∂i J0 u · ∂i J0 v dx, u, v ∈ V.
i=1 Ω

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cadre fonctionnel
On définit
G = {∇p; p ∈ L2loc (Ω; C) avec ∇p ∈ L2 (Ω; C3 )},
H = G⊥ orthogonal dans L2 (Ω; C3 ),

P : L2 (Ω; C3 ) → H projection orthogonale (de Leray),

J : H → L2 (Ω; C3 ) injection canonique : J 0 = P,

V = H01 (Ω; C3 ) ∩ H, J0 = J|V , P1 = J00 : H −1 (Ω; C3 ) → V 0

3 Z
X
a(u, v ) = ∂i J0 u · ∂i J0 v dx, u, v ∈ V.
i=1 Ω

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Définition de l’opérateur de Stokes

Opérateur associé à la forme a

n o
D(A) = u ∈ V ; P1 ∆J0 u ∈ H
Au = P1 (−∆Ω
D )J0 u

où ∆Ω
D est le Laplacien-Dirichlet sur Ω.

Propriétés
A est auto-adjoint, inversible si Ω est borné,
−A engendre un semi-groupe holomorphe sur H,
1
D(A 2 ) = V.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Définition de l’opérateur de Stokes

Opérateur associé à la forme a

n o
D(A) = u ∈ V ; P1 ∆J0 u ∈ H
Au = P1 (−∆Ω
D )J0 u

où ∆Ω
D est le Laplacien-Dirichlet sur Ω.

Propriétés
A est auto-adjoint, inversible si Ω est borné,
−A engendre un semi-groupe holomorphe sur H,
1
D(A 2 ) = V.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Définition classique

Théorème [de Rham]

Soit ϕ ∈ H −1 (Ω; C3 ). Alors P1 ϕ = 0 si et seulement s’il existe
π ∈ L2loc (Ω; C) tel que ϕ = ∇π.

Définition équivalente
n o
D(A) = u ∈ V; ∃π ∈ L2loc (Ω; C), −∆u + ∇π ∈ H
Au = −∆Ω
D u + ∇π

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Définition classique

Théorème [de Rham]

Soit ϕ ∈ H −1 (Ω; C3 ). Alors P1 ϕ = 0 si et seulement s’il existe
π ∈ L2loc (Ω; C) tel que ϕ = ∇π.

Définition équivalente
n o
D(A) = u ∈ V; ∃π ∈ L2loc (Ω; C), −∆u + ∇π ∈ H
Au = −∆Ω
D u + ∇π

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas des domaines réguliers

Théorème [Y. Giga,1981]

Dans le cas où Ω est borné régulier (de bord C 2 ), le
semi-groupe engendré par −A s’étend en un semi-groupe
analytique sur
n o
Hp = u ∈ Lp (Ω; C3 ); div u = 0 dans Ω et ν · u = 0 sur ∂Ω

pour tout p ∈]1, ∞[. (H3)

De plus, le domaine de A sur Hp est exactement
Hp ∩ W01,p (Ω; C3 ) ∩ W 2,p (Ω; C3 ).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas des domaines réguliers

Théorème [Y. Giga,1981]

Dans le cas où Ω est borné régulier (de bord C 2 ), le
semi-groupe engendré par −A s’étend en un semi-groupe
analytique sur
n o
Hp = u ∈ Lp (Ω; C3 ); div u = 0 dans Ω et ν · u = 0 sur ∂Ω

pour tout p ∈]1, ∞[. (H3)

De plus, le domaine de A sur Hp est exactement
Hp ∩ W01,p (Ω; C3 ) ∩ W 2,p (Ω; C3 ).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Solution intégrale

Soit A un opérateur sur un espace de Banach X tel que −A

engendre un semi-groupe (T (t))t≥0 .

Définition
On appelle solution intégrale du problème de Cauchy

u 0 (t) + Au(t) = f (t), t ∈]0, T ], u(0) = u0

la fonction u : [0, T ] → X définie par

Z t
u(t) = T (t)u0 + T (t − s)f (s) ds.
0

regmax unicité solutionHNS

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Solution de (DNS), cas hilbertien

Théorème [Mathematical Research Letters, 2006]

1
Pour tout u0 ∈ D(A 4 ), il existe T > 0 tel que (DNS) (DNS)
admette une solution intégrale u sur [0, T ] vérifiant
1 1
u ∈ C ([0, T ]; D(A 4 )) ∩ C 1 (]0, T ]; D(A 4 )).
1
Si kA 4 u0 k2 est assez petit, alors on peut prendre T = +∞.

Remarques
1
L’espace D(A 4 ) est critique (parties linéaire et non linéaire
d’égale “importance”) pour l’équation (DNS).
Les cas Ω = R3 et Ω borné régulier ont été prouvés par
H. Fujita et T. Kato en 1964.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Solution de (DNS), cas hilbertien

Théorème [Mathematical Research Letters, 2006]

1
Pour tout u0 ∈ D(A 4 ), il existe T > 0 tel que (DNS) (DNS)
admette une solution intégrale u sur [0, T ] vérifiant
1 1
u ∈ C ([0, T ]; D(A 4 )) ∩ C 1 (]0, T ]; D(A 4 )).
1
Si kA 4 u0 k2 est assez petit, alors on peut prendre T = +∞.

Remarques
1
L’espace D(A 4 ) est critique (parties linéaire et non linéaire
d’égale “importance”) pour l’équation (DNS).
Les cas Ω = R3 et Ω borné régulier ont été prouvés par
H. Fujita et T. Kato en 1964.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Solution de (DNS), cas hilbertien

Théorème [Mathematical Research Letters, 2006]

1
Pour tout u0 ∈ D(A 4 ), il existe T > 0 tel que (DNS) (DNS)
admette une solution intégrale u sur [0, T ] vérifiant
1 1
u ∈ C ([0, T ]; D(A 4 )) ∩ C 1 (]0, T ]; D(A 4 )).
1
Si kA 4 u0 k2 est assez petit, alors on peut prendre T = +∞.

Remarques
1
L’espace D(A 4 ) est critique (parties linéaire et non linéaire
d’égale “importance”) pour l’équation (DNS).
Les cas Ω = R3 et Ω borné régulier ont été prouvés par
H. Fujita et T. Kato en 1964.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Éléments de la preuve

On cherche une solution au problème de point fixe

u = α + Φ(u, u) dans un espace de Banach ET où
Φ : ET × ET → ET est bilinéaire continue et α dépend de la
condition initiale (α(0) = u0 ).
1
Problème : trouver l’espace ET contenant C ([0, T ]; D(A 4 ))
tel que α ∈ ET et pour lequel Φ(u, v ) a un sens.
Cette procédure est la même pour toutes les preuves
d’existence de solutions intégrales pour (DNS).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas d’un domaine lipschitzien

Si Ω est borné à bord lipschitzien, on peut caractériser les
domaines des puissances de l’opérateur A.
3
En particulier, D(A 4 ) ⊂ W 1,3 (Ω).
Théorème [avec M. Mitrea, 2006]
1
Pour u0 ∈ D(A 4 ) la solution intégrale de (DNS) (DNS) est dans
3
C 1 (]0, T ]; D(A 4 )).
L’équation (DNS) est de plus vérifiée partout en t ∈]0, T ] et
presque partout en x ∈ Ω.

Remarque
P. Deuring et W. von Wahl ont montré en 1995 un résultat
1
similaire pour u0 ∈ D(A 4 +ε ) (ε > 0).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas d’un domaine lipschitzien

Si Ω est borné à bord lipschitzien, on peut caractériser les
domaines des puissances de l’opérateur A.
3
En particulier, D(A 4 ) ⊂ W 1,3 (Ω).
Théorème [avec M. Mitrea, 2006]
1
Pour u0 ∈ D(A 4 ) la solution intégrale de (DNS) (DNS) est dans
3
C 1 (]0, T ]; D(A 4 )).
L’équation (DNS) est de plus vérifiée partout en t ∈]0, T ] et
presque partout en x ∈ Ω.

Remarque
P. Deuring et W. von Wahl ont montré en 1995 un résultat
1
similaire pour u0 ∈ D(A 4 +ε ) (ε > 0).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas de Lp

Théorème [Y. Giga, T. Miyakawa, 1985]

Soit Ω un domaine régulier. Pour tout u0 ∈ H3 (Hp) , il existe
T > 0 tel que (DNS) (DNS) admette une solution intégrale u
sur [0, T ] vérifiant u ∈ C ([0, T ]; H3 ).
Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe engendré par l’opérateur de
Stokes sur H3 .
- Caractérisation du domaine de l’opérateur de Stokes.
Remarque
L’espace H3 est critique pour (DNS).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas de Lp

Théorème [Y. Giga, T. Miyakawa, 1985]

Soit Ω un domaine régulier. Pour tout u0 ∈ H3 (Hp) , il existe
T > 0 tel que (DNS) (DNS) admette une solution intégrale u
sur [0, T ] vérifiant u ∈ C ([0, T ]; H3 ).
Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe engendré par l’opérateur de
Stokes sur H3 .
- Caractérisation du domaine de l’opérateur de Stokes.
Remarque
L’espace H3 est critique pour (DNS).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas de Lp

Théorème [Y. Giga, T. Miyakawa, 1985]

Soit Ω un domaine régulier. Pour tout u0 ∈ H3 (Hp) , il existe
T > 0 tel que (DNS) (DNS) admette une solution intégrale u
sur [0, T ] vérifiant u ∈ C ([0, T ]; H3 ).
Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe engendré par l’opérateur de
Stokes sur H3 .
- Caractérisation du domaine de l’opérateur de Stokes.
Remarque
L’espace H3 est critique pour (DNS).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas de Lp

Théorème [Y. Giga, T. Miyakawa, 1985]

Soit Ω un domaine régulier. Pour tout u0 ∈ H3 (Hp) , il existe
T > 0 tel que (DNS) (DNS) admette une solution intégrale u
sur [0, T ] vérifiant u ∈ C ([0, T ]; H3 ).
Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe engendré par l’opérateur de
Stokes sur H3 .
- Caractérisation du domaine de l’opérateur de Stokes.
Remarque
L’espace H3 est critique pour (DNS).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Régularité maximale

Soit A un opérateur linéaire sur un espace de Banach X . Soit

p ∈]1, +∞[.
Définition
On dit que A admet la propriété de régularité maximale Lp (on
note (MRp ) si pour toute f ∈ Lp (0, T ; X ), le problème de
Cauchy

u 0 (t) + Au(t) = f (t), t ∈]0, T [, u(0) = 0

admet une unique solution intégrale mild

u ∈ Lp (0, T ; D(A)) ∩ W 1,p (0, T ; X ).

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Propriétés
La propriété de régularité maximale Lp est indépendante
de p ∈]1, +∞[.
Un opérateur avec (MRp ) engendre un semi-groupe
holomorphe.
Un générateur de semi-groupe holomorphe sur un espace
de Hilbert a la propriété (MRp ) [deSimon, 1964].
Un opérateur ayant des puissances imaginaires bornées
sur un espace de Banach (UMD) a la propriété (MRp )
[Dore-Venni, 1987].

Mes contributions [avec J. Prüss, 1997 et avec M. Hieber, 2000]

Versions non autonomes des résultats précédents : A est
remplacé par une famille d’opérateurs {A(t), t ∈ [0, T ]}.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Propriétés
La propriété de régularité maximale Lp est indépendante
de p ∈]1, +∞[.
Un opérateur avec (MRp ) engendre un semi-groupe
holomorphe.
Un générateur de semi-groupe holomorphe sur un espace
de Hilbert a la propriété (MRp ) [deSimon, 1964].
Un opérateur ayant des puissances imaginaires bornées
sur un espace de Banach (UMD) a la propriété (MRp )
[Dore-Venni, 1987].

Mes contributions [avec J. Prüss, 1997 et avec M. Hieber, 2000]

Versions non autonomes des résultats précédents : A est
remplacé par une famille d’opérateurs {A(t), t ∈ [0, T ]}.

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Exemples
Un opérateur avec des estimations gaussiennes a la
propriété (MRp ) [Hieber-Prüss, 1997 & Coulhon-Duong,
2000].
En particulier, le Laplacien-Dirichlet sur Lp (Ω) pour tout
ouvert Ω.
Version non-autonome [avec M. Hieber, 2000].
Dans le cas d’un domaine Ω régulier borné ou extérieur,
l’opérateur de Stokes sur Hq (q ∈]1, +∞[) a des
puissances imaginaires bornées [Giga-Sohr, 1993].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Unicité

Théorème [Comptes Rendus de l’Acad. des Sci., 1999]

Soit Ω ⊂ R3 un ouvert régulier borné ou extérieur ou encore
Ω = R3 . Alors il existe au plus une solution intégrale mild de
(DNS) dans C ([0, T ]; H3 ). (DNS)

Remarques
Ce résultat est vrai en toute dimension d ≥ 3 (en
remplaçant H3 par Hd ).
La première preuve de ce résultat est due à G. Furioli,
P.-G. Lemarié-Rieusset et E. Terraneo [2000].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Unicité

Théorème [Comptes Rendus de l’Acad. des Sci., 1999]

Soit Ω ⊂ R3 un ouvert régulier borné ou extérieur ou encore
Ω = R3 . Alors il existe au plus une solution intégrale mild de
(DNS) dans C ([0, T ]; H3 ). (DNS)

Remarques
Ce résultat est vrai en toute dimension d ≥ 3 (en
remplaçant H3 par Hd ).
La première preuve de ce résultat est due à G. Furioli,
P.-G. Lemarié-Rieusset et E. Terraneo [2000].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Éléments de la preuve
On suppose que l’on a deux solutions intégrales
u, v ∈ C ([0, T ]; H3 ) :
u = α + Φ(u, u) et v = α + Φ(v , v ).
On note w = u − v : w = Φ(w, u) + Φ(v , w), et on montre
que kwkX ≤ c(T )kwkX où X est un espace bien choisi et
c(T ) −−−→ 0.
T →0
Problème : trouver l’espace X contenant C ([0, T ]; H3 ) sur
lequel Φ est continue.
Une solution : remplacer H3 par un espace de Besov
[Furioli, Lemarié-Rieusset, Terraneo].
Autre solution : remplacer C ([0, T ]) par un espace Lp et
utiliser la régularité maximale [CRAS, 1999].
Sylvie Monniaux Équations de Navier-Stokes
 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Éléments de la preuve
On suppose que l’on a deux solutions intégrales
u, v ∈ C ([0, T ]; H3 ) :
u = α + Φ(u, u) et v = α + Φ(v , v ).
On note w = u − v : w = Φ(w, u) + Φ(v , w), et on montre
que kwkX ≤ c(T )kwkX où X est un espace bien choisi et
c(T ) −−−→ 0.
T →0
Problème : trouver l’espace X contenant C ([0, T ]; H3 ) sur
lequel Φ est continue.
Une solution : remplacer H3 par un espace de Besov
[Furioli, Lemarié-Rieusset, Terraneo].
Autre solution : remplacer C ([0, T ]) par un espace Lp et
utiliser la régularité maximale [CRAS, 1999].
Sylvie Monniaux Équations de Navier-Stokes
 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas des domaines lipschitziens

Théorème [Journal of Functional Analysis, 2002]

Soit Ω ⊂ R3 un ouvert borné lipschitzien. Alors il existe au plus
une solution intégrale mild de (DNS) dans C ([0, T ]; H3 ). (DNS)

Éléments de la preuve :
- Se ramener d’abord à un problème au bord.
- Utilisation d’un résultat de régularité maximale au bord dû à
Z. Shen [1991].
Remarque
Ce résultat est vrai aussi en toute dimension d ≥ 3 [Annales
Mathématiques Blaise Pascal, 2003].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas des domaines lipschitziens

Théorème [Journal of Functional Analysis, 2002]

Soit Ω ⊂ R3 un ouvert borné lipschitzien. Alors il existe au plus
une solution intégrale mild de (DNS) dans C ([0, T ]; H3 ). (DNS)

Éléments de la preuve :
- Se ramener d’abord à un problème au bord.
- Utilisation d’un résultat de régularité maximale au bord dû à
Z. Shen [1991].
Remarque
Ce résultat est vrai aussi en toute dimension d ≥ 3 [Annales
Mathématiques Blaise Pascal, 2003].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Cas des domaines lipschitziens

Théorème [Journal of Functional Analysis, 2002]

Soit Ω ⊂ R3 un ouvert borné lipschitzien. Alors il existe au plus
une solution intégrale mild de (DNS) dans C ([0, T ]; H3 ). (DNS)

Éléments de la preuve :
- Se ramener d’abord à un problème au bord.
- Utilisation d’un résultat de régularité maximale au bord dû à
Z. Shen [1991].
Remarque
Ce résultat est vrai aussi en toute dimension d ≥ 3 [Annales
Mathématiques Blaise Pascal, 2003].

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Opérateur de Stokes
Introduction
Existence locale de solutions régulières
Conditions de Dirichlet au bord
Unicité des solutions intégrales
Conditions de frontière libre
Perspectives : cas des domaines lipschitziens

Semi-groupe holomorphe dans Lp

Soit Ω ⊂ R3 un domaine lipschitzien.
Exemple [P. Deuring, 2001]
L’opérateur de Stokes n’engendre pas de semi-groupe
holomorphe sur Hp pour p loin de 2.

Conjecture [M. Taylor, 2000]

L’opérateur de Stokes engendre un semi-groupe holomorphe
(et a la propriété de régularité maximale ?) sur Hp pour
p ∈ [ 32 , 3].

Remarque [Fabes-Mendez-Mitrea, 1998]

3
Projection de Leray P : Lp → Hp bornée pour 2 ≤ p ≤ 3.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Cadre fonctionnel
Soit Ω ⊂ R3 un ouvert borné lipschitzien. On note
n
V = u ∈ L2 (Ω; C3 ); div u ∈ L2 (Ω; C), rot u ∈ L2 (Ω; C3 ) &
o
ν · u = 0 sur ∂Ω ,
que l’on munit de la norme
 1
2
kukV = kuk22 + kdiv uk22 + krot uk22 .

C’est un espace de Hilbert, dense dans L2 (Ω; C3 ), non contenu

dans H 1 (Ω; C3 ).
Sur V × V , on définit la forme b par
Z Z
b(u, v ) = rot u · rot v dx + div u div v dx.
Ω Ω

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Cadre fonctionnel
Soit Ω ⊂ R3 un ouvert borné lipschitzien. On note
n
V = u ∈ L2 (Ω; C3 ); div u ∈ L2 (Ω; C), rot u ∈ L2 (Ω; C3 ) &
o
ν · u = 0 sur ∂Ω ,
que l’on munit de la norme
 1
2
kukV = kuk22 + kdiv uk22 + krot uk22 .

C’est un espace de Hilbert, dense dans L2 (Ω; C3 ), non contenu

dans H 1 (Ω; C3 ).
Sur V × V , on définit la forme b par
Z Z
b(u, v ) = rot u · rot v dx + div u div v dx.
Ω Ω

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Définition
Laplacien de Hodge
L’opérateur B associé à la forme b est appelé Laplacien de
Hodge sur Ω ; il est auto-adjoint, inversible et −B engendre un
semi-groupe holomorphe sur L2 (Ω; C3 ).

On vérifie facilement
D(B) = {u ∈ V ; rot rot u ∈ L2 (Ω; C3 ), div v ∈ H 1 (Ω; C)
avec ν · u = 0 et ν × rot u = 0 sur ∂Ω}
Bu = −∆u.

Propriété [avec M. Mitrea, 2006]

Le Laplacien de Hodge B et la projection de Leray P
commutent.
Sylvie Monniaux Équations de Navier-Stokes
 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Définition
Laplacien de Hodge
L’opérateur B associé à la forme b est appelé Laplacien de
Hodge sur Ω ; il est auto-adjoint, inversible et −B engendre un
semi-groupe holomorphe sur L2 (Ω; C3 ).

On vérifie facilement
D(B) = {u ∈ V ; rot rot u ∈ L2 (Ω; C3 ), div v ∈ H 1 (Ω; C)
avec ν · u = 0 et ν × rot u = 0 sur ∂Ω}
Bu = −∆u.

Propriété [avec M. Mitrea, 2006]

Le Laplacien de Hodge B et la projection de Leray P
commutent.
Sylvie Monniaux Équations de Navier-Stokes
 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Comportement sur Lp

Théorème [avec M. Mitrea, 2006]

Le Laplacien de Hodge sur Ω ⊂ R3 domaine borné lipschitzien
engendre un semi-groupe holomorphe sur Lp (Ω; C3 ) pour tout
p ∈]pΩ , qΩ [ où qΩ > 3 et p1Ω + q1Ω = 1.

Théorème [avec S. Hofmann et M. Mitrea, 2007]

1
Les transformées de Riesz rot B − 2 : Lp (Ω; C3 ) → Lp (Ω; C3 ) et
1
div B − 2 : Lp (Ω; C3 ) → Lp (Ω; C) sont bornées pour p ∈]pΩ , qΩ [.

Preuve : estimations hors diagonale de la résolvante de B.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Comportement sur Lp

Théorème [avec M. Mitrea, 2006]

Le Laplacien de Hodge sur Ω ⊂ R3 domaine borné lipschitzien
engendre un semi-groupe holomorphe sur Lp (Ω; C3 ) pour tout
p ∈]pΩ , qΩ [ où qΩ > 3 et p1Ω + q1Ω = 1.

Théorème [avec S. Hofmann et M. Mitrea, 2007]

1
Les transformées de Riesz rot B − 2 : Lp (Ω; C3 ) → Lp (Ω; C3 ) et
1
div B − 2 : Lp (Ω; C3 ) → Lp (Ω; C) sont bornées pour p ∈]pΩ , qΩ [.

Preuve : estimations hors diagonale de la résolvante de B.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Comportement sur Lp

Théorème [avec M. Mitrea, 2006]

Le Laplacien de Hodge sur Ω ⊂ R3 domaine borné lipschitzien
engendre un semi-groupe holomorphe sur Lp (Ω; C3 ) pour tout
p ∈]pΩ , qΩ [ où qΩ > 3 et p1Ω + q1Ω = 1.

Théorème [avec S. Hofmann et M. Mitrea, 2007]

1
Les transformées de Riesz rot B − 2 : Lp (Ω; C3 ) → Lp (Ω; C3 ) et
1
div B − 2 : Lp (Ω; C3 ) → Lp (Ω; C) sont bornées pour p ∈]pΩ , qΩ [.

Preuve : estimations hors diagonale de la résolvante de B.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

L’opérateur de Stokes-Hodge

Définition
On note A l’opérateur

D(A) = D(B) ∩ H2 , Au = −∆u.

L’opérateur A est appelé l’opérateur de Stokes-Hodge.

Comme B et P commutent, les propriétés de B se transfèrent à

l’opérateur A.
En particulier, −A engendre un semi-groupe holomorphe sur
Hp pour tout p ∈]pΩ , qΩ [.

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Théorème [avec M. Mitrea, 2006]

Pour tout u0 ∈ H3 , il existe T > 0 tel que (HNS) (HNS) admette
une solution intégrale mild u sur [0, T ] vérifiant

u ∈ C ([0, T ]; H3 ) et rot u ∈ C (]0, T ]; H3 )

Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe de Stokes-Hodge.
- Traitement de la non linéarité u × rot u en particulier grâce à
un inverse du rotationnel [avec D. Mitrea et M. Mitrea, 2006].

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Théorème [avec M. Mitrea, 2006]

Pour tout u0 ∈ H3 , il existe T > 0 tel que (HNS) (HNS) admette
une solution intégrale mild u sur [0, T ] vérifiant

u ∈ C ([0, T ]; H3 ) et rot u ∈ C (]0, T ]; H3 )

Si ku0 k3 est assez petit, alors on peut prendre T = +∞.

Éléments de la preuve :
- Analyticité du semi-groupe de Stokes-Hodge.
- Traitement de la non linéarité u × rot u en particulier grâce à
un inverse du rotationnel [avec D. Mitrea et M. Mitrea, 2006].

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Plan de l’exposé

1 Conditions de Dirichlet au bord

Opérateur de Stokes
Existence locale de solutions régulières
Unicité des solutions intégrales
Perspectives : cas des domaines lipschitziens

2 Conditions de frontière libre

Le Laplacien de Hodge
Existence locale de solutions régulières
Perspectives : régularité maximale et équations d’Euler

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Régularité maximale pour le Laplacien de Hodge

Conjecture
Les estimations hors diagonale prouvées pour le Laplacien de
Hodge peuvent être utilisées pour montrer la propriété de
régularité maximale.

Ceci pourrait alors être utilisé pour donner une preuve de

l’unicité des solutions de (HNS) (HNS) dans l’espace
C ([0, T ]; H3 ).

Sylvie Monniaux Équations de Navier-Stokes

 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Équations d’Euler

Euler
∂u

 ∂t + ∇π + (u · ∇)u = 0 sur ]0, T ] × Ω
(E) div u = 0 sur ]0, T ] × Ω
ν·u = 0 sur ]0, T ] × ∂Ω


comme limite lorsque ε tend vers 0 de

Dirichlet-Navier-Stokes
 ∂u
 ∂t − ε∆u + ∇π + (u · ∇)u
 = 0 sur ]0, T ] × Ω
div u = 0 sur ]0, T ] × Ω

(DNS)ε

 ν·u = 0 sur ]0, T ] × ∂Ω
ν×u = 0 sur ]0, T ] × ∂Ω


avec condition initiale u(0, x) = u0 (x), x ∈ Ω.

Sylvie Monniaux Équations de Navier-Stokes
 Introduction Le Laplacien de Hodge
Conditions de Dirichlet au bord Existence locale de solutions régulières
Conditions de frontière libre Perspectives : régularité maximale et équations d’Euler

Équations d’Euler
Euler
∂u

 ∂t + ∇π̃ + u × rot u = 0 sur ]0, T ] × Ω
(E) div u = 0 sur ]0, T ] × Ω
ν·u = 0 sur ]0, T ] × ∂Ω


comme limite lorsque ε tend vers 0 de

Hodge-Navier-Stokes
 ∂u
 ∂t − ε∆u + ∇π̃ + u × rot u
 = 0 sur ]0, T ] × Ω
div u = 0 sur ]0, T ] × Ω

(HNS)ε

 ν·u = 0 sur ]0, T ] × ∂Ω
ν × rot u = 0 sur ]0, T ] × ∂Ω


avec condition initiale u(0, x) = u0 (x), x ∈ Ω.

Sylvie Monniaux Équations de Navier-Stokes