Upload
monique
View
212
Download
0
Embed Size (px)
Citation preview
This article was downloaded by: [York University Libraries]On: 12 August 2014, At: 16:06Publisher: Taylor & FrancisInforma Ltd Registered in England and Wales Registered Number: 1072954 Registered office:Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK
Communications in Partial DifferentialEquationsPublication details, including instructions for authors and subscriptioninformation:http://www.tandfonline.com/loi/lpde20
Un theoreme d'unicite pour des inequationsvariationnelles paraboliques degenereesMonique Madaune-Tort aa Départernent de Mathérnatiques et d'Inforrnatique , Université de PAU ,64000Published online: 08 May 2007.
To cite this article: Monique Madaune-Tort (1982) Un theoreme d'unicite pour des inequations variationnellesparaboliques degenerees, Communications in Partial Differential Equations, 7:4, 433-468
To link to this article: http://dx.doi.org/10.1080/03605308208820229
PLEASE SCROLL DOWN FOR ARTICLE
Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”)contained in the publications on our platform. However, Taylor & Francis, our agents, and ourlicensors make no representations or warranties whatsoever as to the accuracy, completeness, orsuitability for any purpose of the Content. Any opinions and views expressed in this publication arethe opinions and views of the authors, and are not the views of or endorsed by Taylor & Francis.The accuracy of the Content should not be relied upon and should be independently verified withprimary sources of information. Taylor and Francis shall not be liable for any losses, actions, claims,proceedings, demands, costs, expenses, damages, and other liabilities whatsoever or howsoevercaused arising directly or indirectly in connection with, in relation to or arising out of the use of theContent.
This article may be used for research, teaching, and private study purposes. Any substantialor systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, ordistribution in any form to anyone is expressly forbidden. Terms & Conditions of access and use canbe found at http://www.tandfonline.com/page/terms-and-conditions
COMM. IN PARTIAL DIFFERENTIAL EQUATIONS, 7(4), 433-468 (1982)
UN THEOREME D'UNICITE POUR DES INEQUATIONS
VARIATIONNELLES PARABOLIQUES DEGENEREES
Monique MADAUNE-TORT UniversitE de PAU
Facult6 des Sciences Exactes et Naturelles DEparternent de MathErnatiques et dfInforrnatique Avenue Philippon - 64000 PAU.
Dans cet article, on Etudie des propriEt6s d'unicit6
pour un problsrne aux limites unilatsral de type parabolique d6gE-
n6r6 relatif 2 l'equation non linEaire :
a a u'+ g(u)- -2 $(u) = 0 dans a'(R),p.p. tcl0,Ti ax
et B la donnEe initiale :
02 R = 10,li , T > 0 , $ est une fonction croissante de classe
C ' telle que $(0) = 0 , g est une fonction lipschitzienne
nono tone. m
On a par exemple dans le cas de la diffusion d'un gaz $(u) = u , m r I , u Etant la densit6 du gaz. Dans le cas du dgplacernent
de deux liquides non rniscibles (eau et huile) dans un barreau
poreux, $ v6rifie : ~'(0) = $'(I) = 0 , Q'(x) > 0 sur jO,l[ ;
u est alors la saturation en huile.
L'6tude de l'unicit6 pour des problhes relatifs 2
1'Equation u'-A$(u) = f a Et6 traitEe par plusieurs auteurs.
Divers rEsultats ont 6tE obtenus gEnEralement par regularisation
ou par des m6thodes variationnelles ou par la th6orie des semi-
C o p y r ~ g h t 0 1982 by Marcel Dekker. Inc.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
434 MADAUNE- TORT
groupes non 1inEaires (voir par exemple L161,1171,~lj,i2~,C51,
~bA,[91), y compris pour des fonctions 4 seulement continues
~ 5 1 . Pour des problemes relatifs 2 116quation (0.1) avec terme
de transport on trouve des r6sultats dans le cas du problgme de
Cauchy sur W ou P+ (voir par exemple i81,ilOj,[18j) .
Pour les problgmes aux limites des propriEt6s d'uni-
cite ont dLjl 6tE obtenues dans le cas de conditions a w bords de
type Dirichlet u(0, t) = u(l ,t) = 0 pour une donn6e initiale u 1 dans Ho(R) et des fonctions g et $ telles que g soit de
classe c1 et gl(0) = 0 ou $'(O) 0 [I41 ainsi que pour des
fonctions g et $ telles que go$-lsoit lipschitzienne C73.
Cependant des conditions aux bords de type Dirichlet sont &idem-
aent souvent ma1 adaptdes P la rEalit6 physique ; ainsi dans C41
pour modeliser le deplacement de deux fluides non niscibles
G.Chavent pose les conditions :
.u (0, t) = 0 , t E 10,Ti:
a u(l,t)'O, 4(u(l,t))-Cg(u(l,t))-g(
u(l,t) 1 mcuci,t))-cg(u(l ,w-g(
qui traduisent le phEnomSne suivant :
on injecte de l'eau au bord x = 0 d'un barreau impriSgn6 d'huile
d'oG la, condition (0.3) et la condition (0.4) signifie que l'eau
ne peut pas sortir du bord x = 1 tant que la saturation en eau
n'est pas maximale.
On Etablit dans cet article des propri6t6s d'unicitd pour le pro-
blsme (0. I), (0.2), (0.3), (0.4) en distinguant les 3 cas g6nSraux :
gf(0)=O, $'(0)#0, $'(0)=0. Un rdsultat d'unicitg a dEji EtP ob-
tenu par G. Gagneux L 7 1 lorsque go$-i est lipschitzienne.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 4 35
V est le sous espace de H ' ( R ) form6 des fonctions v telles
que v(0) = 0 ; il est muni de la norme :
Zn identifiant L2(S2) ii son dual et en notant V' le dual de V,
on a la situation classique : V Q L2 (i2)~V' , chaque injection Etant continue, ii image dense.
(,) dEsigne 2 la fois le produit scalaire dans L2(S2) et la dua-
lit6 V , V' . K = {VEV ; v(l) 01 est un c8ne convexe fermd
de V de somnet 0 . Enfin u' d6signe la d6riv6e en t au
sens des distributions vectorielles sur COYTI . On suppose sur les donndes u , g et $ les conditions :
u 6 V , O<U < I et u Zl dans un voisinage de x=l I 0
I d'ordqe 8 c 10,11 sur [0,@(1)] .
HI
ryob'lsme PO" :
On considsre la formulation var
au problgme (0.1),(0.2),(0.3),(0.4) :
g est lipschitzienne, croissante sur CO,ll u
$(u)= J f (r)dr OO f 20 est continue sur [O,11 , nulle en 0
des points isol6s de [O,lI et @-I est hgld6rienne
iationnelle associge
On note A
1
1 p.p. sur Q , u'EL~(o,T;v')
llop&rateur de V dans V' d6fini par :
1 a av VueV , VVEV A(u).vS [g(u)-g(I)-~$(u)l~d~ Jo
(0.6)
et on dcrira pour simplifier lf&criture A(u,v)au lieu de A(u).v.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE-TORT
On a le th6orSme d'existence d6montr6 dans C71 lors-
que f v6rif ie f (O)=f (l)=O , f (T)>O sur 10, lC et encore vala-.
ble dans le cas 6tudi6 ici 1151 .
Th6orSme 0.1 : sous llhypoth&se H1 , le problSme n admet au
moins une solution u telle que : -
uec(~*)nc~ro,~~;~2(n)) , oausl sur Q ,
m a'(U) E L2(a,~;L2(a)), Y CL , O < a < T $(u)EL (~,T;H'(Q)),
au si 2 0 sur G , t -+ u(l,t) est d6croissante sur [O,T! ax
aim cue) ag cue) si -- - 20 dans H-I (a), t+u(x, t) est d6crois-
ax2 ax sante sur [O,T1 , Vxen .
a2$(uo) ag(uo) alors si - ax 20 sur h u - - - ax 2 0 dans H-'(R), on a:
ax
On trouve 6galement dans [71 un r6sultat d1unicit6
lorsque f v6rifie f(O)=f(l) = 0 , f(r)>.O sur 10,lC et
encore valable dans le cas 6tudi6 ici.
a~ Th6orSme 0.2 .: sous l1hypoth5se
HI et la condition : 2 ax
2 0
a2$(uo) ag(uo) sur R ou - - - < 0 dans H-I (a), lorsque go$-'
ax2 ax
est lipschitzienne le problSme IT admet une solution unique.
ie but de cet article est de fournir des propriEt6s d1unicit6 - 1 sans supposer go$ lipschitziennb. On aboutit au rgsultat sui-
vant :
'ih6orGme 0.3 : on suppose llhypothSse HI , g de classe C 1
et llhypoth&se H2 : u ~ E w ~ ' ~ (R) , $(uO) ew2' (Q) , alors :
(i) si f(0)fo ou g'(O)=O , le problsme IT admet une solu-
tion unique U~C(~)~C(CO,TI ; L'(R)).
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
(ii) si f (O)=O (et g' (O)#O) , sous la condition :
a2q(u0) ag(uo) - - - 5 0 dans H-'(R) , le problPme n admet ax2 ax
une solution unique
UEC(Q*) n C(CO,TI;L~ (R)) telle que : YT , ~E]O,TI , O<Wt<T ,
VVEL~(T,~;H'(R)) telle que V'EL~(T,~;L~(R)) et v(1 ,s) 2 0 , p.p.S€lT,t[ e
La d6monstration des r6sultats dnonc6s dans le th6o-
reme 0.3 est assez longue et s'appuie d'une part sur les proprig-
tds de la solution u du problPme n mise en dvidence au th6orPme
0.1 et d'autre part sur les proprigtds d'une fonction auxiliaire
solution d'un problsme aux limites lin6aire pour lequel le
choix des conditions aux limites d6pend du cas envisag6 f(O)#O
ou gl(0)=O ou f(O)=O. L'idde d'utiliser un problsme lin6aire
auxiliaire, introduite pour 6tudier l'unicit6 dans des problgmes
de Cauchy non lin6aires (par exemple dans i91,ClOI) se r6vSle
6galement intgressante ici pour l'6tude de problPmes sur un
ouvert born&.
L'article se d6compose de la fason suivante : dans
une premisre partie on Stablit des propri6tEs sur les solutions
du problPme n , dans une seconde partie on Gtudie les problgmes
aux limites lindaires auxiliaires et dans la troisigme partie on
d6montre le thcorgrne 0.3.
I - QUELQUES PROPRIETES DES SOLUTIONS DU PROBLEME n
1 . 1 . Etude d'une solution particuli5re de i~ :
On a rappel6 dans l'introduction l'existence d'une
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE-TORT
solution u au problSme TT telle que UEC(?*)
Cette solution a EtE obtenue dans C71 '1 partir de
l'Etude du problhe rEgularis6 non d6gEnErE T T ~ dEfini pour
tout 6 > 0 par :
Pour ce problPme n6 on a le thEorPme d'existence et d'unicit6
(voir [Is]).
ThEorPme 1.1 : sous llhypothPse HI, pour tout 6 > 0 , le pro- blPme T~ admet une solution unique u6 telle que :
auo a2@(uo) m u o ) si - 20 sur f2 ou - - - ax ax 2 0 dans H-'(Q) , alms
ax2
I1 est dEmontr6 dans C71 que lorsque 6 + 0+ , il existe une sous-famille de la famille ( u ~ ) ~ > ~ encore notEe (u6) satis-
faisant en particulier au
ThEorSme 1.2 :
u6 converge vers u dans L2 (Q) et C(Ca,TI; L2 (a)) ,YQ, O<a<T,
@6(u6) converge vers $(u) dans L2(Q), L2(0,T;v) faible et
Lrn(a,T;v) faible Etoile , Va , O<a<T , 03 u est une solution du problSme TT ayant les propriEtEs
6noncEes au theorhe 0.1.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
On sait de plus d7apr6s c151 que sous les hypothPses H et Hz, I la limite u de (u6) est dans c([o,TI;L~(Q)). Pour justifier le
rgsultat dtexistence du th6orPme 0.3, il nous reste 2 prouver
que cette fonction u vErifie ltinEgalit6 (0.7) lorsque f (O)=O.
Pour cela on remarque que u6 v6rifie :
ThEorPme 1.3 : sous l7hypothGse HI et sous la condition :
a2m(uo) ag(uo) u cw2"(C?) et -------- S O dans H-'(Q), si f(O)=O,
ax2 ax
la solution u limite de (u6) vErifie l'inEgalit6 (0.7)
+Jvc~~(r,t;~' (Q)) telle que vtcL2(~,t;L2(C?)) et v(1 ,s)>O,
p.p.SCIT,tC . D6monstration :
Soient T et t dans 10,TI tels que O<T<~<T . On note
Alors, dEmontrer 1' in6galitE (0.7) pour tout v6L2 (T, t ;H' (C?))
telle que v7~L2(~,t;L2(Q)) et v(l,s)rO , p.p.srIr,tC revient 3
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
440 MADAUNE- TORT
d6montrer que B(u,$(u) ,v)<O pour tout VCL' (T, t;~' (62)) telle
que V'EL~(T,~;L~(R)) et $(u(l,s))+v(l,s))>O , p.p. scl~,t[ . Soit donc une telle fonction v . Come ug v6rifie 116galit6 (I. 1) dans L2(~),p.p.tel~,t~ , il vient :
On peut intggrer par parties dans 11Egalit6 pr6c6dente par rap-
port aux variables s et x , il vient :
B ( u ~ , ~ J ~ (u&) ,v) = (O,S)V(O,S)~S + R6 (1.5)
I1 est facile de voir que lfhypothSse $(u(l,s))+v(l,s) 2 0 , p.p.s€lr,tC
et la condition (1.4) entralne 11in6galit6 R < 0 dfoG 6 -
dais les propri6t6s de convergence de u6 vers u donn6es au
th6orSme 1.2 permettent df6tablir que :
lim B(u ,$ (u ),v) = B(u,$(u),v), par cons6quent pour prouver
S*+ 6 6 6
que B(u,+(u),v)<O il nous reste B 6tudier le terme
1: (O,s)v(O,s)ds . On va d6montrer que ce terme a une limite nulle quand 6 tend vers O+ . Pour cela, consid6rons la famille de fonctions P a , o < W , d6fini.e par :
X
P~(X) = ailleurs
Alors, W3~10,lC ,
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
a2$6 (u6) ag(u6) Or =G+-
ax dans L'(R), p.p.s~I~,tC ;
ax2
par consgquent, il vient : VBejO, I[ ,
t t 6 1 - \ [u~(L)v(~)-u~(T)v(T)~ PBdx + 8(0) j v(0, s)ds-jTL P(U&)V dxds
R T
1
" C av + jT $a(~a(B,~))~ d ~ d ~ - - +&(u&) dxds a
"J,
On dEduit des proprigtss de convergence BnoncEes au th6orBme 1.2
que : YBEIO,IC ,
Come pB -t 0, p.p. sur R , on obtient par le thEorPme de con- vergence dominEe :
t arn (U ) (~,s)v(O,s)ds = lim $(u(O,s))v(B,s)ds. ( 1 - 7 ) lim
&W+ 7 a*+ a2$(uo) ag(uo)
blais lfhypothPse sur u : - - - s 0 d a m H-' (n), ax2
ax entraine que : t + u(t,x) est dEcroissante sur CO,TI, VxeR
(thEorPme 0.1) ; par cons6quent :
d'oh :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
442 MADAUNE-TORT
Comme de plus u ew2" (R)nV , on a :
donc :
r6sulte alors de (1 . 7 ) que :
Ainsi en faisant tendre 6 vers 0, , on d6duit de 11in6galit6 (1.6) que :
VVEL~(T,~;H'(R)) tel que V'EL~(T,~;L~(~~)), Ip(u(I,s))+v(i,s)>O
p.p.sclr,tr.
B(u,$(u),v) 0
ce qui entrahe la validit6 de 11in6galitE (0.7) pour tout v dans
L~(T,~;H'(R)) tel que v'EL~(T,~;L~(R)) et v(l ,s)>o p.p.s~l~,tL.
Le thEor6me 1.3 est d6montrE .
1.2. Kemarques sur les propri6t6s des solutions du problPme n :
1.2.1. Soit u une solution quelconque du problPme T . On sait d'aprPs C71 que T(u)=su~{~c~o,T~;u(I ,s)>0 , fsel0, ti 1 existe et que T(u) > 0 ,' lorsque UEC(T) . Comme u v6rifi.e 11inCgalit6 (0.5) soit :
on en deduit que :
(ul,v)-A(u,v)=O, VVCV, p.p.telO,T[ tel que u(l,t)>O . (1.6)
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
En effet il suffit de considgrer dans (0.5) des fonctions VEV
Egales 5 @(u) + w oCi weV et vgrifie /w(l,t)l<$(u(l,t)).
On obtient alors lf6galite (1.8) avec v = w. Lorsque u(l,t)>O
lV6galitE reste Evidement vraie pour tout VEV . La d6finition de T(u) entralne donc en particulier que l'gga-
lit6 (1.8) est satisfaite pour tout vcV , pour presque tout t~lO,T(u)[ .
1.2.2. Soit maintenant une solution u du problhe n telle que:
alors u satisfait 5 :
VV~L'(T,~;H' (R)) tel que V'EL~(T,~;L*(R)).
En particulier lV6galitE (1.9) est vraie pour l'intervalle
jO,T(u)[.
Pour d6montrer (1.9) on procsde de faqon analogue au point 1.2.1,
en considgrant d'abord des intervalles ]~,t[ tels que u(l,s)>O
sur [~,t] et des fonctions v dans (0.7) telles que v=@(u)tw
On obtient donc lV6galitE (1.9) pour ces fonctions w d'oCi il
decoule aisement que lV6galitE (1.9) reste vraie pour toute
fonction :
vcL2(r,t;~'(R)) telle que v1~L2('t,t;L2(~)).
Pour des intervalles IT, t[ tels que u(l ,s)>O sur IT, tC, on a
aussi l16galit6 (1.9) pour toute fonction v<L2('t,t;L2(R)) avec
v'EL~(T,~;L~(R)) par passage B la limite puisque
~~c([o,TI;L~(Q)) ,$(U)EL~(O,T;H~ (Q)).
1.2.3. On termine ce sous-paragraphe 1.2 en indiquant une pro-
priEt6 satisfaite par le r6el T(u) pour toute solution uec(Q*).
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
444 MADAUNE- TORT
TheorSme 1 . 4 : sous l'hypothsse HI , pour toute solution u
du Problgme T telle que UCC(?*) , le r6el T(u) est tel que :
0 .( T(u) s uo (x) dx
Pour d6montrer la majoration de T(u) , on considsre la famille de fonctions p g definies ci-dessus avec B dans 10, I [ . Cornme I - pBcV on peut prendre v = I-p dans lt6galit6 (1.8) a p.p.selO,T(u)[ . On a :
Soit maintenant a E ]O,T(u)C . I1 vient en int6grant lt6galit6
On obtient, en faisant tendre 6 vers 0+, come g(u)~~(T) :
Alors, puisque toute solution u du probl2me n est dans
Cs(CO,TI ; L ~ ( R ) ) on obtient en fiisant tendre a vers O+
la majoration de T(u).
1.3. Introduction B 1'Etude de ltunicit6
On a indiqu6 dans l'introduction que la demonstration
u u tneoreme.d.3 s'appuie sur les proprietes d'une fonction
auxiliaire I) solution d'un probl2me lin6aire. Dans cette sous-
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 445
section 1.3 on va expliquer comment appara7t ce problhe lin6aire
On ne donne pas de d6monstration ici mais simplement une 6bauche
d'un calcul (repris en d6tail et justifi6 dans la partie 3) per-
mettant de mettre en 6vidence le type dt6quation lin6aire 2 con-
sidgrer . Soient deux solutions ul et u2 du problsme TI . I1 r6sulte de (1.8) que u -u2 v6rifie en particulier :
1
06 t = min (T(ul),(T(u ) ) . 2
On en d6duit que pour toute fonction ~EL'(o, t;~' (R)~v) telle que a 5 <'CL~(O,~;L~(Q)) et <(t) = o , ( 1 , s ) = o
Les coefficients b et c ont les propriEt6s suivantes :
et en introduisant les coefficients b et c d6finis sur Q par:
g ( u l h (u2)
c ~ O sur Q , b'O sur Q
b = si u1 # u2 , gq(ul) si u, = u2 U1-u2
rn(u1)-rn(u2)
puisque I$ et g sont croissantes.
(I. 10)
Enf in,
si g'(0) = 0 , = 0
c = si u1 # u2 , f(u1) si u U -u 1 2 1 = u2
On obtient
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE-TORT
puisque b lXz0 = g' (0) come u = u = 0 , I/x=O 2lx.o
si f(0) Z o , VTEIO,TC , ElxTr1o, I C tel que
puisque ul,u2rC(C0,11xCr,tl) et ul = u ~ / ~ = ~ = 0 .
On voit 1 partir de (1. 1 1 ) que les equations lineaires qui nous
interessent sont du type :
('+b - a' + c - - a'5 - G avec une donnee en t : '(x, t)=O,Vx& , ax ax
soit en faisant le changement de variable s -+ t-s . a -d 2 = F avec une donnee initiale $(x,O)=O, VxrQ.
ax ax2
On voit aussi 1 partir de (1.14) et (1.15) que les hypoth6ses
satisfaites par les coefficients b et c et par consgquent
par les coefficients a et d sont differentes suivant que
g' (O)=O ou f (0)fO . Les conditions au bord imposees 1 5 donc
2 $ seront egalement differentes suivant le cas consid6r6 :
g' (O)=O ou f (0)fO ou f (O)=O . En effet lorsque par exemple f(O)=O, si ul et u2 sont deux solutions verifiant l'inega-
lit6 (0.7) on obtient alors 1 partir de (1.9) l'Egalit6 (1.11)
sans imposer 1 5 d'stre nulle au bord x = 0.
Enfin vu le manque de regularit6 des coefficients b et c et
le fait que c puisse s'annuler, on ne peut esp6rer obtenir des a2' fonctions 5 satisfaisant 1 lt6galit6 c'+b 3 + c - = G ax ax
ayant la regularit6 demandee pour obtenir (1.11). Crest pourquoi,
on etudie dans la section 2 suivante une famille de problPmes
relatifs 1 l'equation :
a > 0 etaht fixe, avec des coefficients a et d regularisgs. Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 44 7
2 - ETUDE D'UN PROBLEME LINEAIRE On associe au probleme n une famille de problsmes
1inEaires relatifs 5 une mCme equation : t etant fixe, O<t<T ;
a > 0 etant fix6 :
a$ a - ( a ) = F dans 9' ((n), p.p.silO,t[ ax a x2
et 1 la donnEe initiale
$(x,o) = o , X E ~
Les conditions aux bords pour Ztre bien adaptEes 5 chacun des cas
envisages par la suite pour 116tude de llunicitE, seront soit de
type Neumann :
soit des conditions m^elees :
On appellera (N) (resp. (MI) ; (M2)) le problsme defini sur Qt
par (2.1), (2.2), (2.3) (resp.(2.1),(2.2),(2.4) ; (2.1),(2.2),
(2.5)).
On va d'abord Etudier un rcsultat d'existence pour
les probl&mes (N), (MI) et (M2) lorsque les coefficients sont
rbguliers : a et ~EC-(Q~) , d2O sur Qt . C'est l'objet du th6orGme 2.3. Ensuite, au lemme 2.4 on Etablit des estimations
sur les solutions des problSmes linEaires etudies au theorsme 2.3
afin d'obtenir par passage 1 la limite un rEsultat d'existence
dans le cas : deC(Qt), d'O . Enfin, l'6cude des problsmes "rEgu- larisEs" (N), (MI), (M2) 6tant faite en vue de leurs utilisa-
tions au cours de la demonstration du theor6me 0.3, on precisera
pour chacune des estimations leur dgpendance ou independance par
rapport au r6el a , au coefficient d et au coefficient a .
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
448 MADAUNE-TORT
Avant d'aborder l'gtude de ces problgmes lingaires on rappelle
quelques lemmes techniques.
Soient les fonctions sg et sgn dEfinies sur R par
Leme 2.1. Soit X le sous-espace des fonctions w de H2(R)
1 si x>O
0 si x=O sg (x)= . Q
- 1 si x<O
aw aw aw aw telles que w(O)= - (I)=O (resp.-(O)=W(~)=O,~(O)=
ax ax % ( I )=O) 9
alors pour toute fonction VCL' (0, t;x)nH1 ( Q ~ ) , on a :
1 si X > Q
I - x si 1x1 -<n II - 1 si x<-rl
(La dEmonstration, faite dans [I21 pour la premisre Egalitg et
dans [ I 3 1 pour la seconde lorsque X=B~(Q)~H~(R), s'Etend aux
I la primitive de la fonction sgQ qui s'annule en 0 . n
3 cas consid6rEs ici. Elle utilise une rggularisation).
Leme 2.2 (voir [13]) : pour toute fonction VEH'(Q) , on a :
On revient maintenant aux problsmes (N), (MI) et (M2). On a le
resultat d'existence :
Th6orGme 2.3 Soient FEL' (Q~), a et decrn(qt) avec d r 0
sur Qt , alors le problsme (N) (resp. (MI) ; (M2)) admet une
solution unique :
D6monstration :
Dans le cas de conditions aux bords de type Neumann (2.3) le
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
rEsultat du th6orPme 2.3 est classique (voir par exemple C l l j , tome 2, p.6).
Dans le cas de conditions aux bords mZl6es, le rEsultat n'est
gEnEralement pas 6nonc6 et on le prouve ici par une mcthode de
Galerkine. En effet supposons que l'on ait par exemple les con-
ditions (2.4) et soit le sous-espace fern6 de H' (R) .
soit (w.1 une base de V et soit pour tout mdu' , 1
Ce probleme admet une solution unique $ pour la- m yuelle les gjm sont dans C' (LO, t:) . On d6montre de fagon
classique que + est dans un born6 de L~(o,~;v)~$(Q~) ind6- m pendant de m , d'oti l'on d6duit par passage 1 la limite l'exis
m tence dfune fonction +EL (o,t;v)n~'(Q~) satisfaisant 1 (2.1)
et (2.2). I1 r6sulte alors de (2.1) d'une part que
j,c~~(0,t;H~(R)) et dfautre part, grPce S la formule de Green
que + satisfait aux conditions (2.4).
Le rEsultat d'existence du th6orPrne 2.3 est 6tabli pour le pro-
blPme (MI) ; il se d6montre de fagon analogue pour le problPme
(M2). L1unicit6 de la solution est classique.
L'objet du leme 2.4 suivant est d'obtenir des esti-
nations sur + , en particulier des majorations ind6pendantes de d et a . Pour cela on est amen6 B faire des hypothsses particu- liPres sur les coefficients a et d ; le choix de ces hypothG-
ses est guid6 par les propriEt6s connues (1.14) et (1.15) des
coefficients b et c dEfinis en (1.10).
Dans le cas des conditions aux bords mSl6es (2.4) (resp. (2.5))
on £era lfhypothPse :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE- TORT I
H~ : 3p>O, 3xoe10,1C tels que d(x,s)>u sur 10,xo~xlO,tC
m Lermne 2.4 : Soient aecW(Qt), d<C (Q,) tel que OsdM sur Qt,a>O.
On suppose : F<L~(O,~;H'(~)) avec de plus dans le cas du problene
(MI) (resp. (M2)) : F(O,s)=O et l'hypothese Hz ou H4 (resp.
F(l,s)=O et l'hypothsse H3 ou H5) ; alors la solution + du
probleme (N) (resp. (MI) ; (M2)) satisfait 1 :
oC c1 est une constante positive indgpendante de a et d
(mais dgpend de M).
D6monstration :
1) On multiplie les deux membres de 1'BgalitG (2.1) par
- a ~L'(Q~) et on integre de 0 1 s . Une transformation du ax2
second membre 1 l'aide de la formule de Green entra'ine, puisque
dans les 3 cas envisagEs, F ?!k- est nu1 aux bords x=O et x=l : ax2
+ j (d+a) (B) 'dxdr = 2 2 dxdr Q, ax2 Q~~~ ax (2.6)
a) le premier terme de (2.6) s1i5crit gr2ce au leme 2.1 :
b ) l'application de la formule de Green au deuxisme terme
de (2.6) donne ltEgalitE :
I1 est alors facile de voir que dans le cas du problsme (N)
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
(resp. (MI) sous l'hypothsse H2 ; (M2) sous l'hypothsse H 3 ) , on a 11in6galitC :
I1 reste B Ctudier (2.8) dans le cas du problsme (Ml)(respq (M2))
sous l'hypothsse H4 (resp.H5) : 3p>0 , 3 xo~lO,l[ tels que
d p sur 10,xoC xl0,tC (resp.lxo, l C IO,tC) . Considsrons d'abord le cas du problzme (MI). Soit la fonction
px dsfinie par : 0
X p (x) = 1 - - sur [0,xo3 , px (x) = 0 sur [xo,ll . X X
0
On a , grzce B la formule de Green :
d'o3 l'on d6duit par 11in6galit6 de Cauchy-Schwarz :
ofi la constante kl>O , est indspendante de d et a mais dC-
pend de p , xo et a . I1 resvlte alors de (2.8), puisque 2 (I ,r)=O et d 2 p sur
jO,xoi: x 10, t[ , 1' inCgalitC :
- / a 2 dxdr 1
Q s ax2
(2.10)
Jans le cas du problsme (M2), on obtiendrait encore 1'inEgalitC
(2.10) en transformant, cette fois, l'intggrale au bord x=l de
(2.6), 1 l'aide de la fonction x w px (I-x). 0
GrZce aux propri6t6s (2.7), (2.9) et (2.10) on d6duit ais6ment de
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE-TORT
(2.6) que, dans tous les cas envisagbs :
a$ 2 a2$ 2 aF 2 ! ) d + (d+a) (--) dxdi 5 ; ! (x) dxdi 2
Qs ax Qs
a+ 2 + k2 d x d ~ (2.11)
Q s
oii k2 ' 0 , est indgpendante de d et a . 2) On multiplie maintenant les deux membres de (2.1) par +.
I1 vient par intdgration de 0 5 s :
d'oii par l7in6galitE de Cauchy Schartz :
oii k j > 0 , est indgpendante de d et a (mais d6pend de M).
I1 rdsulte de (2.11) et de (2.12) lTinbgalit6 :
1 2 a2+ 1 2 211q(s) / / + 1 (d+a) (-) dxdi 1 - F 1 1
H' (0) Q, ax L~(O,~;H~(O))
d'oii l'on ddduit par le lemme de Gronwall et grzce 2 116galit6
(2.1) les estimations a priori du lemme 2.4.
Le th6orSme suivant donne un r6sultat d'existence
pour les problGmes (N) , (M,) et (M2) lorsque deC(Qt), le coeff i-
cient a 6tant toujours supposd rggulier : aecrn(Q ) . L'dnoncd t
du th6orGme 2.5 donne aussi des majorations satisfaites par la
solution $ , inddpendantes de a ou de a car on sera amen6
dans la partie 3 2 faire tendre a vers 0, et a vers un
coefficient moins rdgulier.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
Th6orGme 2 . 5 : S o i e n t a s c m ( Q t ) , dec(Qt)nLm(Qt) , d2O s u r Qt
e t s o i t a > 0 . On suppose : I FEL' ( 0 , t ; ~ l (Q)) avec d e p l u s dans
l e c a s du problsme (MI) ( r e s p . (M2)) : F ( 0 , s ) = 0 e t l ' h y p o t h s s e
H ou H4 ( r e s p . F ( l , s ) = 0 e t l ' h y p o t h 6 s e H3 ou H ) . A l o r s l e pro- 2 5
blsme (N) ( r e s p . (MI) ; (M2)) admet une s o l u t i o n u n i q u e :
3 e p l u s $ e s t dans u n born6 d e Lm(O, t ; H 1 ( a ) ) nH1 (Qt) ind6pen-
d a n t de a ,
e s t dans un born6 d e L~ (Qt) i n d 6 p e n i a n t d e a . &- ax2
- e s t d a n s un born6 de Lm(O, t ; L 1 (Q) ) independan t d e a
e t a ( e t Ggalement d e p e t x dans l e c a s du problsme (M ) 1
( r e s p . (M2)) sous l ' h y p o t h s s e H4 ( r e s p . H5 ) . aF Cnf in - r 0 s u r Q t e n t r a i n e 2 2 0 s u r Qt . ax
1 ) L ' e x i s t e n c e d ' u n e s o l u t i o n $ au problsme (N) ( r e s p .
(MI) ; (M2)) s e d 6 d u i t du lemme 2 . 4 e n cons idGran t une s u i t e
( d n ) ~ m ( ~ t ) convergean t v e r s d dans C(Qt) . En e f f e t c e t t e a
s u i t e p e u t Z t r e c h o i s i e d e s o r t e que : d +a 2 - s u r n 2 Qt , d s M s u r Q oti M = 2 l I d l / , e t dans l e c a s 02 l ' o n sup-
L (Qt) pose s u r d l ' h y p o t h s s e H4 ( resp.H5)
On d 6 s i g n e p a r (Nn) ( r e s p . (M ) ; (M ) ) l e problcme d 6 f i n i I , n 2 ,n
d e f a c o n ana logue au problsme (N) ( r e s p . (M,) ; (M2)) m a i s 013 l 'Gga-
l i t 6 ( 2 . 1 ) e s t remplac6e p a r :
F d a n s a '(C2) , p .p . s630 , tC . $ ' + a 2 - (dn+a) 2 =
A l o r s , d ' a p r g s l e lemme 2 .4 , pour chaque ndN , l e problsme (N,)
( r e s p . (M , , n) ; (M2,n)) admet une s o l u t i o n un ique
$, cLm(O, t ;H1 (fi))nH1 (Qt)nL2 (0 , t ; ~ ~ (0)).
De p l u s :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE- TORT
oG C, est indspendante de n et a . Par consgquent on peut extraire de la suite (+n) une sous-suite
encore not6e ( $ 1 telle que :
Gn converge vers + dans Lrn(0,t;~'(Q)) faible Broile et
H' (Qt) faible,
a2qn converge vers dans I,'(Q~) faible, et par suite :
ax2 a2qn
fin - converge vers 49 dana I)'(Qt) puisque dn+d dans C(Qt). ax2 ax
Alors $ vgrifie :
On a donc prouv6 l'existence d'une solution au problPme (N)(resp.
(MI) ; (M2)) satisfaisant aux propri6rg.s de rEgularit6 ainsi
qu'aux estimations a priori hilbertiennes 6nonc6es au th6orPme
2.5.
2) L'unicit6 de la solution est une cons6quence irmn6diate de
(2.13)
3) Estimation de dans Lrn(0,t;~'(~)) : ax a 3 On multiplie (2.1) par - -(sg ( ))EL' (Q~) ; il vient aprss int6- ax ri ax
gration de 0 2 s :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 455
Le p remie r terme d e (2 .14) s 1 6 c r i t g r z c e au lemme 2.1 :
Le second terme d e (2 .14) t end v e r s 0 quand rl -+ 0+ , e n e f f e t :
q u i t end v e r s 0 p a r l e lemme 2.2 e t l e th6orSme d e convergence
dominze p u i s q u e EL^ (0, t ;n2 (R) ) . Le t r o i s i s m e terme du p remie r membre d e (2.14) e s t d e s i g n e p o s i t i f
ou n u l , e n e f f e t :
24 E n f i n l e second membre d e (2.14) d e v i e n t , p u i s q u e F s g ( ) e s t nu1 Q ax
aux b o r d s
On d 6 d u i t a l o r s d e ( 2 . 1 4 ) en f a i s a n t t e n d r e I7 v e r s 0, :
donc e s t dans u n born6 d e ~ ~ ( 0 , t ;L1 (R)) indzpendan t d e d , a e t a . (Ce born6 e s t a u s s i indzpendan t d e p e t x dans l e
c a s 06 l ' o n suppose s u r d l f h y p o t h S s e h4 ( r e sp .H5) ) .
4) Monotonic . On n o t e sg+ ( resp . sg+) l a f o n c t i o n d g f i n i e p a r :
rl Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
456 MADAUNE-TORT
a + % On multiplie (2.1) par - sg ( )EL~(Q~) . On obtient c o m e au II ax point 3) :
+ 3 aF d'oii l'on dEduit, comme sg (ax) U , que lorsque - < 0 sur Q ax - t'
(g)+ = 0 sur Q~ soit - i: L 0 sur Q . Autrement dit si F est t
dgcroissante en x sur Qt , $ est dgcroissante en x sur Qt
ou si F est croissante en x sur Qt , $ est croissante
en x sur Qt . Le th6orSme 2.5 est d6montr6
Remarque 2.6 : Sous les hypothsses du th6orSme 2.5 il est Gvi-
dent que pour tout F dans ~'(0, t;H1(R)), croissante telle que
F(O,s)=O, la solution $ du problsme ( M , ) v6rifie : I$ > 0 sur - Qt . On va voir que cette propri6t6 reste vraie pour la solu-
tion I$ du problgrne (N) en faisant des hypothsses supplgmen-
taires sur F et les coefficients a , d ; par exemple FEH~"(Q~) (suivant les notations de 111, vol.2l)et F(x,O)=O,
m - acC (Qt), dcc(Gt). En effet il suffit, vula construction
m - de I+ , de vgrifier que ce r6sultat est vrai lorsque dcC (Qt).
'hypothsse FEH~" (Qt) entra?ne que +EH*' (Qt)
; alors il rgsulte de (2. l), de (2.3) et de la
)=0 que :
Or dans ce cas 1
Lll,vol.2 p.401
condition F(0,s
p.p.srl0, tC
- puisque ax ( s ( et r i f e %(. ,s)?o sur Q, ~(o,s)=o
ax
On a donc : q(0,s) 2 0 p.p.sel0,tC et c o m e x * $(x,s) est -
croissante sur R , $ 2 0 sur Qt .
3 - DEMONSTRATION DU THEOREME D'UNICITE 0.3 On considgre deux solutions u l et u2 du problBme n , appartenant 3 c(T)~c(co,TI;L' ( a ) ) satisfaisant 1 lvin6galit6 (0.7) lorsque f (O)=O (pour l'exis tence voir 5. I ) . Les trois cas 1 considsrer : g' (O)=O, f(O)#O, f (O)=O sont de natures
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 457
diffsrentes ; cependant, afin de raccourcir la d6monstration,on
traite simultansment ces 3 cas. Si on ne s1int6resse qu15 un seul
des 3 cas citbs, 6videmment certains points peuvent ztre all6g6s.
La dgmonstration se scinde en deux parties :
une premisre partie oG l'on d6montre que u1 = u2 sur Q t
pour tout t 5 min (T(ul), T(u2)) < + m (th6orPme 1.4)
une deuxiPme partie 03 l'on dgmontre l'6galitG de T(u ) et 1 T(u ) , puis celle de ul et u2 sur R x [T ,TI. 03 T = T(ul) =
2 P P T(u2). T est suppos6 ici suffisamment grand pour que : T < T .
P
3.1. ul = u2 sur Q oG t = min(T(u ),T(u ) ) : t 1 2
Soit t , le minimum de T(ul) et T(u2), et soit 7
tel que 0 < T < t . u1 et u2 vgrifient ( 1 . 8 ) , VvcV , p.p.sclO,t[ . On a donc :
I av av (ul-u;,v)- I I ~g(u~)-g(u~)~ dx + trnc~,)-mc~,l 5; dx=o ,
0 (3.1)
Soit alors €,EL'(T,~;H' (0)) telle que ~'EL'(T,~;L~ (R)) ,<(x,t)=O
puisque uI-u2e~' (T, t;L2(R)), u;-u;EL'(T,~;v') , CEL'(T,~;V)
<'EL~(T,~;L'(R)), il dscoule de (3.1) que :
Dans le cas 03 f(0) = 0 , comme ul et u2 vsrifient (0.7) , on sait d'aprgs la remarque 1.2.2. que ul et u2 vsrifient (1.9)
pour toute fonction VEL~(T,~;H'(R)) telle que v'EL'(T,~;L'(R))
On obtient ais6ment dans ce cas 11 que u,-u2 v6rifie 116galit6
('3.2) sans imposer 1 5 la condition c(O,s) = 0 . La formule de Green permet de dsduire de 116galit6 (3.2) que
u -u2 vgrifie 111galit6 : 1
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
458 MADAUNE-TORT
a c v~cL~(T,~;H~(R)) telle que S'EL~(T,~;L~(R)),~(.,~)=~, -(i,s)=O ax et de plus c(0,s) = 0 lorsque f(0) # 0.
En introduisant les coefficients b et c d6finis sur Q par
(].lo), on a finalement le rgsultat suivant dans les 3 cas :
a c V~EL'(-C,~;H~(Q)) telle que c1~L2(+r,t;L2(~2)) ,c(.,t)=~,- ( I ,s)=0 ax et <(O,s) = 0 , cette dernisre condition Stant inutile si f(O)=O-
Afin de pouvoir utiliser les rEsultats du paragraphe 2 , on pose:
a(x,s) =-b(x,t-s) , d(x,s) = c(x,t-s) pour (x,s)<Qt . I1 rEsulte de (1.12), (1.13), (1.14).et (1.15) que les coeffi-
cients a et d ont les propriEtEs suivantes :
a,di~~(~~)n~([~, 1 lx[O, t[) (3.4)
d 2 0 sur Qt (3.5)
si g'(0) = 0 , a(0,s) = 0 sur C0,tl (3 6 )
1 si f (0) # 0 , 3 ~ ~ 6 1 0 , I[ tel que d& f (0) sur J0,x [ xlO, t-T[ 2 T (3.7)
On considsre, ce qui est possible, une suite (ap)pWcC (Qt)
telle que
a -+ a dans L2(0,t;c(E)) P (3.8)
et satisfaisant, lorsque g ' (0) = 0 , 2 la condition
a (0,s) = O 9 + J P ~ N , s , C0,tl . P (3.9)
Enfin en reprenant les notations du paragraphe 2 , on appelle (N) (resp.(M ) ) le problsme d6fini par llgquation :
I
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
la condition initiale (2.2) et les conditions aux bords de type
[Geumann (2.3) (resp. les conditions aux bords m216es (2.4)) . Alors comme api~m(~t) et d v6rifie (3.4), (3.5) pour tout
YEL~(O,~;H;(Q)), il existe une fonction (unique) :
$p,ai~' (o,t-r;~~(R)) telle que $ ' i~'(0, t-T;L' (R)) P ,a
solution
du problsme (N), lorsque f (0) = 0 (en fait +p,a es t d6f inie
sur LO, tl dans ce cas) ,
du problsrne (MI) lorsque f (0) # 0 ou g'(0) = 0 , puisque dans le premier cas le coefficient d v6rifie (3.7) donc l'hypothgse
M4 du paragraphe 2 , et dans le second cas le coefficient a P
v6rifie (3.9) donc l'hypothgse H2 (dans ce second cas +PLY
est
d6finie sur LO, tl) . La d6f inition de
+,,a permet de considgrer dans (3.3), 5=5
P9a 03 la fonction cp,a est d6finie sur R x ]~,t[ (T > 0 si
f(0) # 0 ; T = O si f(0) = O ou g'(0) =0) par :
a c a2c ) (c;,;b a ax + c A ) d x d s =-(u1 (T)-u~(T) ,E~,~(T))
ax2 (3.12)
On a d'autre part, comme $p,a v6rifie (3.10), l16galit6
- G 03 b (x, s)=-a (x, t-s) , ax2 P P (3.13)
G(x,s) =-F(x, t-s)
On va montrer maintenant 1 partir de (3.14) que (ul-u2)Gdxds=0. J,
Pour cela on va faire tendre successivement a vers , T vers
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
460 MADAUNE-TORT
O+ l o r s q u e f (0 ) # 0 , p u i s p v e r s + dans (3 .14) ; d l 0 3
1 1 u t i l i t 6 d e s e s t i m a t i o n s a p r i o r i 6 t a b l i e s au th6orSme 2 . 5 .
Ces e s t i m a t i o n s s a t i s f a i t e s pa r $p,a e n t r a y n e n t que <P ,a
v 6 r i f i e :
, e s t dans un born6 d e L t ( ) independan t
d e ci
a 2 c cb ,,; & 2 s o n t dans un born6 de L' ( r , t ;L2 (fi) )
ax i ( 3 . 1 5 ) ind6pendant d e a
ac e s t dans un born6 d e Lrn(.r, t ; L 1 (B)) ind6pendant
3x d e a , p e t T
enti tier p 6 t a n t f i x 6 e t T 6 t a n t 6galement f i x 6 , on f a i t
t e n d r e a v e r s O+ . I1 r 6 s u l t e d e (3 .15) q u e , l o r s q u e a + 0+ , une s o u s - s u i t e de l a
s u i t e ( cp ,a ) e s t t e l l e que :
Sp,a + C p dans LW(r , t ; ~ ' (fi)) f a i b l e L t o i l e , < ( T ) + c p ( ~ ) P9a
dans L2(Q) f a i b l e ,
ci a 2 e p ' a + 0 dans L 2 ( ~ , t ; L 2 ( f i ) ) . a x 2
E n f i n c o m e cp ,a converge v e r s C p dans L ~ ( T , t ; ~ ' (Q)) f a i b l e
a E 6 t o i l e e t que A e s t dans un born6 d e L ~ ( T , t ; L 1 (0,)) ind6-
ax pendant d e a , p e t T , on a :
a c e s t dans un born6 d e Lrn(;,t;L' (R)) ind6pendant d e p e t T ax
(3 .1 6 )
Lorsque f (0) = 0 ou g 1 (0) = 0 , on p e u t p r e n d r e d a n s (3.14) r=O;
a l o r s , e n f a i s a n t t e n d r e a v e r s O+ , on o b t i e n t :
Lorsque f ( 0 ) # 0 , T > 0 6 t a n t f i x & , on o b t i e n t e n f a i s a n t
t e n d r e a v e r s O+ dans (3 .14) :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
3 r (3 .16) e n t r a i n e , cormne 5 ( 0 , s ) = 0 que S p ( ~ ) e s t born6 P
dans L ~ ( R ) ind6pendamment de p e t T ; on a donc 1 1 i n 6 g a l i t 6 :
03 k l e t k2 s o n t deux c o n s t a n t e s p o s i t i v e s indgpendan tes
p e t T . En f a i s a n t ma in tenan t t e n d r e ? v e r s 0, , il v i e n t c o m e
e t u 2 s o n t dans C(C0,TI ; L 2 ( ~ ) ) , 1 1 i n 6 g a l i t 6 :
i n 6 g a l i t 6 e n c o r e v r a i e l o r s q u e f (0) = 0 ou g l ( 0 ) = 0 g r s c e 2
(3 .17) e t (3 .16) . Alors e n p a s s a n t 5 l a l i m i t e s u r p , on o b t i e n t , grBce 2 ( 3 . 8 ) :
(u,-u2)G dxds = 0 e t c e c i pour t o u t GEL' ( 0 , ~ ; H ; ( R ) ) . 1, L
On a donc u =u2 s u r Q t , c e q u i t e rmine c e t t e p remigre p a r t i e I d e l a d6mons t ra t ion .
3 . 2 . T ( u l ) = T(u2) . S o i t T c e t t e v a l e u r commune, a l o r s u =u P 1 2
s u r Q x ITD,TC :
S o i t t = min(T(u ) , T ( u ) ) . On a vu que u l = u2 1 2
s u r Q t ; on a a l o r s e n u t i l i s a n t l e s p r o p r i B t 6 s de c o n t i n u i t 6
de u 1 e t u2 :
u l ( l , t ) = u 2 ( l , t ) e t donc pu i sque l ' u n e d e s deux q u a n t i t s s
e s t n u l l e
u l ( 1 , t ) = u 2 ( l , t ) = 0 d'oG
t = T(u ) = T(u2) . 1
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
462 MADAUNE-TORT
Soit T cette valeur commune. On sait d'aprGs le th6orGme 1.4 P
que T(ul) < + donc T < + . Si T > T il nous reste P P
donc 2 d6montrer 116galit6 de u1 et u2 sur R x IT ,Ti . P
Pour cela, on verra plus loin que ul et u2 coincident necessai-
rement au bord x = I sur :T TI ; alors 116galit6 ul = u2 P'
sur R x ITp,TC r6sultera du lentme suivant :
Lemme 3.2 : Supposons qu'il existe 2 instants ~,t<lo,T[ tels
que O < T < t b T et
I U,(T) = u2(T)<HO(fi)
U] (1,s) = u2(l,s) p.p. S€l?,tC 9
alors uI = u2 sur R x IT,ti .
Lorsque f(0) = 0 , ul et u2 v6rifient 11inEgalit6 (0.7) pour tout VEL~(T,~;H'(R)) tel que V'EL~(T,~;L~(R)), v(I ,s) > 0 . Lette in6galitE devient une 6galit6 si on impose B v de satis-
faire B ~(1,s) = 0 . Par consgquent on obtient :
DEmonstration :
Lorsque f(0) # 0 ou g'(0) = 0 116galitE de ul et u2 sur
R x j~,tL resulte directementde El41 puisque u, et u2
sont solutions dans C(i0,lI x i~,t>) du problsme :
a u ' + 5 g(u) - E a) = 0 dans 9 ' (0,) , p.p.srlr,rC
= (u1(t)-u2(t), v(t)) ,
VVCL~(T,~;H'(Q)) telle que V'EL~(T,~;L~(Q)), v(l ,s) = 0 -
'
On en d6duit que :
ax2 U(X,T) = u (x,~), X E Q avec ul (X,T)EH;(Q), O<U, (x,T)sI 1
v~EL~(T,~;H~(R)) telle que ('EL~(T,~;L~(R)),~(~ ,s)=o,((. ,t)=O
u(O,s)=O , ~ ( 1 ,s)=ul (1 ,S) , p.p.S€j~, t[ .
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 463
ou les coefficients b et c sont toujours d6finis par (1.10).
On pose encore a(x,s) = - b(x,t-s) , d(x,s) = c(x,t-s) ; alors
d'aprss (1.12) et (1.13), les coefficients a et d v6rifient :
- - a,d~c(Q~-~) ; d > 0 et a < 0 sur
Qt-T
m - On consid6re une suite (ap) c C (Qt-?) telle que :
a + a dans ~'(0, t-~;c(E)) P -
et a 5 0 sur P Qt-T
Alors, comme le coefficient a satisfait B l'hypothsse P H3 *
le th6orSme 2.5 entrafne, pour tout FEL'(O, t-T;H' (a)), pour tout p 6N et pour tout a > 0 , l'existence d'une fonction
+,,a solution du problsme (M2) 06 (M2) est d6f ini par (3.10) , (2.2) et (2.5).
On peut alors prendre dans (3.18) 5 = 5 oG 5P ,a
est P,Q '
d6fini sur R X ~ T , t: par <P ,a (x,s) = $ (x,t-s). <p,a vgrifie
P,a alors (3.13) ; on en dEduit lf6galit6 :
25 (bp-b) (ui-u2) dxds
Les estimations a priori satisfaites par $p,a done 5 per- P s ~
mettent d'obtenir par les mzmes arguments qu'en 3.1, en faisant
d'abord tendre a vers O+ , puis en utilisant (3.19) p vers +-:
i: I, (ul-u2)Gdxds = 0 , ceci ffck~~(~,t;~;(R)) ,
donc u , = u2 sur W ]?,tC ce qui prouve le lemme 3.2.
On va maintenant demontrer que ul(l,s) = u2(l,s) pour s 2 T P '
en faisant un raisonnement par l'absurde. On suppose donc que
u,(l,s) #- ~ ~ ( 1 , s ) sur CT ,TI et on d6signe par : P
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
MADAUNE-TORT 464
T = sup
Alors on a : uI (T) = u~(T) sur R (lemme 3.2). (3.20)
Comme ul ( 1 ,s) 2 u2(l,s) sur iT ,TI , on a T < T . On dgsigne P
par t = sup{sci?,TI ; ul (1,~) # u2(l,p), Vpclr,sr3 ; alors
- Puisque u et u2 sont continues sur R x [Tp,TJ , ul-u2
1 s igne constant sur I?, t[ ; supposons par exemple que
u (1,s) - ~ ~ ( 1 , s ) < 0 sur IT,^[ . I
On a alors n6cessairement u2 ( I , s) > 0 sur IT, t[ . Lorsque f (0) # 0 ou g' (0) = 0 , on utilise que p.p.s~lr
u v6rifie 11in6galit6 (0.5) , d'oG : 1
Par cons6quent u -u2 v6rifie lfin6galit6 : 1
Alors de la m h e facon que l1on a obtenu (3.3) dans la partie
3.1. on a , en utilisant (3.20) et les coefficients b et c
d6f inis en (I .lo) :
V<rL2(~,t;H2(R)) telle que S'EL~(T,~;L~(R)), <(.,t) = 0 ,
Lorsque f(0) = 0 , on utilise que sur 3T,t[ ul v&rifie 11in6-
galit6 (0.7) et u2 v6rifie 116galit6 (I .9) pour toure fonction
V<L~(T,~;H'(R))' telle que v'eL2(~,t;L2(fi)) et ~(1,s) r 0 . I1 est alors facile de voir, grke 2 la formule de Green que
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES 465
(u,-u2) vGrifie 11inGgalit6 (3.21) sans imposer B 5 la condi-
tion ((0,s) = 0 . On pose encore : a(x,s) = -b(x, t-s) ,d(x,s)= c(x, t-s); (x,s)~q~-~.
Les coefficients a et d satisfont 1 :
- a,dc~(Q~-~) , d 2 0 sur Qt-T;
si gl(0) = 0 , a(0,s) = 0 sur [O,t-T[
1 si f(O)#O , 3xo~10,11 tel que d? 2 f(0) sur 10,xo~~lO,t-~[: .
m - On considPre, ce qui est possible, une suite (a p ) p a C (Qt-~)
telle que :
a + a dans c (<t-T) P
Alors, il resulte du thGorSme 2.5 que, pour tout p c N , pour tout a > 0 et pour tout FEH~"(Q - ) , croissante en x telle
t T que F(0,s) = 0 et F(x,O) = 0 il existe une fonction :
ICIP, a EL^ (0, t-T,H' (R)) telle que I,IJ' EL' (0, t-T;L' (R)) ,
P,a
solution du problhe (MI ) lorsque f (0) # 0 ou g' (0) = 0 , solu- tion du problsme (N) lorsque f(0) = 0 . On peut alors dans tous les cas considGrer 5 = (p,a dans (3.21),
EP,, Gtant definie sur 5 x Lr,tl par ( P,a .(X,S)=+~,~(X,~-S).
En effet, on sait d1aprGs la remarque 2.6 que + D .a (1,s) 2 0 . , pour s E i0,t-TI , donc que S~,~(I,S) 2 o pour s E [~,tl . On obtient, en utilisant 116galit6 (3.13) satisfaite par
<P,c+. 11inGgalit6 :
a2c + jna(ul-u2) A dxds .
ax
On en dGduit, compte tenu des majorations v6rifiGes par SP,c+. *
en passant 5 la limite d'abord en a , puis en p :
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
/R(ul-u2)~dxds 5 o , ceci pour ioute fonction
MADAUNE-TORT
GEH~" (RXIT, t[) decroissante en x sur R telle que G (O,s)=O
p.p.s~h, t[ et G(x,t) = 0 sur R . On arrive ici 1 une contradiction, puisque :
donc par continuit6 :
ul-u2 < 0 sur un ferm6 Cx;,ll x [~:t'l avec 0 < x' < 1
On peut alors construire une fonction GEH~" (Rx~T, tL)
dgcroissante en x nulle en dehors de [x:IJ x C~:t'l stricte-
ment negative dans Ix:l] x ]~:t'[ . (ul-u2)Gdxds 5 0 et (ul-u2)G r 0 sur R x IT, tL,
R on en d6duit en particulier que ~ ~ ( 1 , s ) = u2(l,s) , ce qui est contraire 2 l'hypothese ~ ~ ( 1 , s ) 2 ~ ~ ( 1 , s ) . On a donc : ul(l,s) = u2(l,s) , Vs r T .
P
Pour affirmer maintenant l'Egalit6 de ul et up sur QxlT ,T[ , P
il suffit de remarquer, que ul et u2 satisfont aux hypothPses
du leme 3.2 sur cet ouvert.
En conclusion : u1 = u2 sur Q . au
Kemarques : 1 . Lorsque u vgrifie 2 ax
2 0 sur R ou
aZ+(uo) W u 0 ) -- - ax
50 dans dl (a ) , on prend pour uI la ax2
solution particulisre 6tudi6e au paragraphe 1 . 1 qui v6rifie
u (1,s) = 0 sur [T ,TI ce qui permet alors de simplifier la 1 P
partie 3.2 de cette d6monstration.
2. Lorsque g est dEcroissante, le probl5me 7 admet aussi
une solution, V et K 6tant alors d6finis par :
V = {VEH' (Q) ; v(1)=03, K= {VEV ; V(O) 2 0} et u 6tant donng
tel que uo Z 1 dans un voisinage de x = 0 .
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
PARABOLIQUES DEGENEREES
Alors le th6orGme d'unicit6 0.3 reste valable les conditions
suppos6es sur u etant modifi6es de la fason suivante :
a 2 w o ) ag(uo) a 2 m o ) -- - 5 0 dans H-I (5'2) devient - - - 2 0
ax2 ax ax2 ax
dans H-I (Q).
[ll P. BENILAN, Equations d16volution dans un espace de Banach quelconque et applications (ThBse), Publications Math. dlOrsay 2 (1972).
[ 2 J H. BREZIS, On some degenerate nonlinear parabolic equations, Non-linear Functional Analysis, Proc. Symp. Pure Math. AMS, 18, (l97O), 28-38. -
[31 H. BREZIS and M.G. ~~ANDALL,Uniqueness of solutions of the initial-value problem for ut-A y(u)=O , J. Math. pures et appl. 58 , (1979), 153-163.
[41 G. CHAVENT , Un th6orGme d'existence dans une inequation variationnelle parabolique dEg6n6rGe mod6lisant le deplace- ment dllin fluide par un autre non miscible, Rapport de re- cherche no= , IRIA-Laboria Paris, (1977).
1 5 1 A. DAMLAMIAN, Some Results on the Multi-phase Stefan Problem, Comm.in P.D.E. 2 (lo), (1977), 1017-1044.
161 L.C. EVANS, Differentiab ility of a Non-linear Semigroup in L' , J. Math. Anal. App1.O , (1977), 703-715.
[ 7 1 G. GAGNEUX, Dsplacements de fluides non miscibles incompres- sible~ dans un cylindre poreux, J. de Mscanique, 2 (2), (1980), 295-325.
~ 8 1 B.H. GILDING and L.A. PELETIER, The Cauchy Problem For an Equation in the Theory of Infiltration, Arch. Rat. Mech, Anal., 61, (1976), 127-140.
19) S. KAMIN, Source-Type Solutions For Equations of ~onstatio- nary Filtration, J. Math. Anal. App1.2, (1978), 263-276.
i l O l R. KERSNER, Sur quelques proprigtss des solutions gCn6rali- sees d'squations paraboliques quasilingaires d&gGn&r6es, Acta Math. Acad. Scient. Hungaricae, 32, (1978), 361-330.
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014
468 MADAUNE-TORT
~ l l l J.L. LIONS et E. MAGENES, ProblGmes aux limites non homo- g5nes et applications, !- et 2 , Dunod-Paris, (1968).
~ 1 2 1 M. MADAUNE, Comportement des solutions d'un problGme para- bolique non lin6aire d6g6n6r6, Publications Math. de Pau, (1 979).
C13J M. MADAUNE-TORT, Comportement des solutions d'une classe df6quations paraboliques non lin6aires d6g6n6r6es, J. Math. pures et appli., P paraltre.
[I41 M. MADAUNE-TORT, Sur un problGme de perturbations singuliG- a
res du type u' + - a2m(uE) = 0 , Publications E ax g%)- ax^
Math. de Pau, (1980).
[I51 M. MADAUNE-TORT, Sur un probleme de perturbations singulis- res pour des in6quations variationnelles de type paraboli- que d6g6n61-6, Comptes rendus A.S.,292 , (1981).
[I61 O.A. OLEINIK, A.C. KALASHNIKOV and C. YUI-LIN, The Cauchy Problem and Boundary Problems For Equations of the Type of Nonstationary Filtration, Izvest. Akad. Nauk SSSR, Ser. Math, 2 , (l958), 667-704.
[ 1 7 J P.A. RAVIART , Sur la r6solution et llapproximation de cer- taines 6quations paraboliques non lingaires d6g6n6r6es, Arch. Rat. Mech. Anal., 5 , (1967), 64-80.
C18J A.J. VOL'PERT and S.I. HUDJAEV, Cauchy's Problem for Dege- nerate Second Order Quasi-linear Parabolic Equations, Math. U.S.S.R. Sbornik, I , (1969), 365-387.
Rece ived June 1981
Dow
nloa
ded
by [
Yor
k U
nive
rsity
Lib
rari
es]
at 1
6:06
12
Aug
ust 2
014