Académique Documents
Professionnel Documents
Culture Documents
coefficients variables
Dans ce qui suit c(x, t) désigne une fonction continue
2
de R dans R , uniformément lipschitzienne en x :
9 L > 0, / 8 (x, y) 2 R2 , 8 t 2 R,
|c(x, t) c(y, t)| ⇥ L |x y|
On considère l’équation de transport
@u @u
(E) +c = 0,
@t @x
dont on cherche des solutions classiques, i. e. de classe C 1 .
2-4
La méthode des caractéristiques
d @u @u
u X(s), s = X(s), s + Ẋ(s) X(s), s
ds @t @x
Si on choisit X(s) solution de
4-4
Les courbes caractéristiques
On appelle courbe caractéristique de (E) passant par
le point (x, t) la courbe intégrale (Cx,t ) qui y passe.
C’est l’ensemble s, X(s) , s 2 R où X(s)
est la solution de
@s X = c (X, s) X t; x, t) = x
5-3
Les courbes caractéristiques
On appelle courbe caractéristique de (E) passant par
le point (x, t) la courbe intégrale (Cx,t ) qui y passe.
C’est l’ensemble s, X(s) , s 2 R où X(s)
est la solution de
7-2
Le flot caractéristique
X(s; ·, t) 1
= X(t; ·, s)
X(t; ·, s)
9-3
La solution du problème de Cauchy
(x, t)
t
X(0; x, t) x
⇥
=) u(x, t) = u0 X(0; x, t)
11-3
La solution du problème de Cauchy
Théorème : Pour toute donnée initiale u00 2 C 1 (R)
le problème de Cauchy (P) admet une unique solution
classique u 2 C 1 (R ⇥ R+ ) donnée par
0
⇥
u(x, t) = u X(0; x, t)
du0
@t u + c @x u (x, t) = X(0; x, t) g(0; x, t)
dx
g(s; x, t) = @t X(s; x, t) + c(x, t) @x X(s; x, t)
13-6
g(s; x, t) = @t X(s; x, t) + c(x, t) @x X(s; x, t)
{
@s g(s; x, t) = ↵x,t (s) g(s; x, t)
(i)
↵x,t (s) := @x c X(s; x, t), s
(ii) g(t; x, t) = 0
g(s; x, t) = 0, 8 s 2 R.
14
g(s; x, t) = @t X(s; x, t) + c(x, t) @x X(s; x, t)
{
@s g(s; x, t) = ↵x,t (s) g(s; x, t)
Démonstration de (i)
↵x,t (s) := @x c X(s; x, t), s
⇥ ⇤
@t c X(s; x, t), s = @x c X(s; x, t), s @t X(s; x, t)
⇣ ⇥ ⇤ ⌘
+ c(x, t) ⇥ @x c X(s; x, t), s = @x c X(s; x, t), s @x X(s; x, t)
15-9
g(s; x, t) = @t X(s; x, t) + c(x, t) @x X(s; x, t)
{ =1
La solution du problème de Cauchy
⇥
supp u0 ⇢ [a, b] ) supp u(·, t) ⇢ X(t; a, 0), X(t; b, 0) ]
X(t; a, 0) a b X(t; b, 0)
17-4
La solution du problème de Cauchy
Principe du maximum :
a u0 (x) b ⇥ a u(x, t) b
Stabilité L1
0
⇥u(·, t)⇥L = ⇥u ⇥L
Stabilité Lp
⇤u(·, t)⇤Lp ⇥ Cp (t) ⇤u0 ⇤Lp
18-3
Problèmes hyperboliques non
linéaires
!
Lois de conservation scalaire!
Notion de solution classique (méthode des caractéristiques)!
“Et la prochaine fois”!
Notion de solution faible !
Condition de choc (relation de Rankine Hugoniot)!
Notion de solution entropique!
Problème de Riemann!
...
19
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).
20-3
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.
21-2
Existence de solution classique
@u @u
(2) + a(u) = 0,
@t @x
L’existence d’une solution classique impose u0 C 1 (R)
On va chercher à étendre la méthode des caractéristiques
au cas non linéaire. On cherche des courbes t ! X(t)
le long desquelles les solutions classiques sont constantes.
d @u @u
u(X(t), t) = (X(t), t) + X (t)
0
(X(t), t)
dt @t @x
Pour exploiter (2), on choisit X(t) solution de
(EC) X (t) = a u(X(t), t)
0
22-4
(EC) X 0 (t) = a u(X(t), t)
x0 ! Ft (x0 ) := x0 + a0 (x0 ) t
définit une bijection de R dans R .
25-2
Existence de solution classique
lim Ft (x0 ) = ±1
x0 !±1
26-5
Existence de solution classique
x1 x2
28-5
Existence de solution classique
T ⇤ = +1 si a0 est croissante,
⇣ ⌘ 1
⇤ 0
T := inf a0 (x0 ) sinon.
x0 2R
29-4
Existence de solution classique
⇠(x, t) := Gt (x) x
31-3
Existence de solution classique
32
Existence de solution classique
8 @u du0 @⇠
>
< @t (x, t) = dx ⇠(x, t) @t (x, t)
0
>
: @u du @⇠
(x, t) = ⇠(x, t) (x, t)
@x dx @x
h @u @u i
+ a(u) (x, t) =
@t @x
du0 h @⇠ @⇠ i
⇠(x, t) (x, t) + a0 ⇠(x, t) (x, t)
dx @t @x
33
Existence de solution classique
⇠(x, t) + a0 ⇠(x, t) t = x
8 @⇠ ⇥ 0
⇤
< @t (x, t) 1 + a0 ⇠(x, t) t = a0 ⇠(x, t)
>
>
: @⇠ ⇥ 0
⇤
(x, t) 1 + a0 ⇠(x, t) t = 1
@x
@⇠ @⇠
(x, t) + a0 ⇠(x, t) (x, t) = 0.
@t @x
34-3
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
1 ⇤
u 2 C ( R ⇥ [0, T [ )
T ⇤ = +1 si a0 est croissante,
⇣ ⌘ 1
⇤ 0
T := inf a0 (x0 ) sinon.
x0 2R
35-2
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
1 ⇤
u 2 C ( R ⇥ [0, T [ )
cette solution est donnée par
⇥
u(x, t) = u0 (x, t)
et vérifie
@u @u
lim⇤ (·, t) L1
= lim⇤ (·, t) L1
= +1
t!T @t t!T @x
36
La solution du problème de Cauchy
@u @u
lim⇤ (·, t) L1
= lim⇤ (·, t) L1
= +1
t!T @t t!T @x
Supposons que inf a00 (x0 ) est atteint, il existe x⇤ tel que
x0 2R
⇣ ⌘ 1
T ⇤ := inf a00 (x0 ) = a00 (x⇤ ) 1
x0 2R
38-4
8 @⇠ ⇥ ⇤
>
< 0
(x, t) = a0 ⇠(x, t) / 1 + a0 ⇠(x, t) t
@t
> @⇠ ⇥ ⇤
: 0
(x, t) = 1 / 1 + a0 ⇠(x, t) t
@x
@⇠ ⇤
⇥ 0 ⇤
⇤ 1
(x(t), t) = a0 x 1 + a0 x t
@t
@⇠ ⇥ 0 ⇤
⇤ 1 |·|! +1
(x(t), t) = 1 + a0 x t
@x
@⇠ @⇠
lim⇤ (x(t), t) = lim⇤ (x(t), t) = +1
t!T @t t!T @x
39-5
8 @u du0 @⇠
>
< @t (x, t) = ⇠(x, t) (x, t)
dx @t
0
>
: @u du @⇠
(x, t) = ⇠(x, t) (x, t)
@x dx @x
@u du0 ⇤ @⇠
x(t), t = x x(t), t
@t dx @t
@u du0 ⇤ @⇠
x(t), t = x x(t), t
@x dx @x
@u @u
lim⇤ (x(t), t) = lim⇤ (x(t), t) = +1
t!T @t t!T @x
40-3
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
41-4
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
42-5
Le point d’explosion correspond à la caractéristique !
issue de x0 = 1
1/2
x = x0 + u(x0 ) t = 1 + e t
Point d’explosion
44-3
n o
Si G(f ) := x, f (x) ⇢ R2 , la formule
⇥
u x0 + a0 (x0 ) t, t = u0 (x0 )
signifie
n o
G u(·, t) = x0 + a0 (x0 ) t, u0 (x0 )