Equa de Stokes Et Conv - Presentation - 2023 2024

Équations de Stokes et Convection-Analyse
numérique et simulation
ESCANS
Prof S. Boujena
Département de Mathématiques et Informatique
Faculté des Sciences Ain Chock
Université Hassan II de Casablanca
Année Universitaire 2023-2024
Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 1 / 41

Plan du cours
1 Généralités
Equations de convection diusion-Cas général
Exemples d'équations de Convection Diusion
2 Equations de convection
Equation de transport monodimensionelle en espace à coecients
variables
Méthode des caractéristiques pour un problème de transport
monodimensionnel en espace
Méthode des caractéristiques générale
3 Equations de diusion-Problème de Stokes
Stokes stationnaire-Formulation vitesse
Stokes stationnaire-Formulation contrainte
Problème de Stokes instationnaire-Formulation vitesse
Problème de Stokes instationnaire-Formulation mixte

Equations de convection diusion-Cas général
∂ (ρu)
(t, x) = ∇.(d ∇u)(t, x) − ∇.(ρ u ⃗c )(t, x) + R(t, x).
∂t (1)
⇑ ⇑ ⇑ ⇑
Inertie Diusion Convection Terme sources
x ∈ Ω ⊂ Rn (n ≥ 1) variable d'espace,
t ∈]0, T [ (]0, +∞[) variable temps,
Π =]0, T [×Ω le domaine de l'E.D.P,
u = inconnue du problème, u : Ω −→ R,
d = diusivité ou coecient de diusion,
R = Terme sources,
⃗c = vitesse de convection (ou transport),
ρ = densité de masse,
∇ représente le gradient et
∇. = représente la divergence.
∂ (ρu)
(t, x) = ∇.(d ∇u)(t, x) − ∇.(ρ u ⃗c )(t, x) + R(t, x) ; (1 )
∂t
∀(t, x) ∈ Π.
L'équation (1) une équation de convection diusion. Elle est obtenue en
appliquant le principe fondamental de conservation de la quantité de
mouvement pour décrire l'évolution d'une grandeur physique rattachée à
une particule qui est convectée (ou transportée), dans le temps, à une
vitesse ⃗c à l'intérieur d'un domaine Ω et dont le coecient de diusion est
d et la densité de masse est ρ. L'équation (1) peut se mettre sous la forme
∂ (ρ) ∂ (u)
u(t, x) (t, x) + ρ(t, x) (t, x) = ∇.(d ∇u)(t, x)−
∂t ∂t (2)
u(t, x)div (ρ⃗c )(t, x) − ρ(t, x) [(⃗c .∇)u](t, x) + R(t, x) ;
∀(t, x) ∈ Π.
Elle peut décrire par exemple la dispersion u d'un polluant à la surface d'un
liquide en mouvement avec une vitesse horizontale ⃗c . Le polluant est
miscible dans le liquide, mais plus léger.
Dans le cas où u est une fonction vectorielle alors l'équation (1) sera écrite
composante par composante.
Principe de conservation de la masse
Le principe fondamental de conservation de la masse se traduit localement
par l'équation :
∂ρ
(t, x) + div (ρ→
−
c )(t, x) = 0 , ∀(t, x) ∈ Π . (3)
∂t
l'équation (2) prend la
Forme générale d'une équation de Convection-Diusion
∂u
ρ(t, x) (t, x) = ∇.(d ∇u)(t, x) − ρ(t, x) [(⃗c .∇)u](t, x) + R(t, x) ;
∂t (4)
∀(t, x) ∈ Π.

On rappelle que la Dérivée particulaire d'une grandeur physique G
rattachée à une particule uide qui s'écoule à une vitesse ⃗c est dénie
DG ∂G
par = + (⃗c .∇)G ,
Dt ∂t
Le problème (3) est équivalent à
∂ρ
(t, x) + ρ(t, x)div (⃗c )(t, x) + [(⃗c .∇)ρ](t, x) = 0 , ∀(t, x) ∈ Π . (5)
∂t
2ème Forme de l'équation de la conservation de la quantité de masse
Dρ
(t, x) + ρ(t, x)div (→
−
c )(t, x) = 0 , ∀(t, x) ∈ Π . (6)
Dt
2ème forme générale de l'équation de Convection-Diusion
D u
ρ(t, x) (t, x) − ∇.(d ∇u)(t, x) = R(t, x) ;
D t (7)
∀(t, x) ∈ Π.
Fluides incompressibles
Dρ
(t, x) + ρdiv →
−
c (t, x) = 0 , ∀(t, x) ∈ Π (5).
Dt
Or la particule uide de masse volumique ρ renferme une quantité de
δm
masse constante δm dans un volume δv = . Si ρ varie au cours du
ρ
mouvement c'est que le volume δv varie , même si la particule uide n'est
pas toujours constituée des mêmes molécules. Ainsi,
→
− 1 Dρ 1 D(δv )
div c = − =
ρ Dt δv Dt
→
−
La divergence du vecteur vitesse c est donc proportionnelle au taux
d'accroissement du volume de la particule uide située en x à l'instant t , si
cette divergence est positive, alors le volume croît et si elle est négative le
volume se contracte. Ainsi si l'on est en présence d'un uide qui est
incompressible et indilatable alors la variation de volume n'aura pas lieu
et par conséquent la masse volumique reste constante. Ainsi la divergence
du vecteur vitesse est nulle.
Rappels
Soit u⃗ = (u1 , u2
, ..., un ) ∈ Rn . Alors 
X ∂u1
uj (t, x)
 ∂xj 
 1≤j≤n 
∂u2
 X 
uj (t, x)
 
 
∂xj
(⃗
u .∇)⃗
u (t, x) =  1≤j≤n ,
 
..
.
 
 
 
 X ∂un 
 uj (t, x) 
∂xj
1≤j≤n
X ∂ 2 u1
 
(t, x) 
 1≤j≤n ∂(xj )2


 X ∂ 2 u2
 


2
(t, x) 
∂(x ) .
 
∆⃗
u (t, x) =  1≤j≤n
 j
 ..

 .


2
 
 X ∂ un 

2
(t, x) 
Prof. S. BOUJENA ∂(xj ) ESCANS S3 2023-2024 MNSA 8 / 41
Exemples d'équations de Convection Diusion
1 Equation de Navier-Stokes :
∂ u⃗
(6) ρ[ + (⃗ u (t, x) + f⃗(t, x).
u ](t, x) = −∇p(t, x) + µ∆⃗
u .∇)⃗
∂t
u et p sont les inconnues.
2 Equation de Black-Scholes :
∂V 1 ∂2V ∂V
(7) (t, S) + d 2 S 2 2 (t, S) + rS (t, S) − rV (t, S) = 0.
∂t 2 ∂S ∂S
V est l'inconnue.

Equations de convection
1
∂u
(8) (x, t) + (⃗c .∇)u(x, t) = f (x, t),
∂t
Equation de transport
2
∂ u⃗
(9) ρ[ + (⃗ u ](x, t) = −∇p(x, t) + f⃗(x, t).
u .∇)⃗
∂t
Equation d'un uide parfait µ ≈ 0.
L'Hélieum liquide est considéré comme un uide parfait. Il sert à
refroidir les câbles et les bobines supraconductrices qui permettent de
transporter de l'électricité sans perte d'énergie.

Equations de diusion
1
∂θ
(10) (t, x) − c∇.(∇θ)(t, x) = f (t, x),
∂t
Equation de la chaleur
2
∂ u⃗
(11) ρ u (t, x) + f⃗(t, x).
(t, x) = −∇p(t, x) + µ∆⃗
∂t
Equation de Stokes .

Equations de convection
Problème de transport monodimensionel en espace à

coecients variables
Soit t0 ∈ R∗+ . Soit J =]t0 , +∞[ un intervalle de R∗+ , D = Ω × J ,
Ω ⊂ R. Soit g une fonction de classe C 1 sur Ω.
Soit et b une fonction donnée dénie sur D .
Un problème de transport monodimensionel en espace à coecients
variable est un problème d'EDP de la forme
∂u ∂u
(
(x, t) + b(x, t) (x, t) = f (x, t) , ∀(x, t) ∈ D , (12)
∂t ∂x
u(x, t0 ) = g (x) , ∀x ∈ D (13).
L'EDP du problème est une équation de diusion qui est telle que la vitesse
de convection est b et la densité de masse est supposée constante et égale
à un.

Notion de caractéristique
On considère le problème de transport monodimensionel en espace à

coecients variable déni par
∂u ∂u
(
(x, t) + b(x, t) (x, t) = f (x, t) , ∀(x, t) ∈ D , (12)
∂t ∂x
u(x, t0 ) = g (x) , ∀x ∈ D (13).
Ce problème peut décrire par exemple la convection ou le transport de
particules à une vitesse b sous l'inuence de f . Si on suppose que le nombre
des particules à l'entrèe est le même qu'à la sortie, on peut remarquer que
si l'on considère une particule qui se trouve à la position x1 à un instatnt t0
et une autre particule qui se trouve à la position x2 à l'instatnt t0 alors le
nombre de particule qui circulent entre ces deux position reste inchangé à
un instant ultérieur t1 . Etant donné que les particules circulet à la même
vitesse, on peut déduire que si l'on note par X(x,t ) la trajectioire de la
0
particule qui se trouve à une position x à un instatnt t0 alors elle vérie

X(x,t ) (t) = b(x, t) , ∀t > t0 , (14)
′
0
X (t0 ) = x (15).
Méthode des caractéristiques pour un problème de transport
monodimensionnel en espace
Soit (x, t0 ) ∈ D et soit X(x,t ) la fonction vériant
0
′ = b(x, t) , ∀t > t0 , (14)

X(x,t0)
(t)
X (t0 ) = x (15).
La courbe représentative de la fonction X(x,t ) est appelée la caractéristique
0
associée à b issue du point (x, t0 ). Elle peut être paramétrée par la fonction

θx : I −→ D
t 7−→ θx (t) = (X(x,t0 ) (t), t).
Soit v une solution du problème (12) − (13) et soit x0 ∈ Ω. Pour t > t0 , on
pose z(t) = v (θx (t)) = v (X(x ,t ) (t), t) où X(x ,t ) est la solution du
0 0 0 0 0
problème de Cauchy (14) − (15) pour x = x0 alors

∂v ∂v ∂v
z ′ (t) = (X(x0 ,t0 ) , t) + (X(x0 ,t0 ) , t) (X(x0 ,t0 ) , t)
∂t ∂x ∂t
∂v ∂v
z ′ (t) = (X(x0 ,t0 ) , t) + b((x0 , t0 ), t) (X(x0 ,t0 ) , t) = f (X(x0 ,t0 ) , t) , (12)
∂t ∂x
C'est à dire que l'expression de la solution v sur la courbe caractéristique
est dénie par
Z t
z(t) − z(t0 ) = f (X(x0 ,t0 ) , s)ds , ∀t > t0
t0
ou encore
Z t
v (X(x0 ,t0 ) , t) = f (X(x0 ,t0 ) , s)ds + v (X(x0 ,t0 ) , t0 ) , ∀t > t0
t0
d'où Z t
v (X(x0 ,t0 ) , t) = f (X(x0 ,t0 ) , s)ds + g (x0 ) , ∀t > t0 .
t0
Ainsi l'expression de de la solution v , si elle existe, est déterminée sur les

caractéristiques.

L'étape suivante consiste à déterminer l'expression de cette solution en tout
(x, t) ∈ D .
Soit (x, t) ∈ D alors on cherche une caractéristique X(x ,t ) associée à b qui
0 0
est issue d'un point (x0 , t0 ) à déterminer et qui passe par le point (x, t).
Cette caractéristique doit donc vérier les équations suivantes
′
X(x (t) = b(x0 , t) , ∀t > t0 ,
0 ,t0 )
X (t0 ) = x0 .
telle que X(x ,t ) (t) = x .

0 0
L'expression de X(x ,t ) étant connue d'après l'étape précédente et x0 est à

0 0
déteriner à partir de la condition initiale X (t0 ) = x0 .

Le point (x0 , t0 ) est appelé le pied de la caractéristique et cette étape
s'appelle l'étape de remontée de la caractéristique. Remarque
Cette méthode fonctionne lorsque b est constante ou bien si elle dépend
uniquement de t .

Rappel
Si Ψ est une fonction dénie sur R2 par
Z b(t)
Ψ(x, t) = φ(x, t, r )dr
a(t)
∂φ ∂φ
où les fonctions a et b sont dérivables et où les fonctions et sont
∂t ∂x
continues, alors
Z b(t)
∂Ψ ∂φ
(x, t) = φ(x, t, b(t))b ′ (t) − φ(x, t, a(t))a′ (t) + (x, t, r )dr
∂t a(t) ∂t
et Z b(t)
∂Ψ ∂φ
(x, t) = (x, t, r )dr
∂x a(t) ∂x

Méthode des caractéristiques générale
Soit J un intervalle de R∗+ , D = Ω × J , Ω ⊂ Rn , n = 1, 2, 3,

Nous allons introduire maintenant de la méthode des caractéristiques pour
la résoltion de problèmes d'équations aux dérivées partielles qui peuvent
être dénis comme suit
(10) F (θ, v (θ), ∇v (θ)) = 0 , ∀θ ∈ D, EDP

(11) v (θx ) = v (x, 0) = g (x) ; ∀x ∈ Ω, Condition initiale.
où v est l'inconnue du problème (10)-(11), θ = (x, t) et F est une fonction

connue telle que
F : D × R × Rn+1 −→ R .
(θ, z, p) 7−→ F (θ, z, p)
Il est à noter que D peut être tel que D = Ω×]0, +∞[ et Ω = R.

Principe de la méthode des caractéristiques
Soit v une solution de (10) − (11). On cherche une caractéristique

parametrée par une fonction θ : I −→ D de classe C 1 qui est dénie
sur un intervalle I à déterminer. Pour cela on pose
z(s) = v (θ(s)) (12) et p(s) = ∇θ v (θ(s)), (13)
alors on a n
pj (s)θj′ (s), (14)
X
z ′ (s) =
j=0
∂2v
n n
∂
(pj (s))θi′ (s), (15)
X X
pj′ (s) = ′
(θ(s))θi (s) =
∂θi ∂θj ∂θi
i=0 i=0

On a θ = (θ0 , θ1 , ...θn ), et si On dérive l'équation (10) par rapport à θj

onn obtient
X ∂F ∂θi ∂F ∂v
(θ, v (θ), ∇v (θ)) + (θ, v (θ), ∇v (θ)) (θ) +
∂θi ∂θj ∂z ∂θj
i=0
∂2v
n
∂F ∂θi ∂θj
(θ) = 0. Or = 0 si i ̸= j et =1
X
(θ, v (θ), ∇v (θ))
∂pi ∂θi ∂θj ∂θj ∂θj
i=0
donc
∂F ∂F ∂v
(θ, v (θ), ∇v (θ)) + (θ, v (θ), ∇v (θ)) (θ) +
∂θj ∂z ∂θj
∂2v
n
∂F
(θ) = 0.
X
(θ, v (θ), ∇v (θ))
∂pi ∂θj ∂θi
i=0

Si
θ′ (s) = ∇p F (θ(s), z(s), p(s))
c'est à dire si 
∂F

(θ(s), v (θ(s)), ∇v (θ(s)))

θ0′ (s)
  ∂p0 
∂F
 
 θ′ (s)   (θ(s), v (θ(s)), ∇v (θ(s)))

 1 ,
 ..
  ∂p1

=
 . ..
.
 



′
θn (s)
 
 ∂F 
(θ(s), v (θ(s)), ∇v (θ(s)))
∂pn
alors l'équation (15) se met sous la forme
pj′ (s) =
∂F ∂F
− (θ(s), v (θ(s)), ∇v (θ(s))) − (θ(s), v (θ(s)), ∇v (θ(s)))pj (s) (16)
∂θj ∂z

Le système des équations caractéristiques est

z(s) = v (θ(s)) ; ∀s ∈ I (17)
 ∂v 
∂θ0 (θ(s))
∂v
∂θ2 (θ(s))
 
p(s) = ∇θ v (θ(s)) =  .  ; ∀s ∈ I (18)
 
 .. 
∂v
∂θn (θ(s))
∂F
θj′ (s) = (θ(s), z(s), p(s)) ; 0 ≤ j ≤ n ; ∀s ∈ I (19)
∂pj
n
pj (s)θj′ (s) ; ∀s ∈ I (20)
X
z ′ (s) =
j=0
∂F ∂F
pj′ (s) = − (θ(s), z(s), p(s)) − (θ(s), z(s), p(s))pj (s) ;
∂θj ∂z
0 ≤ j ≤ n ; ∀s ∈ I (21)
i

Equations de diusion-Problème de Stokes stationnaire
Rappel
Soit n ∈ N∗ .
1 Soit A = (aij ) ≤i≤n une matrice carrée d'ordre n à coecient dans R
1
≤j≤n 1
alors la norme de Frobenius de la matrice A est dénie par

n
aij2 ) 2 .
1
X
∥A∥n = (
i,j=1
2 Soit (ai , bi ) ∈ R2 pour i ∈ {1, 2, ..., n} alors

n n n
1 X 2 1
ai2 ) 2 (
X X
1 ai bi ≤ ( bi ) 2
i=1 i=1 i=1
c'est l'inégalité de Cauchy-Schwartz.
n n n
1 1 1
(ai + bi )2 ] 2 ≤ ( ai2 ) 2 + ( bi2 ) 2
X X X
2 [
i=1 i=1 i=1
c'est l'inégalité de Minkowski.

Inégalité de Poincaré wirtinger.
Soit Ω un ouvert borné connexe lipschitzien. Alors il existe une conctante
C > 0 telle que
∥u − uΩ ∥L2 (Ω) ≤ C ∥∇u∥(L2 (Ω))d ∀u ∈ H 1 (Ω)
1
Z
avec uΩ = u(x) dx et Ω ⊂ Rd d = 2 ou 3.
mes(Ω) Ω

Problème de Stokes stationnaire

Ω désigne un ouvert, connexe et borné de Rn , n = 2, 3.
∂Ω désigne la frontière de Ω supposée être de classe C 1 .
f est une fonction donnée.

 −µ∆u(x) + ∇p(x) = f (x) , ∀x ∈ Ω ,
(Sst ) u(x) = 0 , ∀x ∈ ∂Ω ,
div (u(x)) = 0 , ∀x ∈ Ω .

u désigne la vitesse inconnue et p désigne la pression inconnue.

C'est l'équation de Stokes stationnaire.

Formulation vitesse
V = {v ∈ (H01 (Ω))n /div (v ) = 0}
 Trouver u ∈ V tel que Z


(Sstfc )
Z
 µ ∇u(x).∇v (x)dx = f (x).v (x)dx , ∀v ∈ V .
Ω Ω
C'est une formulation faible (dite formulation vitesse) de l'équation

de Stokes stationnaire.
Théorème
Soit f ∈ (L2 (Ω))n . Alors il existe une fonction unique u ∈ V solution du
problème (Sstfc ).

A propos de la pression
Pour la pression, l'existance est justiée à une constante près à l'aide .
Théorème de De Rham
Soit Ω un ouvert borné connexe de Rn de frontière C 1 par morceaux et soit
Ψ une forme linéaire coninue sur (H01 (Ω))n . Alors la forme linéaire Ψ
s'annule sur V si et seulement si il existe une fonction p de L2 (Ω) telle que
Z
Ψ(v ) = p(x)div (v (x))dx , ∀v ∈ (H01 (Ω))n .
Ω

Formulation contrainte - Généralités sur les problèmes du type point selle
Dénition Soient X et M deux espaces de Hilbert, f ∈ X ′ , g ∈ M ′ et

deux formes bilinéaires continues a(., .) et b(., .) respectivement sur X × X
et sur X × M (c'est à dire a ∈ L(X × X , R) et b ∈ L(X × M, R)). Un
problème de type point selle abstrait est un problème de la forme
Trouver u ∈ X et p ∈ M tels que






(PS) a(u, v ) + b(v , p) = f (v ) ; ∀v ∈ X ,




b(u, q) = g (q) , ∀q ∈ M .

Et on note
N (B) = {v ∈ X / b(v , q) = 0 , ∀q ∈ M}.

Formulation contrainte - Généralités sur les problèmes de type point selle
Théorème Soient X et M deux espaces de Hilbert, f ∈ X ′ , g ∈ M ′ et

deux formes bilinéaires continues a(., .) et b(., .) respectivement sur X × X
et sur X × M (c'est à dire a ∈ L(X × X , R) et b ∈ L(X × M, R)). Le
problème de type point selle abstrait (PS) est bien posé si et seulement si

a(u, v )
∃α > 0 , inf sup ≥α,


∥u∥ X ∥v ∥X

(u∈N (B)) (v ∈N (B))



∀v ∈ N (B) , (∀u ∈ N (B) , a(u, v ) = 0) =⇒ (v = 0) ,



 et
 b(v , q)
 ∃β > 0 , (q∈M)

inf sup ≥β.


∥v ∥X ∥q∥M

(v ∈X )

Théorème d'existence pour la formulation du type point selle
de l'équation stationnaire de Stokes
Rappel
Lemme
Il existe une constante C > 0 telle que
1 ∀p ∈ L2 (Ω), ∃v ∈ [H 1 (Ω)]n / div v = p et de plus
∥v ∥(H 1 (Ω))n ≤ C ∥p∥L2 (Ω) .
2 ∀p ∈ L20 (Ω), ∃v ∈ [H01 (Ω)]n / div v = p et de plus
∥v ∥(H 1 (Ω))n ≤ C ∥p∥L2 (Ω) .

0
Ce lemme permet de vérier la condition infsup pour la forme bilinéaire

b(., .).
Analyse Numérique des équations de Navier-Stokes J.-F. Scheid.

Problème de Stokes stationnaire
Soit Ω un ouvert connexe et borné de Rn n = 2, 3 de frontière ∂Ω de classe
C 1 . Soit f ∈ L2 (Ω). On considère le problème de Stokes stationnaire

 −µ∆u(x) + ∇p(x) = f (x) , ∀x ∈ Ω ,
(Sst ) u(x) = 0 , ∀x ∈ ∂Ω ,
div (u(x)) = 0 , ∀x ∈ Ω .

Monter qu'une formulation contrainte ou bien formulation mixte du

problème de Stokes (Sst ) est donnée par
Trouver u ∈ H01 (Ω) et Z
p ∈ L20 (Ω) tels que


 Z

µ ∇u(x).∇v (x)dx −



 div (v )(x)p(x)dx
 ZΩ Ω
(Sstfm )

 = f (x)v (x)dx , ∀v ∈ H01 (Ω) ,

 Z Ω
div (u)(x)q(x)dx = 0 , ∀q ∈ L20 (Ω).




Ω
Prouver que le problème (Sstfm ) admet une solution unique (u, p).
Equations de diusion-Problème de Stokes instationnaire ou
évolutif
T > 0, Ω désigne un ouvert, connexe et borné de Rn , n = 2, 3 de

frontière de classe C 1 . ∂Ω désigne la frontière de Ω supposée être de classe
C 1 . u0 est une fonction donnée.
u désigne la vitesse inconnue,
p désigne la pression inconnue.
∂u


 ρ (t, x) = −∇p(t, x) + µ∆u(t, x) + f (t, x) , ∀(t, x) ∈]0, T [×Ω ,
 ∂t

(S) u(t, x) = 0, ∀(t, x) ∈]0, T [×∂Ω ,

 u(0, x) = u0 (x) , ∀x ∈ Ω ,
div (u(t, x)) = 0 , ∀(t, x) ∈]0, T [×Ω .


la condition div (u) = 0 exprime l'incompressibilité.

Equations de diusion-Problème de Stokes instationnaire
Problèmes paraboliques
Ω ouvert borné connexe de Rn , T > 0, Q =]0, T [×Ω. V et H deux

espaces de Hilbert séparables tels que V ⊂ H avec injection continue et V
est dense dans H . Donc
∃cp > 0/cp ∥v ∥H ≤ ∥v ∥V ; ∀v ∈ V .
On identie H à H ′ grâce au théorème de représentation de Riesz et on a

alors les inclusions V ⊂ H ⊂ V ′ .
C j ([0, T ]; V ) espace des fonctions de classe C j en t à valeurs dans V .
C j ([0, T ]; V ) est un espace de Banach pour la norme
j
X
∥u∥C j ([0,T ];V ) = sup dtl u(t)
t∈[0,T ] l=0 V′

Lp (]0, T [; V ) espace des fonctions à valeur dans V

Lp (]0, T [; V ) (1 ≤ p < +∞) est un espace de Banach pour la norme
Z T 1
∥u∥Lp (]0,T [;V ) = ( ∥u(t)∥pV dt) p pour 1 ≤ p < +∞.
0
Lp (]0, T [; Lp (Ω)) = Lp (Q) où Q =]0, T [×Ω

W (V ) = {v :]0, T [−→ V /v ∈ L2 (]0, T [; V ); dt v ∈ L2 (]0, T [; V ′ )}
W est muni de la norme ∥u∥W = (∥u∥2L2 (]0,T [;V ) + ∥dt u∥2L2 (]0,T [;V ′ ) ) 2 pour
1
laquelle c'est un espace de Hilbert.

Lemme
Toute fonction u de W (V ) est p.p égale, en temps, à une fonction continue
de [0, T ] dans H . De plus, l'injection W (V ) ⊂ C 0 ([0, T ]; H) est continue.
Remarque : Pour tout v ∈ W (V ), les quantités v (T ) et v (0) ont un sens
dans H .
Lemme
Pour toutes fonctions u et v de W (V ) et pour tout s ∈]0, T [ on a :
Z s
< dt u(t), v (t) >V ′ ×V dt = (u(s), v (s))H − (u(0), v (0))H
0 Z s
− < dt v (t), u(t) >V ′ ×V dt.
0

Soient f ∈ L2 (]0, T [, V ′ ) et u0 ∈ H donnés, et une forme bilinéaire

a(t, ., .) : V × V −→ R vériant les hypothèses suivantes
(p1 ) la fonction t ←→ a(t; v , w ) est mesurable ∀(v , w ) ∈ V × V ;



 (p2 ) il existe M > 0 tel que |a(t; v , w )| ≤ M ∥v ∥V ∥w ∥V ,



∀(v , w ) ∈ V × V , p.p t ∈ [0, T ];
(p ) il existe des constantes α > 0 et γ telles que

 3


a(t; v , v ) ≥ α ∥v ∥2V − γ ∥v ∥2H , ∀v ∈ V , p.p t ∈ [0, T ].

On considère le problème
 Trouver u ∈ W (V ) tel que


< dt u, v >V ′ ×V +a(t, u, v ) =< f (t), v >V ′ ×V , ∀v ∈ V ,

(Pp )
 p.p t ∈ [0, T ]
u(0) = u0 .


Théorème Si la forme bilinéaire a vérie les conditions (p1 ), (p2 ) et (p3 )

alors le problème (Pp ) admet une solution unique.
Problèmes paraboliques-Estimations d'énergie
1 Si f ∈ L2 (]0, T [, V ′ ) alors la solution de (Pp ) est telle que

 1
 ∥u∥C 0 ([0,T ];H) ≤ ∥u0 ∥H + √ ∥f ∥L2 (]0,T [;V ′ ) ,

α
1 1
 ∥u∥L2 (]0,T [;V ) ≤ √ ∥u0 ∥H + ∥f ∥L2 (]0,T [;V ′ ) .

α α
2 Si f ∈ L+∞ (]0, +∞[, V ′ ) alors la solution de (Pp ) est telle que
1
lim sup ∥u(t)∥H ≤ √ ∥f ∥L∞ (]0,+∞[;V ′ ) .
t−→+∞ α cp
Lemme de Gronwall Soient β ∈ R, φ ∈ C 1 ([0, T ]; R) et f ∈ C 0 ([0, T ]; R)

tels que dt φ ≤ βφ + f . Alors
Z t
φ(t) ≤ e φ(0) +
βt
e β(t−τ ) f (τ )dτ.
0

Formulation faible en vitesse ou bien formulation faible de contrainte
f ∈ L2 (]0, T [, V ′ ), u0 ∈ H donnés
Trouver u ∈ W (V ) telle que



∂u


ρ< (t), v >V ′ ×V +µa(u(t), v ) =< f (t), v >V ′ ×V ,

(Sfc ) ∂t

 p.p t ∈]0, T [ ; ∀v ∈ V ,
u(0) = u0 .


(H01 (Ω))n (L2 (Ω))n

N (Ω) = {v ∈ D(Ω)n , ∇.v = 0}, V = N (Ω) , H = N (Ω)
V = {v ∈ (H01 (Ω))n /div (v ) = 0} ,
H = {v ∈ (L2 (Ω))n /div (v ) = 0, v .n|γ = 0}.
Z
a(t; v , w ) = a(v , w ) = µ ∇v (x) : ∇w (x)dx,
Ω
∀(v , w ) ∈ V × V , p.p t ∈ [0, T ].
Théorèmes d'existence pour la vitesse et pour la pression
Théorème d'existence et unicité pour la vitesse
On se donne f ∈ L2 (0, T , V ′ ) et u0 ∈ H . Alors le problème (Sfc ) admet
une solution unique u telle que u ∈ L2 (0, T , V ) ∩ C(0, T , L2 (Ω)) telle que
u(0) = u0 et u ′ ∈ L2 (0, T , V ′ ).
Théorème de De Rham d'existence pour la pression
Soit Ω un ouvert borné connexe de Rn de frontière C 1 par morceaux et soit
Ψ une forme linéaire continue sur (H01 (Ω))n . On pose
V = {v ∈ (H01 (Ω))n /div (v ) = 0} .
Alors la forme linéaire Ψ s'annule sur V si et seulement si il existe une

fonction p de L20 (Ω) telle que
Z
Ψ(v ) = p(x)div (v (x))dx , ∀v ∈ (H01 (Ω))n .
Ω

Formulation mixte
Soit Ω un domaine de Rn avec n = 2, Z3. On pose

V = H01 (Ω) et L20 (Ω) = {q ∈ L2 (Ω), q(x)dx = 0}
Ω
Alors, pour u0 ∈ V et f ∈ C 0 (0, T , L2 (Ω)) donnés, une formulation faible
mixte du problème de Stokes (S) est dénie par
Trouver u ∈ L2 (0, T , V ) et p ∈ L2 (0, T , L20 (Ω))tels que




∂u
∈ L2 (0, T , V ′ ) et




∂t


∂u


(Sfm ) < (t), v >V ′ ×V +µa(u(t), v ) + b(v , p) =< f (t), v >V ′ ×V ,
∂t
p.p t ∈]0, T [ ; ∀v ∈ V ,




q) = 0 , ∀q ∈ L20 (Ω),

b(u(t),



u(0) = u0 .


Z
où b(v , q) = − ∇.v (x)q(x)dx pour v ∈ V et q ∈ L20 (Ω).
Ω
Problème de Stokes instationnaire-Formulation mixte
Théorème d'existence et unicité
Théorème
Soient f ∈ C 0 (0, T , (L2 (Ω))n ) et u0 ∈ V alors le problème (Sfm ) admet une
solution unique (u, p).

Equa de Stokes Et Conv - Presentation - 2023 2024

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Equa de Stokes Et Conv - Presentation - 2023 2024

Transféré par

Droits d'auteur :

Formats disponibles

Équations de Stokes et Convection-Analyse

Année Universitaire 2023-2024

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 1 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 2 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 5 / 41

2ème Forme de l'équation de la conservation de la quantité de masse

2ème forme générale de l'équation de Convection-Diusion

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 9 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 10 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 11 / 41

Problème de transport monodimensionel en espace à

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 12 / 41

On considère le problème de transport monodimensionel en espace à

particule qui se trouve à une position x à un instatnt t0 alors elle vérie

′ = b(x, t) , ∀t > t0 , (14)

problème de Cauchy (14) − (15) pour x = x0 alors

Ainsi l'expression de de la solution v , si elle existe, est déterminée sur les

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 15 / 41

telle que X(x ,t ) (t) = x .

L'expression de X(x ,t ) étant connue d'après l'étape précédente et x0 est à

déteriner à partir de la condition initiale X (t0 ) = x0 .

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 16 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 17 / 41

Soit J un intervalle de R∗+ , D = Ω × J , Ω ⊂ Rn , n = 1, 2, 3,

(11) v (θx ) = v (x, 0) = g (x) ; ∀x ∈ Ω, Condition initiale.

où v est l'inconnue du problème (10)-(11), θ = (x, t) et F est une fonction

Il est à noter que D peut être tel que D = Ω×]0, +∞[ et Ω = R.

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 18 / 41

Soit v une solution de (10) − (11). On cherche une caractéristique

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 19 / 41

On a θ = (θ0 , θ1 , ...θn ), et si On dérive l'équation (10) par rapport à θj

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 20 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 21 / 41

Le système des équations caractéristiques est

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 23 / 41

alors la norme de Frobenius de la matrice A est dénie par

2 Soit (ai , bi ) ∈ R2 pour i ∈ {1, 2, ..., n} alors

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 23 / 41

∥u − uΩ ∥L2 (Ω) ≤ C ∥∇u∥(L2 (Ω))d ∀u ∈ H 1 (Ω)

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 24 / 41

Problème de Stokes stationnaire

u désigne la vitesse inconnue et p désigne la pression inconnue.

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 25 / 41

 Trouver u ∈ V tel que Z

C'est une formulation faible (dite formulation vitesse) de l'équation

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 26 / 41

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 27 / 41

Dénition Soient X et M deux espaces de Hilbert, f ∈ X ′ , g ∈ M ′ et

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 28 / 41

Théorème Soient X et M deux espaces de Hilbert, f ∈ X ′ , g ∈ M ′ et

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 29 / 41

∥v ∥(H 1 (Ω))n ≤ C ∥p∥L2 (Ω) .

2 ∀p ∈ L20 (Ω), ∃v ∈ [H01 (Ω)]n / div v = p et de plus

∥v ∥(H 1 (Ω))n ≤ C ∥p∥L2 (Ω) .

Ce lemme permet de vérier la condition infsup pour la forme bilinéaire

Analyse Numérique des équations de Navier-Stokes J.-F. Scheid.

Monter qu'une formulation contrainte ou bien formulation mixte du

T > 0, Ω désigne un ouvert, connexe et borné de Rn , n = 2, 3 de

la condition div (u) = 0 exprime l'incompressibilité.

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 32 / 41

Ω ouvert borné connexe de Rn , T > 0, Q =]0, T [×Ω. V et H deux

On identie H à H ′ grâce au théorème de représentation de Riesz et on a

Prof. S. BOUJENA ESCANS S3 2023-2024 MNSA 33 / 41

2ème forme générale de l'équation de Convection-Diusion

particule qui se trouve à une position x à un instatnt t0 alors elle vérie

alors la norme de Frobenius de la matrice A est dénie par

Dénition Soient X et M deux espaces de Hilbert, f ∈ X ′ , g ∈ M ′ et

Ce lemme permet de vérier la condition infsup pour la forme bilinéaire

On identie H à H ′ grâce au théorème de représentation de Riesz et on a

Théorème Si la forme bilinéaire a vérie les conditions (p1 ), (p2 ) et (p3 )