Plan de Cours de MR Sahraoui Ahmed

Présentation du cours
Les compétences visées

Prés-requis
Contenu
Visées d'apprentissage
Modalités d'évaluation des apprentissages
Modalités de fonctionnement
Type des exercices ou activités
Ressources d'aide
Conclusion
Sur l'homogénéisation et les résultats de correcteur
pour
l'équation des ondes
présenté par: Mr.Sahraoui Ahmed

Université d'Alger 1- Faculté des sciences
Laboratoire de Physique et Mathématiques Appliquées
E.N.S Kouba-Alger-
...Mai 2018
présenté par: Mr.Sahraoui Ahmed Sur l'homogénéisation et les résultats de correcteur pour l'
Prés-requis
Contenu
Ressources d'aide
Conclusion
Mr. Sahraoui Ahmed

Informations sur le cours
Université d'Alger-1- .
Département du Mathématiques et Informatique ((M-I))
Public cible: Etude supérieure- Mathématiques appliquée-
Contact par mail:sahraouia303@gmail.com (( 48 heures qui
suivent la réception du message )).
2 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
*** Le plan ***

1 Présentation du cours
2 Les compétences visées
3 Prés-requis
4 Contenu
5 Visées d'apprentissage
6 Modalités d'évaluation des apprentissages
7 Modalités de fonctionnement
8 Type des exercices ou activités
9 Ressources d'aide
10 Conclusion
3 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
3 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Présentation
Les travaux présentés concernent des résultats d'homogénéisation
et de correcteur pour l'équation des ondes très général en
considérant que tout les coecients sont discontinus en temps.
La théorie de l'homogénéisation permet d'y remédier en
remplaçant les problèmes aux coecients fortement oscillant par
des problèmes approchés plus simples à traiter numériquement. En
général les coecients du problème sont indexés par un paramètre
ε ou n. Homogénéiser un problème consiste à étudier le
comportement asymptotique de sa solution uε ( ou un ) lorsque ε
tend vers 0 (ou n tend vers +∞).
4 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Si u est la limite de uε ( ou un ) dans un certain sens, on se pose

la question de savoir si u peut être caractérisé comme solution d'un
problème aux limites (problèmes approché). Nous traitons dans ce
mémoire l'homogénéisation de l'équation des ondes suivante:
∂t (ρn (t , x )∂t un ) − div(An (t , x )∇un ) = fn + gn dans (0, T ) × Ω,


un = 0 sur (0, T ) × ∂ Ω,
un (0, x ) = un0 (x ), ρn ∂t un (0, x ) = vn1 (x )

dans Ω,

(1)
où un , ρn et An correspondent à des quantités physiques à petite
échelle.
5 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
L'homogénéisation de l'équation de la propagation des ondes a été

étudié par plusieurs auteurs par exemple:
- L'homogénéisation de l'equation (1) a été traité par F. Colombini,
S. Spagnolo dans On the convergence of solutions of hyperbolic
equations en supposant ρn = 1 et An elliptique uniformément
Lipschitz et bornée par rapport à t .
- L'homogénéisation de l'equation (1) a été traitée par A.
Bensoussan, J.L. Lions, G. Papanicolau dans Asymptotic Analysis
for Periodic Structures pour le cas de coecients périodiques.
- Si An sur la forme An (t , x ) = A(nt , nx ) avec A périodique, le
prblème (1) admet une solution mais l'existence est assumée par
hypothèse. par K.A. Lurie dans An Introduction to the
Mathematical Theory of Dynamic Materials. 6 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Comment utiliser les outiles d'analyse fonctionnel.

Connaître une nouvelle méthodes d'homogénéisation.
7 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Prés-requis
Pour pouvoir tirer le maximum de ce partie il faut connaître les

outiles d'analyse fonctionnel.
Pour pouvoir tirer le maximum de ce partie il faut connaître les
autres méthodes d'homogénéisation qui sont existantes.
8 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Contenu
9 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
L'existence et l'unicité de solution faible
Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut connaître les
outiles d'analyse fonctionnel.
Denition
Soit X un espace de Banach et T > 0.
On note BV (0, T ; X ) l'espace des fonction ζ : [0, T ] → X telle que
m
VT (ζ ) = sup ∑ ||ζ (ti ) − ζ (ti −1 )||X < +∞.
{t0 =0<t1 <...<tm =T }i =1
On rappelle que
ZT
||u ||BV (0,T ;X ) = VT (u ) + ||u (t )||X dt .
0
10 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Remark
Pour X un espace de Banach et T > 0, on note m([0, T ]; X )
l'espace des mesure de Borel borneé de [0, T ] vers X , si X = R on
note m([0, T ]).
On rappelle que
||µ||m([0,T ];X ) = sup ||µ(t )||X .

t ∈[0,T ]
11 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
Nous considérons deux espaces de Hilbert séparables V et H tel que

V ⊂ H avec injection continue et V dense dans H . En identiant
H avec son dual H nous obtenons V ⊂ H ⊂ V ,( V dual de V ).
0 0 0
Notons par (., .)H = (., .) le produit scalaire dans H et

< ., . >=< ., . >V 0 ,V la dualité entre V et V 0 .
Nous considèrons deux opérateurs
ℜ ∈ BV (0, T ; L (H , H )), Λ ∈ BV (0, T ; L (V , V 0 )), (2)
satisfaisant l'hypothèse de symétrie
12 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
∀h1 , h2 ∈ H , ∀t ∈ (0, T ),
(
(ℜ(t )h1 , h2 ) = (ℜ(t )h2 , h1 ),
(3)
< Λ(t )v1 , v2 ) >=< Λ(t )v2 , v1 ) >, ∀v1 , v2 ∈ V , ∀t ∈ (0, T ),
et il existe α > 0 tel que:
∀h ∈ H , ∀t ∈ (0, T ),
(
(ℜ(t )h, h) ≥ α||h||2H ,
(4)
< Λ(t )v , v >≥ α||v ||V , ∀v ∈ V , ∀t ∈ (0, T ).
2
13 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
Pour
f ∈ m([0, T ]; H ), g ∈ BV (0, T ; V 0 ), u 0 ∈ V , v 1 ∈ H , (5)
considérons le problème suivant :
(ℜ(t )u 0 (t ))0 + Λ(t )u (t ) = f (t ) + g (t ) dans (0, T ),
(
(6)
u (0) = u 0 , (ℜu 0 )(0) = v 1 .
14 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

le résultat principale 1
Theorem (1)
Sous les hypothéses (2),(3),(4),(5),il existe u ∈ L∞ (0, T ; V ) avec
u 0 ∈ L∞ (0, T ; H ) solution unique du problème (6) au sens
(ℜ(t )u 0 (t ), v )0 + < Λ(t )u (t ), v >= (f (t ), v )+ < g (t ), v > dans D 0 (0, T ), ∀v ∈ V ,
(
u (0) = u0 , (ℜu 0 )(0) = v 1 .

(7)
De plus, on a l'estimation
||u 0 (t )||2H + ||u (t )||2V ≤ C (||u 0 ||2V + ||v 1 ||2H + ||f ||2m([0,T ];H ) + ||g ||2BV (0,T ;V 0 ) ), ∀t ∈ [0, T ],
(8)
15 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
L'homogénéisation
16 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut

connaître les autres méthodes d'homogénéisation qui sont
existantes.
Prouvons dans la présente partie que le problème (1) a la même
structure avec le problème (16) ci-dessous où ρn remplacé par ρ (
la limite faible-? de ρn ) et An remplacé par A ( le H-limite de An )
dans L∞ ((0, T ) × Ω).
17 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
La proposition suivante montre la propriété de la compacité dans l'espace
BV (0, T ; L∞ (Ω; M sN )).
Proposition
Pour toute suite {An } bornée dans BV (0, T ; L∞ (Ω; M sN )) et vériant:
An (t , x )ξ .ξ ≥ α|ξ |2 , ∀ξ ∈ RN , ∀(t , x ) ∈ (0, T ) × Ω.

Il existe une sous suite de n, encore désigné par n, et un champs de matrice
A ∈ BV (0, T ; L∞ (Ω; M sN )) tels que
H
An (t , .) * A(t , .), ∀t ∈ (0, T )/ℵ, (9)
avec ℵ ⊂ (0, T ) sous-ensemble dénombrable.
18 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
An de prouver la proposition précédente nous avons besoin de

lemme suivente:
Lemma
Nous considérons deux suites de champs de matrices
An , Bn ∈ M (α, β , Ω).
Si An , Bn H-converge vers A, B respectivement. Alors, pour une
constante C > 0 qui dépend de αβ seulment, on a:
||A − B ||L∞ (Ω;M N ) ≤ C liminf ||An − Bn ||L∞ (Ω;M N )

n→+∞
19 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
les hypothèses
Soit ρn ∈ BV (0, T ; L∞ (Ω)) , An ∈ BV (0, T ; L∞ (Ω; M sN )) et vérient
ρn born«ee dans BV (0, T ; L∞ (Ω)), An born«ee dans BV (0, T ; L∞ (Ω; M sN )),

(10)
et il existe α > 0 tel que
ρn (t , x ) ≥ α, ∀(t , x ) ∈ (0, T ) × Ω, (11)

et
An (t , x )ξ .ξ ≥ α|ξ |2 , ∀ξ ∈ RN , ∀(t , x ) ∈ (0, T ) × Ω. (12) 20 / 48

Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
les hypothèses
Pour tout
fn ∈ m([0, T ]; L2 (Ω)), gn ∈ BV (0, T ; H −1 (Ω)), un0 ∈ H01 (Ω), vn1 ∈ L2 (Ω),
tels qu'il existe
f ∈ m([0, T ]; L2 (Ω)), g ∈ BV (0, T ; H −1 (Ω)), u 0 ∈ H01 (Ω), v 1 ∈ L2 (Ω),
21 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
les hypothèses
vériant
fn * f dans m([0, T ]; L2 (Ω)), (13)

?
gn born«ee dans BV (0, T ; H −1 (Ω)),

Zs Zs
gn (t )dt −→ g (t )dt dans H −1 (Ω), ∀r , s ∈ (0, T ), (14)
r r
un0 * u 0 dans H01 (Ω), vn1 * v 1 dans L2 (Ω), (15)
22 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
les hypothèses
Nous dénissons u comme la solution de
∂t (ρ(t , x )∂t u ) − divx (A(t , x )∇x u ) = f + g dans (0, T ) × Ω,



u=0 sur (0, T ) × ∂ Ω,
u (0) = u 0 , ρ∂t u (0+ ) = v 1

dans Ω.

(16)
23 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
les hypothèses
Remark
Comme {ρn } est bornée dans BV (0, T ; L∞ (Ω)) et satisfait:
ρn ≥ α, ∀(t , x ) ∈ (0, T ) × Ω, (17)
il existe une suite de {ρn } notée encore {ρn } et une fonction

ρ ∈ BV (0, T ; L∞ (Ω)) satisfaisant (17), telle que
ρn * ρ dans L∞ ((0, T ) × Ω) (18)

?
24 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Homogénéisation
Theorem (2)
Nous considérons An et ρn satisfont (10) ,(12),(11),(9) et (18)
avec les hypothèses (13), (14) et (15) nous avons un solution
unique de (1) satisfait
un * u dans L∞ (0, T ; H01 (Ω)),

?
∂t un * ∂t u dans L∞ (0, T ; L2 (Ω)),

?
où u est l'unique solution de (16).

25 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Les résultats de correcteur
26 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut

connaître les propréitées des espaces fonctionnel.
Le but de cette partie est de prouver un résultat de correcteur pour
le problème (1).
Nous considérons deux suites bornées ρn ∈ C (0, T ; L∞ (Ω)) 1
,An ∈ C (0, T ; L∞ (Ω; MNs )) qui satisfont (11) ,(12) avec ∂t ρn ,∂t An
1
sont uniformément équicontinue par rapport à t , c'est-à-dire:

pour chaque ε > 0, il existe δ > 0 vérier |t − t̂ | < δ on a:
||∂t ρn (t , .) − ∂t ρn (t̂ , .)||L∞ (Ω) + ||∂t An (t , .) − ∂t An (t̂ , .)||L∞ (Ω;M sN ) < ε
(19)
pour tout n ∈ N et t , t̂ ∈ [0, T ].
On suppose qu'il existe ρ ∈ L∞ (0, T ; L∞ (Ω)) , 27 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
H
?
ρn (t , .) * ρ(t , .) dans L∞ (Ω), An (t , .) * A(t , .) (20)
Nous prenons
fn ∈ L1 (0, T ; L2 (Ω)) , gn ∈ W 1,1 (0, T ; H −1 (Ω)),
telle que
fn * f dans L1 (0, T ; L2 (Ω)) ,

lim limsup||fn (t + h) − fn (t )||L
1
(0,T −h;L2 (Ω)) =0 (21)
h→0 n→+∞
28 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
gn −→ g dans W 1,1 (0, T ; H −1 (Ω)), (22)
et un0 ∈ H01 (Ω),vn1 ∈ L2 (Ω) satisfaisant
un0 * u 0 dans H 1 (Ω), vn1 * v 1 dans L2 (Ω). (23)
Nous dénissons un et u comme les solutions de (1) et (16)

respectives et ûn ,ũn par
(
−divx (An (t )∇x ûn (t )) = −divx (A(t )∇x u (t )) dans Ω,
∀t ∈ [0, T ] 29 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

les hypothèses
et
∂t (ρn ∂t ũn ) − divx (An (t )∇x ũn ) = 0 dans (0, T ) × Ω,


ũn = 0 dans (0, T ) × ∂ Ω, (25)
ũn (0) = un0 − ûn (0), ρn (0)∂t ũn (0) = vn1 − v 1 dans Ω,


30 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion

Theorem (3)
Nous considérons ρn ∈ C 1 (0, T ; L∞ (Ω)) ,An ∈ C 1 (0, T ; L∞ (Ω; M sN ))
bornées, qui satisfont (11),(12), (19), (20) et (24) avec les
hypothèses (22), (23), (24) et (25), nous avons
un − (ûn + ũn ) −→ 0 dans L∞ (0, R ; H01 (Ω)), (26)
∂t un − (∂t u + ∂t ũn ) −→ 0 dans L∞ (0, R ; L2 (Ω)), (27)

pour tout R ∈ (0, T ).
31 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
La compétence visée par ce cours est: comment homogénéisé un

problème.
32 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
L'évalution pour ce cours sera comme un examen nal qui contient

les éléments comme suite:
À résoudre des problèmes similaires.
Les éxposés qui sont proposés das les types d'exercices.
QCM (( pour comparer enter cas périodiques et non
périodique)).
33 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Séances théoriques an de metriser les calculs.

Séance de travaux dirigés (TD).
Séance de travaux dirigés appliquées ((numériques)).
34 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Type des exercices
35 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
* les exercices sera comme des expoés sur les méthodes

d'homogénéisation.
1 H'omogénéisation: cas périodique.
2 H'omogénéisation: cas non périodique.
36 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Ressources d'aide
Des livres, des articles.

Adrèsse web.
37 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Conclusion
38 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Conclusion
Conclusion
L'objectif de ce travail est d'étudier l'homogénéisation et les
correcteur pour des problèmes hyperboliques. Les problèmes de ce
type modélisent la propagation des ondes dans des milieux à petite
échelle.
Ce travail à été consacré à l'étude de l'équation des ondes. On a
montré deux résultats principaux, un résultat d'homogénéisation et
un second de correcteur qui permet d'améliorer la convergence de
la solution du problème sous des hypothèses plus général dont les
coecients sont dépendants en temps, et non nicéserement
périodique.
39 / 48
Prés-requis
Contenu
Ressources d'aide
Conclusion
Conclusion
Conclusion
Nous avons étudié d'abord l'existence et l'unicité de la solution de
ce problème à l'aide d'une méthode de Galerkin dans le cas des
opérateurs, et nous avons vu que l'espace convenable pour
l'existence et l'unicité du solution faible du problème (1) est
L∞ (0, T ; H (Ω)) pour un , et L∞ (0, T ; L (Ω)) pour ∂t un , de plus
1
0
2
l'espace convenable pour la H- convergence est

BV (0, T ; L∞ (Ω; M sN )) qui possède la propriété de la compacité et
qui nous permettent de passer à la H-limite. Après nous avons
terminé ce travail avec un résultat de correcteur considérant les
dérivés des coecients sont uniformément équicontinue par rapport
à t. 40 / 48
Appendix Références
Références I
G. Allaire, Analyse numerique et optimisation, Édition de

Polytechnique, 1966 à1986.
L. Ambrosio, M. Miranda Jr , S. Maniglia, D. Pallara, BV
functions in abstract Wiener spaces, Received 7 September
2009 ; accepted 11 September 2009.
H. Attouch, Giuseppe Buttazzo et Gérard Michaille, Vatiation
Analysis in Sobolev and BV space, Application to PDEs and
Optimization, 2006.
41 / 48
Références II
A. Bensoussan, J.L. Lions, G. Papanicolau, Asymptotic Analysis

for Periodic Struc- tures, North- Holland, Amsterdam, 1978.
V. Blain, A. Dourdil, T.E.R , Equations Elliptiques Couplées,
Mars 2005.
S. Brahim-Otsmane, G.A. Francfort, F. Murat, Correctors for
the homogenization of the wave and heat equations, J. Math.
Pures Appl. 71 (1992) 197231,1992.
H. Brezis, Analyse foncionnelle - Théorie et applications-,
MASSON Paris New York Barcelone Milan Mexico Sao Paulo
1987.
42 / 48
Références III
G. Carlier, Notes de cours Analyse Fonctionnelle, ENS,

2009-2010.
J. Casado-Díaz *J. Couce-Calvo, F. Maestre, José D.
Martín-Gómez, Homogenization and corrector for the wave
equation with discontinuous coecients in time, Dpto. de
Ecuaciones Diferenciales y Análisis Numérico, Universidad de
Sevilla, Spain, No- vembre 2010.
D. Cioranescu and P. Donato, An Introduction to
Homogenization, Oxford Lecture Series in Mathematics and its
Application.17,1999.
43 / 48
Références IV
F. Colombini, S. Spagnolo, On the convergence of solutions of

hyperbolic equations, Comm. Partial Dierential Equations 3
(1978) 77103.
F. Colombini, S. Spagnolo, Some examples of hyperbolic
equations without local solvability, Ann. Sci. Éc. Norm. Super.
22 (1989) 109125, 1989.
B.Demange, Notes de cours, Théorie de la mesure,Cours donné
en 2012-2013.
44 / 48
Références V
F. Demengel et G. Demengel, Espaces fonctionnels utilisation

dans la résolution des équations aux dérivées partielles, 2007.
P. Donato, H. Haddadou; Meyers type estimates in elasticity
and applications to Hconvergence, Advances in Math. Sci. and
Appl., 16, n. 2 (2006).
F. Gaveau, Homogénéisation et correcteurs pour quelques
problèmes hyperboliques, Université Pierre et Marie Curie -
Paris VI, 2009. French.
45 / 48
Références VI
I. Gruais, Compacité par compensation et homogénéisation :

notes du Cours de DEA de F. Murat.
H.Le Dret, Équations aux dérivées partielles elliptiques, mars
2010.
K.A. Lurie, An Introduction to the Mathematical Theory of
Dynamic Materials, Springer-Verlag, Berlin, 2007.
46 / 48
Références VII
F. Murat, H-convergence, in : Séminaire d'Analyse

Fonctionnelle et Numérique, Université d'Alger, 1977/1978,
multicopied, 34 pp. ; English translation : F. Murat, L. Tartar,
H-convergence, in : L. Cherkaev, R.V. Kohn (Eds.), Topics in
the Mathema- tical Modelling of Composite Materials, in :
Progr. Nonlinear Dierential Equations Appl., vol. 31,
Birkhäuser, Boston, 1998, pp. 2143.
J. Simon, Compact sets in the space Lp (0, T ; B ), Ann. Mat.
Pura Appl. 146 (1986) 6596,1987.
47 / 48
Références VIII
K. Simmons, Universality and the Liar, An essay on truth and

the diagonal argument, University of north Carolina, chabel hill,
1993.
S. Spagnolo, Sulla convergenza di soluzioni di equazioni
paraboliche ed ellittiche, Ann. Scuola Norm. Sup. Pisa Cl. Sci.
22 (1968) 571597, 1968.
L. Tartar, The General Theory of Homogenization, Carnegie
Mellon University, Department of Mathematical Sciences,
Pittsburgh, PA, 15213, U.S.A, 2009.
48 / 48

Plan de Cours de MR Sahraoui Ahmed

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

Plan de Cours de MR Sahraoui Ahmed

Transféré par

Droits d'auteur :

Formats disponibles

Présentation du cours

Les compétences visées

Sur l'homogénéisation et les résultats de correcteur

l'équation des ondes

présenté par: Mr.Sahraoui Ahmed

Laboratoire de Physique et Mathématiques Appliquées

Mr. Sahraoui Ahmed

*** Le plan ***

Si u est la limite de uε ( ou un ) dans un certain sens, on se pose

L'homogénéisation de l'équation de la propagation des ondes a été

Les compétences visées

Comment utiliser les outiles d'analyse fonctionnel.

Pour pouvoir tirer le maximum de ce partie il faut connaître les

L'existence et l'unicité de solution faible

Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut connaître les

outiles d'analyse fonctionnel.

L'existence et l'unicité de solution faible

||µ||m([0,T ];X ) = sup ||µ(t )||X .

L'existence et l'unicité de solution faible

Nous considérons deux espaces de Hilbert séparables V et H tel que

Notons par (., .)H = (., .) le produit scalaire dans H et

L'existence et l'unicité de solution faible

et il existe α > 0 tel que:

L'existence et l'unicité de solution faible

L'existence et l'unicité de solution faible

u (0) = u0 , (ℜu 0 )(0) = v 1 .

Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut

La proposition suivante montre la propriété de la compacité dans l'espace

BV (0, T ; L∞ (Ω; M sN )).

An (t , x )ξ .ξ ≥ α|ξ |2 , ∀ξ ∈ RN , ∀(t , x ) ∈ (0, T ) × Ω.

avec ℵ ⊂ (0, T ) sous-ensemble dénombrable.

An de prouver la proposition précédente nous avons besoin de

||A − B ||L∞ (Ω;M N ) ≤ C liminf ||An − Bn ||L∞ (Ω;M N )

Soit ρn ∈ BV (0, T ; L∞ (Ω)) , An ∈ BV (0, T ; L∞ (Ω; M sN )) et vérient

ρn born«ee dans BV (0, T ; L∞ (Ω)), An born«ee dans BV (0, T ; L∞ (Ω; M sN )),

ρn (t , x ) ≥ α, ∀(t , x ) ∈ (0, T ) × Ω, (11)

An (t , x )ξ .ξ ≥ α|ξ |2 , ∀ξ ∈ RN , ∀(t , x ) ∈ (0, T ) × Ω. (12) 20 / 48

fn ∈ m([0, T ]; L2 (Ω)), gn ∈ BV (0, T ; H −1 (Ω)), un0 ∈ H01 (Ω), vn1 ∈ L2 (Ω),

tels qu'il existe

f ∈ m([0, T ]; L2 (Ω)), g ∈ BV (0, T ; H −1 (Ω)), u 0 ∈ H01 (Ω), v 1 ∈ L2 (Ω),

fn * f dans m([0, T ]; L2 (Ω)), (13)

gn born«ee dans BV (0, T ; H −1 (Ω)),

Nous dénissons u comme la solution de

∂t (ρ(t , x )∂t u ) − divx (A(t , x )∇x u ) = f + g dans (0, T ) × Ω,

ρn ≥ α, ∀(t , x ) ∈ (0, T ) × Ω, (17)

il existe une suite de {ρn } notée encore {ρn } et une fonction

ρn * ρ dans L∞ ((0, T ) × Ω) (18)

un * u dans L∞ (0, T ; H01 (Ω)),

∂t un * ∂t u dans L∞ (0, T ; L2 (Ω)),

où u est l'unique solution de (16).

Les résultats de correcteur

Les résultats de correcteur

Pré-requis: Pour pouvoir tirer le maximum de ce partie il faut

sont uniformément équicontinue par rapport à t , c'est-à-dire:

Les résultats de correcteur

fn ∈ L1 (0, T ; L2 (Ω)) , gn ∈ W 1,1 (0, T ; H −1 (Ω)),

fn * f dans L1 (0, T ; L2 (Ω)) ,

Les résultats de correcteur

gn −→ g dans W 1,1 (0, T ; H −1 (Ω)), (22)

et un0 ∈ H01 (Ω),vn1 ∈ L2 (Ω) satisfaisant

un0 * u 0 dans H 1 (Ω), vn1 * v 1 dans L2 (Ω). (23)

Nous dénissons un et u comme les solutions de (1) et (16)

Les résultats de correcteur

* Le plan *

An de prouver la proposition précédente nous avons besoin de

Soit ρn ∈ BV (0, T ; L∞ (Ω)) , An ∈ BV (0, T ; L∞ (Ω; M sN )) et vérient

Nous dénissons u comme la solution de

Nous dénissons un et u comme les solutions de (1) et (16)

L'évalution pour ce cours sera comme un examen nal qui contient

Séances théoriques an de metriser les calculs.