Académique Documents
Professionnel Documents
Culture Documents
où u0 ∈ C 1 (IR+ ).
(a) Montrer que toute solution de (2) d’énergie finie vérife l’identité d’énergie :
Z
d 1 c
|u| dx = |u(0, t)|2 .
2
dt 2 IR+ 2
où c ∈ C 1 (IR × IR+ , IR) et lipschitzienne sur IR × IR+ u0 ∈ C 1 (IR, IR) donnés. Pour tout
(x0 , t0 ) ∈ IR × IR+ , on considère le problème
dX
= c(X(t), t),
(2) dt
X(t0 ) = x0 .
1. Montrer que ce problème admet une solution unique de classe C 1 qu’on notera par
X(t, x0 , t0 )
4. On suppose que le problème (1) a une solution unique u ∈ C 1 (IR × IR+ ). Pour tout
(x, t) ∈ IR × IR+ , on pose
v(x, t) = u(X(t, x, 0), t).
∂v
Calculer ∂t .
5. En déduire que
Exercice 4
On considère l’équation de transport:
∂u ∂
(1) (x, t) + c (u(x, t)) = 0, (x, t) ∈ IR × IR∗+ ,
∂t ∂x
où u(x, t) représente la fonction inconnue de la variable (x, t) ∈ IR × IR∗+ . On cherche une
solution de l’équation (1) vérifiant:
où u0 est une fonction donnée. On va l’approximer par les schémas suivants:
vjn+1 − vjn n
vj+1 − vjn
(3) +c = 0,
∆t (∆x)
vjn+1 − vjn−1 n
vj+1 n
− vj−1
(4) +c = 0,
2∆t (2∆x)
où vjn ' u(xj , tn ) désigne une approximation de u au point (xj = j∆x, tn = n∆t) et θ ∈ [0, 1] .
∆t
On suppose dans la suite que ∆x = cte.
2
1. Soient i (∆t, ∆x) l’erreur commise en remplacant dans l’ équation (i)( i=3,4,5) vkl par
u(k∆x, l∆t). Calculer i (∆t, ∆x).
2. Montrer que les schémas (3),(4) et (5) sont conservatifs, c’est à dire si pour toute suite
X X X X
n+1
(vjn )j∈Z telle que vjn < +∞ alors vj < +∞ et vjn = vjn+1
j∈Z j∈Z j∈Z j∈Z
6. Suivant les valeurs de θ, trouver la condition pour que le schéma (5) soit L2 -stable.