Académique Documents
Professionnel Documents
Culture Documents
linéaires
1
Rappel
Loi de conservation scalaire
Étant donnée une fonction (non linéarité) : f (u) 2 C (R)
2
@u @
(1) + f (u) = 0,
@t @x
Si a(u) = f 0
(u) la forme non conservative de (1) est:
@u @u
(2) + a(u) = 0,
@t @x
Equation de transport non linéaire de vitesse c = a(u).
2
Rappel
Le problème de Cauchy
8
> Trouver u(x, t) : R ⇥ R +
! R
>
<
@u @
(P) + f (u) = 0, x 2 R, t>0
>
> @t @x
:
u(x, 0) = u0 (x), x 2 R.
u 2 C 1 (R ⇥ [0, T [ )
telle que (1) est satisfaite au sens usuel pour 0 t T.
3
Rappel
La solution du problème de Cauchy
0 1
Théorème : Pour une donnée initiale u C (R)
le problème de Cauchy (P) admet une unique solution
classique maximale u 2 C 1 ( R ⇥ [0, T ⇤ [ )
où le temps d’existence T ⇤ est donné par
T ⇤ = +1 si a0 est croissante,
⇣ ⌘ 1
T ⇤ := inf a00 (x0 ) sinon.
x0 2R
⇥
où 0
a0 (x0 ) := a u (x0 )
4
Rappel
La solution du problème de Cauchy
0 1
Théorème : Pour une donnée initiale u C (R)
le problème de Cauchy (P) admet une unique solution
classique maximale u 2 C 1 ( R ⇥ [0, T ⇤ [ ) donnée par
⇥
u(x, t) = u0 (x, t)
@u @u
lim⇤ (·, t) L1
= lim⇤ (·, t) L1
= +1
t!T @t t!T @x
5
La solution du problème de Cauchy
Illustration du théorème
du0
a(u) = u a 0 = u0 a00 =
dx
⇣ du ⌘
⇤ 0
T := 1 / inf
dx
6
Donnée initiale
u0 (x) = e x2 /2
1
du0 x2 /2
(x) = xe
dx
0,5
1
-3,5 -3 -2,5 -2 -1,5 -1 -0,5 0 0,5 1 1,5 2 2,5 3 3,5 4 4,5 5 5,5 6
d2 u0 x2 /2 ⇤
p
dx 2
(x) = e (x2 1) p
1/ e
-0,5
T = e
-1
7
Donnée initiale
u0 (x) = e x2 /2
4
04
53
3
03
52
2
02
51
1
01
5
4 2 2 4
0
4−
3−
2−
1−
5
9
Le point d’explosion correspond à la caractéristique !
issue de x⇤ = 1
1/2
x = x⇤ + u(x⇤ ) t = 1 + e t
x = x⇤ = 1 + e 1/2
T⇤ = 2
p
' e
Point d’explosion
10
Notion de solution faible
11
Notion de solution faible
ZZ ZZ
@u @
' dx dt + f (u) ' dx dt = 0
@t @x
où le domaine d’intégration est R ⇥ R+ .
ZZ ZZ Z
@u @'
' dx dt = u dx dt u0 (x) '(x, 0) dx
@t @t
ZZ ZZ
@ @'
f (u) ' dx dt = f (u)
@x @x
car '(·, t) est à support compact en espace.
13
Notion de solution faible
ZZ ZZ
@u @
' dx dt + f (u) ' dx dt = 0
@t @x
où le domaine d’intégration est R ⇥ R+ .
⌃i = x= i (t), ti t t+
i }, i = 1, 2, · · · , N
telle que u est de classe C 1 dans chaque composante
connexe Oj , 1 j M, de
N
[
R ⇥ [0, T [ \ ⌃i
i=1
16
Solutions C 1 par morceaux
⌃4
⌃1
O2
O4
⌃3
O1 ⌃2
O3
17
Solutions C 1 par morceaux
⇥ + ⇤
s(t) u (t) u (t) = f u+ (t) f u (t)
0 ±
avec s(t) := (t) et u (t) := lim u (t) ± ", t
"!0
a(u) = f 0 (u)
19
Solutions C 1 par morceaux
✓ ◆ !
⌧x s(t)
⌧=
K = supp ' ⌧t 1
✓ ◆ ✓ ◆
nx 1
n=
nt s(t)
K
K+
⌃
ZZ ⇢
@' @'
u + f (u) dx dt + (x, 0) u0 (x) dx = 0
@t @x
20
Solutions C 1 par morceaux
ZZ ⇢ ZZ ⇢
@' @' @' @'
u + f (u) + u + f (u) =0
@t @x @t @x
K+ K
ZZ ! ZZ !
@u @ @u @
+ f (u) ' + f (u) '
@t @x @t @x
K+ K
Z Z
u+ nt + f (u+ ) nx ' + u nt + f (u ) nx ' = 0
⌃ ⌃
21
Solutions C 1 par morceaux
Z h i
u+ u nt + f (u+ ) f (u ) nx ' = 0
⌃
On en déduit
u+ u nt + f (u+ ) f (u ) nx = 0
✓ ◆ ✓ ◆
nx
c’est à dire ( n = nt
1
s(t) )
s(t) u+ u + f (u+ ) f (u ) = 0
22
Non unicité des solutions faibles
u0 (x)
x
23
Non unicité des solutions faibles
u=0
? u=1
x
24
Non unicité des solutions faibles
1 u+ (t)2 u (t)2
s(t) =
2 u+ (t) u (t)
ce qui donne
1 ⇥ + ⇤
s(t) = u (t) + u (t)
2
25
Non unicité des solutions faibles
u=0 u=1
x
27
Non unicité des solutions faibles
u(x, t)
u = x/t
u=0 u=1
x
34
Non unicité des solutions faibles
@u @u
+u = x/t2 + x/t ⇥ 1/t = 0
@x @x
35
Non unicité des solutions faibles
t x=t
u(x, t)
Onde de détente
x
41
Non unicité des solutions faibles
42
Non unicité des solutions faibles
43
Notion de solution faible entropique
44
Notion de solution faible entropique
@ 0 @u 0 0 @u
U (u) = U (u) = U (u) f (u)
@t @t @x
0 @u @
= F (u) = F (u)
@x @x
45
Notion de solution faible entropique
47
Notion de solution faible entropique
@ @
U (u) + F (u) 0 dans D0 (R ⇥ R+ )
@t @x
48
Notion de solution faible entropique
Rappel :
@ @
U (u) + F (u) 0 dans D0 (R ⇥ R+ )
@t @x
()
⌧
@ @
U (u) + F (u), ' 0 8 ' 2 D+ (R ⇥ R+ )
@t @x
49
Notion de solution faible entropique
@ u 2 "
@ 2 ⇣ @u" ⌘2
0
" U (u ) "
2
= " 2
U (u "
) " U 00 (u" )
@x @x @x
51
Notion de solution faible entropique
2
@ @ 0 " @ u
U (u" ) = F (u" ) " U (u )
@t @x @x2
@ 2 "
u @ 2 ⇣ @u" ⌘2
0 " " 00 "
" U (u ) 2
= " 2 U (u ) " U (u )
@x @x @x
@ @ @2 ⇣ @u" ⌘2
"
U (u ) + F (u" ) " 2 U (u" ) = " U 00 (u" ) 0
@t @x @x @x
52
Notion de solution faible entropique
53
Notion de solution faible entropique
@ @
(*) U (u) + F (u) = 0 pour une solution classique
@t @x
54
Notion de solution faible entropique
⇥ +
⇤
s(t) U u (t) U u (t) F u+ (t) F u (t)
avec s(t) := 0
(t) et u± (t) := lim u (t) ± ", t
"!0
Cette condition (de choc entropique) se démontre
aisément comme Rankine-Hugoniot. On peut en donner
une forme plus utile qui s’interprète géométriquement.
55
Notion de solution faible entropique
Théorème : Une solution faible u , C 1 par morceaux, est
entropique si et seulement si, pour tout choc (⌃, u , u+ )
et pour toute entropie (U, F ) :
+
Si u < u , alors le long du choc
f ↵ u+ + (1 ↵) u ↵ f u+ + (1 ↵) f u
Si u+ > u , alors le long du choc
f ↵ u+ + (1 ↵) u ↵ f u+ + (1 ↵) f u
u+ u u u+
56
Notion de solution faible entropique
Théorème : Une solution faible u , C 1 par morceaux, est
entropique si et seulement si, pour tout choc (⌃, u , u+ )
et pour toute entropie (U, F ) :
+
Si u < u , alors le long du choc
f ↵ u+ + (1 ↵) u ↵ f u+ + (1 ↵) f u
Si u+ > u , alors le long du choc
f ↵ u+ + (1 ↵) u ↵ f u+ + (1 ↵) f u
u+ u
58
Notion de solution faible entropique
u+ u u u+
59
Notion de solution faible entropique
60
Notion de solution faible entropique
u0 (x)
Choc entropique
t
t
x=
2
u=1 u=0
x
61