Du local au global interpolation entre

Fabrice Planchon

Description

Niveau: Supérieur

• exposé

Du local au global : interpolation entre données peu régulières et quantités conservées Fabrice Planchon Laboratoire d'Analyse Numérique, URA CNRS 189, Université Pierre et Marie Curie, 4 place Jussieu BC 187, 75 252 Paris Cedex Introduction Lorsque l'on s'intéresse à une équation aux dérivées partielles d'évolution, et plus particulièrement au problème de Cauchy, la question la plus impor- tante après l'existence possible d'une solution est le comportement asympto- tique de celle-là. Explose-t-elle en temps ni, existe-t-elle pour tout temps, quel est son comportement à temps grand ? Si l'on laisse de coté les cas où l'on attend l'explosion sous une forme ou une autre, il existe essentiellement deux façons d'aborder l'existence globale de solutions. La première consiste à préa- lablement étudier la question de l'existence locale : on considère l'équation aux dérivées partielles comme une équation diérentielle dans un Banach, et l'on applique alors le formalisme usuel des équations diérentielles ordi- naires (généralement, le théorème de point xe de Picard). Ensuite, il s'agit de prolonger ces solutions locales globalement. Pour cela (en ignorant les cas où l'on dispose d'un principe du maximum), on s'appuie sur les lois de conservation associées aux symétries de l'équation.

• méthode


• unicité dans la classe du point xe local


• origine des méthodes


• changement d'échelle


• contexte de navier-stokes


• existence globale

Sujets

• Exposé
• Planchon
• Méthode

Informations

• Publié par: profil-nechor-2012
• Nombre de lectures: 23
• Langue: Français

Extrait

certaines
Du
th?or?me
lo
d'?tudier
cal
princip
au
l'?quation
global
.
:
cales
in
sym?tries
terp
Sob
olation
ation
en
eu
tre
par
donn?es
Ensuite,
p
t
eu
les
r?guli?res
donnen
et
H
quan
tation).
tit?s
r?gularit?
conserv?es
a
F
p
abrice
s
Planc
minimal
hon
c
Lab
t
oratoire
prolonger
d'Analyse
our
Num?rique,
l'on
URA
um),
CNRS
ation
189,
lois
Univ
orne
ersit?
solution,
Pierre
restreindra
et
simplier
Marie
on
Curie,
LC
4
tr?l?e
place
?videmmen
Jussieu
Il
BC
Cau-
187,
au
75
dire
252
s
P
toujours
aris
p
Cedex
EDO,
In
IX1
tro
p
duction
de
Lorsque
s'agit
l'on
solutions
s'in
t.
t?resse
(en
?
cas
une
ose
?quation
du
aux
s'appuie
d?riv
de
?es
ci?es
partielles
l'?quation.
d'?v
conserv
olution,
une
et
priori
plus
de
particuli?remen
exemple
t
(on
au
espaces
probl?me
p
de
pr?-
Cauc
g?n?ralemen
h
cie
y
r?gularit?
,
est
la
olev
question
la
la
p
plus
y
imp
oir
or-
donc
tan
probl?me
te
h
apr?s
des
l'existence
aussi
p
c'est
ossible
donn?es
d'une
v
solution
s
est
il
le
niv
comp
r?gularit?
ortemen
de
t
m?tho
asympto-
elons-le
tique
la
de
le
celle-l?.
de
Explose-t-elle
oin
en
xe
temps
Picard).
ni,
il
existe-t-elle
de
p
ces
our
lo
tout
globalemen
temps,
P
quel
cela
est
ignoran
son
les
comp
o?
ortemen
disp
t
d'un
?
e
temps
maxim
grand
on
?
sur
Si
lois
l'on
conserv
laisse
asso
de
aux
cot?
de
les
Ces
cas
de
o?
ation
l'on
t
attend
b
l'explosion
a
sous
sur
une
normes
forme
la
ou
par
une
dans
autre,
1
il
se
existe
aux
essen
de
tiellemen
olev
t
our
deux
la
fa?ons
sen
d'ab
Plus
order
t,
l'existence
asso
globale
?
de
une
solutions.
s
La
qui
premi?re
la
consiste
Sob
?
con
pr?a-
par
lablemen
conserv
t
(il
?tudier
eut
la
t
question
en
de
v
l'existence
plusieurs).
lo
est
cale
n?cessaire
:
le
on
de
consid?re
c
l'?quation
y
aux
our
d?riv
donn?es
?es
moins
partielles
p
comme
r?guli?res,
une
?
?quation
des
di?ren
H
tielle
a
dans
ec
un

Banac
LC
h,
Or
et
existe
l'on
un
applique
eau
alors
de
le
qui
formalisme
ermette
usuel
r?soudre
des
les
?quations
des
di?ren
app
tielles
s
ordi-
,
naires
r?gularit?
(g?n?ralemen
t,r?sultats
critique.
trois
C'est
un
souv
en
en
l'incon
t
est
la
a
r?gularit?
eectiv
corresp
la
ondan
t
t
des
aux
et
in
est
v
question
ariances
etite
de
our
c
es,
han-
de
gemen
ces
t
celle-l?
d'?c
en
helle
d?part.
de
existan
l'?quation
au-del?
(mais
c
pas
ariance
n?cessairemen
p
t,
p
en
H
particulier
Bourgain
quand
?
elle
d?fo
serait
?tendus
n?gativ
une
e).
quelque
Lorsque
la
s
v
c
est
<
il
s
et
LC
l'?quation
,
p
le
structurelles
temps
pr?sen
d'existence
liens
lo
la
cal
lois
dans
ci-dessus.
H
Le
s
.
LC
l'indice
est
t
prop
p
ortionnel
s
?
naturelle
la
sorte
norme
?
de
l'existence
la
s
donn?e
qu'on
initiale,
trer
et
un
en
Sc
utilisan
dimension
t
de)
la
d'autres
b
([7]).
orne
he
a
Bourgain,
priori
L'a
sur
la
H
di?ren
s
principal
LC
t
de
tho
la
l'on
loi
l'unicit?
de
n?cessaire
conserv
p
ation,
t
on
tr?s
p
la
eut
deux
donc
t
globaliser
onnes
les
l'?quation
solutions
but
lo
exp
cales.
revisiter
C'est
oten
par
en
exemple
lo
comme
pr?sence
cela
conserv
qu'on
l'exemple
mon
distingue
tre
:
l'existence
sous-critique,
globale
s
p
s
our
emen
l'?quation
l'in
des
c
ondes
helle,
sous-critique
existence
H
des
1
dans
,
.

emen
u
p
+
en
u
terp
3
l'existence
=
donn?e
0
LC
dans
?
R
dans

?
R
mon
3
ouv
,
t
[13].
tence
L'a
donn?e
v
sous-critique,
an-
tion
tage
dinger
de
te
cette
d'espace.
m?tho
sa
de
t
est
g?n?ralis?s
qu'elle
disp
donne
particulier
non
prop
seulemen
pro
t
e
l'existence,
de
mais
est
aussi
plus
l'unicit?.
an
Dans
simplicit?
le
robustesse
cas
de
critique
con
s
?nien
c
qu'il
=
?nien
s
de
LC
m?-
,
des
le
que
temps
n'obtien
d'existence
pas
d?p
:
end
est
non
d'?tudier
plus
a
de
osteriori,
la
g?n?ralemen
norme
c'est
mais
probl?me
du
dicile,
prol
de
de
di?rence
la
tre
donn?e
solutions
initiale,
erdan
et
certaines
il
b
est
propri?t?s
n?cessaire
de
de
de
recourir
Le
?
du
des
t
argumen
os?
ts
de
de
les
non-concen
p
tration
tiels
p
t
our
tre
esp
th?orie
?rer
cale
globaliser
la
les
des
solutions
de
lo
ation,
cales.
de
Enn,
expliqu?
dans
On
le
donc
cas
situations
(sur-critique)

o?
cas
s
s
c
<
>
LC
s
Lorsque
LC
c
,
eectiv
ce
t
t
de
yp
v
e
par
d'appro
hangemen
c
d'?c
he
on
est
alors
sans
globale
esp
our
oir,
donn?es
mais
etites
on
H
disp
c
ose
Une
alors
relativ
d'une
t
appro
se
c
ose,
he
eut-on
di?ren
quelque
te,
"in
bas?e
oler"
sur
tre
les
globale
m?tho
grande
des
dans
de
s
compacit?.
et
En
globale
utilisan
p
t
donn?e
la
H
loi
c
de
J.
conserv
a
ation
tr?
qui
p
fournit
ait
une
emen
b
mon
orne
l'exis-
a
globale
priori,
grande
et
dans
une
cadre
appro
p
ximation
l'?qua-
(de
de
la
hr?
donn?e
cubique
et
calisan
de
en
l'?quation)
deux
r?guli?re,
Ses
on
(et
c
m?tho
herc
on
he
?t?
?
et
passer
?
?
?quations
la
ersiv
limite
en
(faible)
KdV
dans
Nous
les
osons
termes
ap-
non-lin?aires
c
p
alternativ
our
?
ob-
m?tho
tenir
de
une
qui
solution
en
globale.
sorte
L'exemple
simple.
historique
v
est
tage
le
la
cas
est
des
probable
?quations
de
de
m?tho
Na
dans
vier-Stok
ts
es
textes,
incompressibles
v
([18]).
t
Le
est