This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
2, the behaviour of the solutions of (1.1) is entirely a local fact. In particular the sup-bound (1.5) and the estimate (1.4) are a sole consequence of u being a weak solution of (1.1). If 1 < p < 2 due to the singular (1)
See (3.3) in the Preface or (1.8) of Chap. IX.
(2) We refer to Meier [77] for some sufficient conditions for an elliptic system to be
quasi-subharmonic. (3) See Proposition 3.1 of Chap. I.
1. Introduction 217
nature of the p.d.e. some global infonnation is needed. This is not related to systems. Indeed it occurs also in Theorem 5.1 of Chap. V to establish a sup-bound for solutions of a single equation. Since our estimates involve u and DU the global infonnation needed regards both the solution and its space gradient. Let r ~ 2 satisfy (1.7) and let U be a local weak solution of (1.1) for p E (1,2). We assume that t
U
(1.9)
{
can be constructed as the weak limit in L[oc(f1T) ofa
sequence of bounded subsolutions {Un her of (1.1) satisfying in addition
IDunl E L~oc(f1T)'
We stress however that all our estimates will depend only upon the quantities
lIull r ,K;, IIDull"K;, x:;
a compact subset of f1T .
Such an assumption is not restrictive in view of the available existence theory(l) and the special fonn of (1.1).
1-(ii). General structures We will develop the theory for the homogeneous system (1.1). The same results however continue to hold for the following general class of quasilinear systems (1.10)
~1J,' at I
div A (i) (x , t , Du) = B(i) (x , t , u , Du) in
nT,
i = 1,2, ... ,m,
where the functions
A(i)=(A(i) A(i) A(i»).. l ' 2 , ... , N B(i) :
f1T xRxR Nm
satisfy the structure condition
(S3)
(1) See Lions [73).
--+
R,
rl
UT
i
xR Nm --+RN ,
= 1,2, ... ,m,
218
vm. Degenerate and singular parabolic systems
m
2: IB(i)1 ~ C11Dul
(85 )
p-
1
+ !P2,
i=1
where Ci , i =0,1. are given positive constants and !Pi, i = 0,1,2, are given nonnegative functions satisfying (Ss)
!Po
) + !PI#r + !P22 E L q,oc (t"l UT,
N +2
q > -2-'
Remark 1.1. The structure condition (82 ) is somewhat fonnal since there is no stipulation that Ut.z/cz; have meaning at all. More correctly it should be written with Ut,z/cz; and DUi,Zi replaced by tensors ~t,k,j. Neverthless we prefer the formal but suggestive fonn of (82 ). We will develop the main points of the theory for the model system (1.1) and indicate later how to modify the arguments to include (1.10).
2. Boundedness of weak solutions We will use the notation of§3 of Chap. II. Thus Q (0, p) is the cylinder with 'vertex' at the origin. Its cross sections are the cubes Kp and its height is O. The cylinder [(xo, to) + Q (0, p)] has the 'vertex' at (xo, to) and is congruentto Q (0, p). With ( we denote a piecewise smooth non-negative cutoff function in Q (0, p) vanishing on the parabolic boundary of Q (0, p). THEOREM 2.1 (THE CASEp>2). Letubealocalweaksolutionof{l.1).and let p > 2. Then for all e E (0, 21 there exists a constant 'Y depending only upon N,p,mande. such thatfor every cylinder [(x o, to) + Q (O,p)1 C flT andforever
CTE(O,I).
(2.1)
sup [(zo,t o)+Q(u9,up»)
lui < -
'Y
(1 -
(Ojpp)IIE CT)(N+p)/E
(f!
+£dXdT) liE
lu IP - 2
(zo,to)+Q(9,p»)
A
(~);!J .
THEOREM 2.1 (THE CASE 1 < p < 2). Let u be a local weak solution of (1.1) for 1 < p < 2. Assume moreover that .
(2.2)
lui E L,oc (flT), r ~ 1 Ar -=N(P - 2) + rp > 0,
2. Boundedness of weak solutions 219
and that (1.9) holds. There exists a constant 'Y depending only upon N, p, m and r such that/or every cylinder [(xo, to) + Q (fJ, p)] c flT and/or every CTE (0, I),
(2.3)
2-(i). An auxiliary proposition The arguments are similar to the proof of local boundedness of solutions of a single equation and are based on local energy inequalities which we derive next. We set
lul=w.
(2.4)
PROPOSITION 2.1. Let u be a local weak solution 0/ the system (1.1) in nT, and let f(·} be a non-negative, bounded, Lipschitz function in R+. There exists a constant 'Y='Y(N,p, m}, such that
V(xo, to} E nT Vp, fJ > 0 such that [(xo, to) + Q (fJ, p)] C nT
(2.5)
! (1~f(8)d8)
sup
to-9~t~O
0
("(x, t}dx
(zo+K,.)
+ ! !IDwl"f(w)("dxdr + (zo,to)+Q(9,p»)
:5;
(zo,to)+Q(9,p»)
'Y !!w" f(w}ID(I"dxdr + 'Y!! (1~f(8)dS) (,,-l(t dxdr . (zo,to)+Q(9,p»)
PROOF:
!!IDUI,,-2IDwI2wf'(w)("dxdr
(:I!o,t o)+Q(9,p»)
The weak fonnulation (1.2) can be rewritten in tenns of Steklov aver-
ages,as (2.6)
!{! Ui,htpi + [IDul,,-2 DUi]h·Dtpi} dxdr = 0, Vh E (O,T), n
VO< t:5;T Since (2.6)'
h,
Vtpi E W~'''(n) n L2(n) i = 1,2, ... , m
/eUi,h E L?oA nT ), this implies ! Ui,h -
div
[lDul,,-2 DUi] h = 0
a.e. in
nT·
220 VID. Degenerate and singular parabolic systems Without loss of generality we may assume that (x o, to) coincides with the origin. In (2.6), take the testing function
We add over i obtain
= 1,2, ... , m and integrate in dt, over the interval -() $ t $ 0, to
j! f(t;/(3)ds) ,'dxdT -8
Kp
t
+ J J [lDulp-2Dudh·Dui,h!(luhl) (PdxdT -8K p
t
+ J J [IDU 1P- 2 a~l Ui,h] h Ui'hr~~IIUhl) U;,h a~l u;,h(PdxdT -8K p
t
= -p J
J [lDulp- 2DUi] h Ui,h! (luhD (p-l D( dxdT.
-8K p
We perform an integration by parts in the rust integral and then let h - t O. The various limits are justified since IDul E Lfoc(lh) and lui EC,oc (0, T; L~oc(l1T». This gives (2.7)
sup -8
J( Kp
10f~J(S)dS) (P(x, t)dx
+ J JIDulP !(w)(PdxdT + JJIDuIP-2IDwI2W!'(w)(PdxdT Q(8,p)
Q(8,p)
'$ PJfiDuIP-IW!(W)(P-IID(ldxdT + p !!(1wS!(S)dS) (P-l(t dxdT. Q(8,p)
Q(8,p)
By Young's inequality for every 1] > 0
! !IDuIP-1w!(w)(P-1ID(1 dxdT Q(8,p)
$ 1]
!!IDuIP !(w)(PdxdT
Q(8,p)
+ -Y(1]) J J wP !(w)ID(IPdxdT. Q(8,p)
Next by Schwartz inequality
2. Boundedness of weak solutions 221 N
IDwl2
m
= w- 2L
(Ul Ul,z;) 2
$
W- 2
;=1
Therefore sition.
N
m
L U~ L L U~,z; == IDuI l=1
2•
;=1 l=1
IDulP ~ IDwI P • Combining these estimates in (2.7) proves the propo-
COROLLARY 2.1. The integral inequality (2.5) continues to hold for non-negative, non-decreasing Junctions f in R +, satisfying
forall k > 0,
sup /'(8) <00, O~s~k
provided (2.8) PROOF:
°
Fix k> and write (2.5) for the truncated functions
/(s) fk(S) == { f(k)
forO$s$k
s
for
~
k.
Letting k -+ 00 gives (2.5) for such an f. The limit of the various terms on the left hand side follows from Fatou's Lemma and the limit of the terms on the right hand side is justified by virtue of (2.8).
2-(ii). Proof of Theorems 2.1 The starting point is the energy estimate (2.5) where we assume. up to a translation, that (xo, to) coincides with the origin. Fix uE (0,1) and consider the family of nested cylinders Qn ==Q (6n , Pn). where Pn (2.9)
= up + (1;: u) p,
{
6n = u6 +
n
= 0, 1,2 ... ,
(1 _ u) 2n 6.
It follows from the definition that (2.10)
Qo = Q (6, p)
and
Qoo = Q (u6 up) .
Consider also the family of boxes (2.11)
where forn=O, 1,2, ... (2.12)
_ { Pn
=
Pn
+ Pn+l 2
= up+
8 = 6n + 6n+l = n
2
u
6
+
3(1 - u) 2n+2 p, 3(1 - u) 6 2n +2 •
222 VIll. Degenerate and singular parabolic systems
For these boxes we have the inclusion Qn+l C
Qn
n =
C Qn
0,1,2, ....
Introduce the sequence of increasing levels k kn = k -2n
(2.13)
where k is a positive number to be chosen. We will work with the inequalities (2.5) written for the functions (u - kn+l) +, over the boxes Qn. The cutoff function (n is taken to satisfy (n vanis~es ~n the parabolic boundary of Qn { (n
(2.14)
== 1 m Qn
2n +2 2n +2 ID(nl ~ (1 _ (1)p' 0 ~ (n,t ~ (1 - (1)6.
Set if (8 - kn+l) ~ e if 0 < (8 - kn+l) < e if (8 - kn+d ~ 0,
(2.15)
and as a function few) take f~ [(w - kn+l)+]. We put these choices in (2.5) and neglect the non-negative term involving IDul p - 2 since f;(8) ~ O. Letting e - 0 we obtain
We estimate the two integrals on the right hand side as in (7.2)-(7.5) of Chap. V. This gives the inequalities (2.16)
sup
j(W-kn+d!(x,t)dx+ ffID(w-kn+1)+IPdxdT
JQ..J
-8..
~ (1'Y~n;)p (PPkI6 _
p
+ 6k!-2) ff(w -
kn)~ dxdT,
Q..
valid for all 6 ~ max {Pi 2}. If P > 2, the proof is now concluded as in the proof of Theorem 4.1 in §12 of Chap. V. If 1 < P < 2, we may take 6 = r in (2.16) and
3. Weak differentiability of IDulEy! Du and energy estimates for IDul 223
obtain the analog of the recursive integral inequalities (10.3) of Chap. V. The proof of Theorem 2.1 for the singular case 1 < p < 2 is now concluded as in the proof of Theorem 5.1 in §16 of Chap. V.
3. Weak differentiability of IDuI P;2 Du and energy estimates for IDul The main tool in investigating the local behaviour of the of the space-gradient of the solutions of (1.1) are certain local energy estimates for Ui,zj' These are derived by first differentiating' (1.1) and then by taking testing functions roughly speaking of the type ipi = Ui,zj f(lDul), I
up to some localising cutoff function. Here f(·) is a non-negative Lipschitz function in R+. In this section we discuss a rigorous way of carrying the indicated calculations. PROPOSITION 3.1 (THE DEGENERATE CASE p> 2). Let u be a local weak solution in fiT of the degenerate system (1.1). Then IDul2j!Ui,z;
EL1oc(o, Tj W1!;;(fi») , i=I,2, ... ,m, j=l, 2, ... , N,
and there exists a constant 'Y='Y(N,p), such that
j jIDuIP-2ID2UI2dxdT
(3.1)
[(zo,to)+Q(119,l1p)]
$ (I..? 0")2 [p-2 + 0-1J j
J
(1+IDulfI) dxdT
[(zo,t o)+Q(9,p)]
where
m
ID 2 ul 2
==
N
LL
u~,z;z.·
i=1 j,k=1
Moreover (3.2)
Ui,zj
ECloc(O, Tj L1oc(n)) , i=l, 2, ... , m, j= 1, 2, ... , N.
PROPOSITION 3.1 (THE SINGULAR CASE 1 < p < 2). Let u be a local weak solution of the singular system (1.1) in fiT and let the approximation assumption (1.9) hold. Then
224
vm. Degenerate and singular parabolic systems 2 r. 12 ~ . . IDul E.jl Ui,ZjELloc\O.TjWlo'c{fl);. '=1.2 •...• m. J=1.2 •...• N,
and there exists a constant 'Y='Y(N.p), such that
IIIDuIP-2ID2uI2dxdr
(3.3)
[(zo ,to )+Q( 178,17 p»)
.?0')2 [p-2 + 0- 2] (1 + M;) 11(1 + IDulP) dxdr.
:5 (1
[(zo,t o )+Q(8,p»)
where
Moreover Ui,z, E Lfoc
(0. Tj w,!;:(n)) .
and there exists a constant 'Y ='Y( N. p) such that
(3.4)
IIID
2 u 1P dxdr
[(Zo ,to )+Q( 0'8,0' p l)
:5 (1
.?O')p [p-P + O-P] (1 + M:) 11(1 + IDuIP) dxdr. [(zo,to )+Q(8,p»)
Finally (3.5)
Ui,z, EC1oc(O.T;L?oC
This local regularity pennits to derive local energy estimates for Du. To simplify the symbolism we set (3.6)
v=IDul·
Given a cylinder [(x o• to) + Q (0. p)] C flT we let' denote a non-negative piecewise smooth cutoff function in [(x o• to) + Q (9. p)] that vanishes on the boundary ofthe cube [xo + K p]. In particular we are not requiring in general that , vanishes for t=to-O.
3. Weak differentiability of IDul ~ Du and energy estimates for IDul 225 PROPOSITION 3.2 (LOCAL ENERGY ESTIMATES). Let u be a local weak solution of (1.1) for p > 1. 1n the singular case 1 < p < 2 assume in addition that the approximation assumption (1.9) be in force. Let also / (.) denote anon-negative, nOR-decreasing Lipschitz function in R +. There exists a constant 'Y ='Y( N, p) such that
(3.7)
't/ (xo, to) E nT, 't/ [(Xo, to)
!(
sup
+ Q (9, p)] c
r:/(S)dS) (2 (X, t)dx
to-9~t~O [zo+K~)Jo
+
!I
t
II
t
II
9 0-
vP- 1 1Dv 12 /,(v)(2dxdT
[(zo,t o )+Q(9,p»)
[(zo,to)+Q(9,p»)
$ 'Y
II
vP- 21D2u1 2/(v)(2dxdT +
+ (p - 2)
nT
t
vP-3IDv.DuiI2/'(v)(2dxdT
1=1 [(zo,t o )+Q(9,p»)
vI' /(v)ID(1 2 dxdT + 'Y
[(Zo,to)+Q(9,p»)
!I
(l:/(s)dS)
"t
dxdT .
[(Zo,to)+Q(9,p»)
COROLLARY 3.1. The integral inequalities (3.7) continue to holdfor non-negative, non-decreasing functions / in R + , satisfying
sup /,(s)
<00,
forall k > 0,
O~.~k
provided
(3.8) PROOF: Analogous to that of Corollary 2.1.
3-(i). Taking discrete derivatives of (1.1) For a function FE Lfoc(nT) and T/ER\{O}. we introduce the discrete derivative with respect to the Xj variable
CjF(x,t)==T/-l{F (Xl, ... ,X;
+ 11, .. . ,xN)-F(Xb'"
,X;, .. "XN)}'
This is defined for
x E nl'll == {x En I dist(x, an) > IT/I} , where we let 1111 be so small that nl'll is not empty. We also let discrete gradient of F ,i.e.,
cF denote the
226
vm. Degenerate and singular parabolic systems
The discrete derivative of (2.6)', with respect to Xj, takes the fonn
~6 at '·U· h -
(3.9)
div [6, ·IDuI P - 2 Du·] I h
I,
i = 1,2, ... ,m,
= 0'
a.e. 0 1'71 x (O,T - h).
In transforming the term [6j IDulp-2Dui], we only specify the Xj variable for simplicity of symbolism. We have
(3.10)
6j lDulp-2 DUi 1
=~! d~ {luDu(Xj +,,) + (1 - U)DU(Xj)r-
2
o x (UDUi(Xj
!
+ 71) + (1- U)DUi(Xj»)}du
1
= D6jUi
luDu(Xj + 71) + (1 - u)DU(Xj)I P - 2 du
o
1
+(p - 2)6jUl,Z.!luDu(Xj + 71) + (1- u)DU(Xj)I P - 4 o x (UUl,Z/c(Xj
+ 71) + (1- U)UI,z/c(Xj»)
x (UDUi(Xj
+,,) + (1- u)DUi(Xj»)du.
To simplify the symbolism we let ~P) (u) denote the N-dimensional vector
~P)(u)
= UDUi(Xj + 71) + (1- U)DUi(Xj)
and let ~ (j) (u) be the N x m matrix
~(j)(u)
=uDu(xj +,,) + (1 - u)Du(xj).
Having fixed the point (xo, to) E OT, if!(xo, to) + Q (9, p)] c OT we may assume, up to a translation, that (xo, to) coincides with the origin, and then by choosing 1711 and h sufficiently small we may assume that Q (9, p) c 0 1'71 x (0, T - h). We multiply (3.9) by the testing function
where, is a standard non-negative cutoff function that vanishes on the boundary of K p' We integrate over ( -9, t) for arbitrary -9 < t ~ 0, and add over i = 1, 2, ... , m and j = 1, 2, ... , N. This gives
3. Weak differentiability of IDul~ Du and energy estimates for IDul 227
/.(t..;/(S)u)
,'(.,t)dz
~.
t
+I
I [CjIDul,,-2 DUi] h . DCjUi,hl (lc5uhl) (2dxdr
-9K p t
I [c5j IDul,,-2 DUi]h ·c5j Ui,hDI (lc5uhl) (2dxdr
+I
-9Kp t
= -2 I
I [c5j IDul,,-2 DUi] h·c5jUi,hl (lc5uhl) (D( dxdr
-9Kp
In this equality we first let h'--+ 0, while I'll > 0 remains fixed. The various limits are justified since IDul eLfoc(nT) and ueC,oc (0, T;Lfoc(n»). Making use also of (3.10) we obtain sup
(3.11)
I Jor (
16 1 U
)
sl(s) ds (2(x, t) dx
-9
+
t -
9
II (foia(j) (u)I,,-2dtr ) ID6j U l2/ (16ul)(2dxdr Q(9,p)
+(p - 2) II (folla(j)(U)I,,-4Ia(j)(U).Dc5jUI2dtr) I (16ul) (2dxdr Q(9,p)
+
II (foia(j) (u)I,,-2du ) IDI6ufl6uIl' (l6ul) (2dxdr Q(9.p)
+(p - 2)
II (foia(j)(u)I"-4a(j)(U).D6jUa~j)(U)6jUidU)
Q(9,p)
x D16ulf' (l6ul) (2dxdr
~ 2(P -
1) II (foia(j) (u)I,,-2dtr ) IDc5j UIIc5u l I (16ul) (ID(ldxdr Q(9.p)
+2
II(foI6~1/(S)dS) "tdxdr. Q(9.p)
228 VID. Degenerate and singular parabolic systems
First we observe that the sum of the fmt two integrals over Q «(J, p) on the left hand side, is bounded below by
ff
min{Ij (P -I)}
(foiJ1(;) (U)I P- 2d,q) ID6;u1 2f (16ul) (2dxdr.
Q(9,p)
If p > 2, this is obtained by discarding the coefficient (p - 2). If 1< P < 2, we estimate below
(p - 2)
ff
(111J1(;)(U)IP-41J1(;)(U).D6;uI2 d,q ) f (16ul) (2dxdr
Q(9,p)
2! (p - 2)
ff (Li
J1 (j) (u)IP-2d,q ) ID6;ur f (l6ul) (2dxdr.
Q(8,p)
Next by Young's inequality, for all e > 0,
ff (l ff + ff
iJ1 (j) (u)IP-2d,q ) ID6;u116ul f (l6ul) (ID(I dxdr
Q(8,p)
(liJ1(;) (u) IP-2d,q) ID6;u1 2f (l6ul) (2dxdr
$ e
Q(9,p)
'YE
( liJ1(;) (u)I P- 2d,q) 16ul 2f (l6ul) ID(1 2dxdr.
Q(9,p)
These remarks in (3.11) give the integral inequality involving discrete derivatives
3. Weak differentiability of IDul1j! Du and energy estimates for IDul 229
sup
(3.12)
I(10fI6~f(s)
dS) (2(x, t) dx
-9
II (liil
+ [min{I; (p -I)} - e)
t
-
9
(j) (a)IP-2d,q)
Q(9,p)
x ID6jUl2 f (16ul) (2dxd-r
II (liil II (liil
+
(i) (a)IP-2d,q )
IDl6ufl6ulf' (l6ul) (2dxd-r
Q(9,p)
+(p - 2)
(j) (a)IP-4
(il(i)(a).D6j
u) .1~j)(a)6jUid,q)
Q(9,p)
5')'
II (li JJ (l"'1
x DI6ull' (16ul) (2dxd-r
.1(i) (a)IP-2d,q)
16ul 2f (16ul) ID(1 2dxd-r
Q(9,p)
+7
f (8)d}C, dxd7,
Q(9,p)
for a constant ,),=,),(p, e).
3-(ii). Weak differentiability oflDullj!ui,zi In (3.12) take f == 1 and select a cutoff function that vanishes on the parabolic boundary of Q(0, pl. In particular, (., -0) = O. We discard the first tenn and observe that the integrand in the remaining integral on the right hand side is nonnegative. Therefore letting" - 0 with the aid of Patou's Lemma gives
(3.13)
II
vP-2ID2UI2,2dxd-r 5 ')'
Q~~
II
(vPID(/2
+ v2((t) dxd-r
~~~
for a constant')' = ')'(P). If p > 2, the inequality (3.1) follows from (3.13) by choosing (, a cutoff function that equals one on Q (aO, a p) and such that
1
ID(/5 (1 -
alp'
1
05 (t 5 (1- a)O·
To prove (3.3) for the singular case, we transfonn the last integral in (3.13) by means of an integration by parts as follows.
230
vm. Degenerate and singular parabolic systems IIv 2CdxdT = II Du.Duv1!j! v!TCdxdT Q(9,p)
Q(9,p)
= II UiD [v2:f1 DUi] v!T CdxdT Q(9,p)
+
II UiVEj! DUiDv!jR CdxdT Q(9,p)
+
II UiVEj! DUiv!jR DC dxdT Q(9,p)
~'Yllulloo,Q(9,p) II (vP-2ID2uI2C2) t v!jR dxdT Q(9,p)
+'Yll u ll oo,Q(9,p)
I I (I + IDuI P) IDCI dxdT. Q(9,p)
Finally (3.4) follows from (3.3) and RUder inequality, since
lfiD2ulPdxdT = II(vP-2ID2uI2)P/2v~dxdT. Q(9,p)
Q(9,p)
Since v1!j! ID 2uI E L~oc(nT). the energy inequality (3.7) follows from (3.12) by letting '1--+0.
3-(iv). Continuity of Ui,:I:;(t) in L~oc(n) and energy estimates By virtue of (3.1) and (3.3) the system in (1.1) can be written in the differentiated fonn (3.14)
!!.U· = 0 in 1J'(flT)' &t 1,:1:; - div (IDuIP-2 Duo) 1 :t&; i = 1,2, ... ,N, j = 1,2, ... ,m.
Moreover (3.12) implies that (3.15) These two facts imply that t --+ Ui,:t&; (t) is weakly continuous in L~oc(n). Indeed let cP E L2 (K p) and let {'Pn} be a sequence of functions in C~ (Kp) such that
IIcp -
'Pnll2,Kp
--+
0
as n
--+ 00.
Taking CPn as a testing function in (3.14) and integrating over Kp x (tl, t2) gives
4. Boundedness of IDul. Qualitative estimates 231 t3
j [Ui,z;(t2) - ui,z;(td] cp,.dx j j (IDul,,-2Dui) Dcp,.,z;dxdr =
Kp
tlKp
for almost all -0 < tt
< t2 $ O. Therefore
lim sup j[Ui,Zj (t2) - Ui,zj (tt)] cp,. dx It 3- t d-..o
= O.
Kp
From this and (3.15)
I
lim sup j[Ui,Zj(t2) - Ui,Zj(tt)] CPdxl It 3- t d-..o
Kp
j
$ limsup [Ui,Zj(t2) - Ui,zj(td] cp,.dx It 3- t lf-
+2
sup -8~t~O
lIui,z; 112,Kp(t)IIcp - cp,.II2,Kp.
To prove that Ui,z; is strongly continuous in L~oc({J) it suffices to prove that (3.16)
limsup (IIUi,z;(1I2,Kp(t2) -IIUi,z;(1I2,Kp(td) -.0, It 2- t lf-
where (is a piecewise smooth cutofffunctions in Kp vanishing on oKp. In (3.14) take the testing function and integrate over Kp x (tl' t2). By calculations similar to those leading to (3.12) we obtain
IKpf [.'(") -.'('1)I "
4. Boundedness of IDul. Qualitative estimates Using the weak differentiability of IDul¥Ui,z; we first prove that IDul is in Lroc (fh) for all q ~ 1. If K.o C K.I are compact subsets of fh, we will show that the norm IIDullq,K: o is bounded only in terms of q,dist{K.o;K.tl and the norm
232
vm. Degenerate and singular parabolic systems
IIDullp,K:l. We will do this in a qualitative way and with no precise specification of the functional dependence. We will use such qualitative infonnation to prove still qualitatively that /Du/ E Ll:c {!1T ), with bounds only dependent on local V-nonns of /Du/. Finally, in the next section, we will tum such qualitative infonnation into precise quantitative estimates of IIDulloo,K: o over compact subsets lCoc{h. LEMMA 4.1. Let u be a local weak solution of(1.1). Moreover in the singular case 1 < p < 2 let the approximation assumption (1.9) be in force. Then
/Du/
E Lloc{{h),
forevery q E [1,00).
PROOF: Consider first the degenerate case p > 2. Let Q (6, p) c {h and let ( be a standard non-negative cutoff function vanishing on the parabolic boundary of Q (6, p). Thus, in particular, (., -6) =0. In (3.7), take J(v) =vP, where P?O is to be chosen. Proceeding fonnally we obtain
(4.1)
sup Iv +pe (x, t)dx $ 'Y jrJf (1 + vP+ 2
-9
Q(9,p)
Kp .
o
(4.2)
lt ) dxdr
IIIDv£¥r
II (1 + vP+
dxdr $ 'Y
-9K p
P) dxdT,
Q(9,p)
where 'Y = 'Y (N,p, p, (t, D(). These are rigorous if the right hand side is finite. We apply the embedding Theorem 2.1 of Chap. I to the functions
x
-+
(v£¥()
(x, t),
a.e. t E (-6,0),
over the cubes Kp. It suffices to consider the case N > 2. Indeed if N = 1, 2, we may consider u as a vector field defmed in RN N ? 3, up to a localisation, and deduce inequalities (4.1 )-(4.2) for it. Let 6 be a positive number to be chosen. Then by Corollary 2.1 of Chap. I and HOlder's inequality
We integrate over (-6,0), to obtain
4. Boundedness of IDuI. Qualitative estimates 233
JJIv.'¥ 'I'dzdT C:~r
1N
JJ....•..
"dzdT $
Q(8.p)
Q(8.p)
- - Kp
Choosing 6 = 2¥1 and combining this with (4.1)-(4.2) gives the recursive inequalities
I I tr.8~+i (2dxdr :5 'Y
(4.3)
Q(8.p)
11(1 +
vJ'+.8) dxdr,
Q(8.p)
o.
for a constant 'Y = 'Y(N,p,/3,(t,D(). The right hand side is finite for /3 = Therefore IDul E Lr;4/N ({IT). We may now again apply (4.3) with /3 =4/N and proceed in this fashion to prove the lemma. We now tum to the singular case 1 < p < 2. In (3.7) assume that (x o, to) == (0,0) and choose a cutoff function ( that vanishes on the parabolic boundary of Q «(J, p). Take also f (v) = v.8, where /3 ~ 0 is to be chosen. By working with the approximations claimed by (1.9) we will use the qualitative infonnation that IDul E L~oc(nT). Our estimates however will be only in tenns of IIDull".Q(8.p). Proceeding fonnally we obtain from (3.7)
(4.4)
Illvl!.±f=.! D
2U(r dxdr :5 -y {
Q(8.p)
II tr.8dxdr + II V2+.8(dxdr} , Q(8.p)
Q(8.p)
where -y=-y (N,p, {3, (t, D(). Also by a fonnal integration by parts
/lv.8+ 2 (dxdr = //V~+f-2 Du.DuvP+~-P(dxdr Q(8.p)
Q(8.p)
= IluD(V~DU) v~(dxdr Q(8.p)
+ //
u vP.±f=! Du Dv~ ( dxdr
Q(8.p)
+ II u vP.±f=! Du v~ D( dxdr Q(8.p)
:5 'Yllulloo.Q(8.p) / /l v l!.±f=3 D2ul( v~ dxdr Q(8.p)
+ 'Yll u lloo.Q(8.p) II v.8+1 dxdr. Q(8.p)
We combine this with (4.4) and make use of the Schwartz inequality to arrive at
vm. Degenerate and singular parabolic systems
234 (4.5)
JJ
v P+2(dxdT
~ 'Y
Q(6,p)
J/ (1 +
vf3+(2-p)
+ vf3+l) dxdT,
Q(6,p)
for a constant 'Y='Y (N,p, {j, (t, D(, lIulloo,Q(6,p») .
This inequality is indeed rigorous as long as the right hand side is fmite. We apply it fIrSt with (j =p-l to deduce that IDul E L~l (nT ). with bounds only dependent on II Dullp,Q(fI,p) . Then we apply it again with {j =p to deduce that IDul E L~2 (nT ). Proceeding this way proves the lemma.
, LEMMA 4.2. Let u be a local weak solution of(1.1). Moreover in the singular case 1 < p < 2 let the approximation assumption (1.9) be in force. Then
PROOF: Consider first the degenerate case p> 2. Let Q (6, p) c nT and let Qn and Qn be the family of cylinders introduced in (2.9)-(2.12). Let also kn and (n
be respectively the increasing levels defined in (2.13) and the cutoff functions in Qn introduced in (2.14). We put these choices in the energy estimates (3.7) and as a function f (v) take f(v) :: (v - kn+l)r 2 • By virtue of Lemma 4.1 and Corollary 3.1. such a choice is admissible. The tenn involving D 2 u is estimated below by
II
~ (~)P-'l/ID (v -
v"- 2 ID2 uI 2 f(v)(2dxdT
Qn
kn+l)!
12(!dxdT.
On
1bese choices yield the inequalities (4.6)
-fl:{:~O
/[(v-knH )l(n]\x,t)dx KPn
//ID
+ kP - 2
[(v - kn+1)l
(n]12 dxdT
Qn
~
(12!;2p2
JJ,,2(P-l)'X,[(V - k +l)+>0] dxdT n
On
for a constant 'Y='Y(N,p). To simplify the symbolism let us set (4.7)
Yn ::
/1("-kn)~dXdT. Qn
4. Bc..undedness of IDul. Qualitative estimates 235
Then we have(l) (4.8)
/ / X[(v - kn+l)+> 0] dxdr
~ 'Y 2k7
Qn
/ / (v -
kn)~ dxdr
Qn
== 'Y2np k -p Yn. By Proposition 3.1 of Chap. I with m=p - 2 and q= 2(N + 2)/N. (4.9)
Yn+1
~/
/[(V - kn+d,:/2
(nr
dxdr
Qn
$
(tfi(-- (.]'''# dxdT) (if>IJ- - oJ dxdT) k.H
w'h
)'."
"-+1)+>
x
~ (1'Y~:)2 k-~Yn~ {p-2 / /V2(P-I)x[(V -
.to
kn+l)+>O] dxdr
Qn
+ (J-I //vPX[(v -
kn+l)+> 0] dxdr} I
Qn
where.\2 == N(P - 2) + 2p. These are the key recursive inequalities needed to derive a quantitative sup-bound for IDul. We will use them first in a qualitative way as follows. First let A denote a lump constant depending upon (J I (I, P and the quantities IIDuIl2,Q(B,p)
II Dullq,Q(B,p)
q
= (N + 2)(P -
Then we estimate
/ / v 2(p-I)X[(v - kn+l)+>O] dxdr Qn
= / / vwhvP~x[(v -
kn+d+> 0] dxdr
Qn
(I) See §7-(i) of Chap. V and, in particular, estimate (7.2).
2) + p.
236 VIll. Degenerate and singular parabolic systems
We have also(1)
II
(4.10)
vPX[(v - kn+d+>O] dxdT
~ -y2np Yn·
Q..
Therefore
II
v 2(P-1)x[(v - kn+1)+> 0] dxdT
~ A2npYn~.
Q..
1bese remarks in (4.9) give the recursive inequalities
Yn+1
~ A k-m bny;+wh ,
n
= 1,2, ... ,
b = 4"+1
where we have also used the choice k ~ 1 and the inequality y;+wh ~ A y1+wh.
It follows from Lemma 4.1 of Chap. I that Yn -+ 0 as n -+ 00 if Yo = (Ak- m ) -(N+2) b-(N+2)2.
1berefore IIDulloo,Q(a9,ap) ~ max{l; k}
~ 1 + A¥b(N+2)2/ p IIDullp,Q(9,p). We now tum to the singular case 1 < p < 2. The starting point is still the energy estimate (3.7) where we choose Qn, Qn, (n and the levels kn as before. As a function 1(·) we take if r > 2 if r where
= 2,
Ie (.) is the Lipschitz approximation to the Heaviside graph, introduced in
(2.15). After we let e -+ 0, the first term on the left hand side is bounded below for all t E ( -fJ, 0) by the quantity
f(l
K
p"
tJ
s2- p s (s - kn +1r- 2 dS) (!(x, t)dx k"+! +
~ r~1 (~r-Pf[(V-kn+1)12(nr dx. K p"
(1) See for example estimate (7.5) of Chap. V.
4. Boundedness of IDul. Qualitative estimates 237 The term involving D 2 u is estimated below by
IIID2U l2 (v - kn+1)~-2 x[(v - kn +1)+>O] (~dxdr Qn
~ r~ IIID (v -
kn+d12
Qn
r(~dxdr.
Combining these estimates in (3.7) we arrive at (4.11)
k 2- p sup
I [(v - kn+1>12 (n(x,
-9
t)] 2 dx
- - K"n
+ IIID (v -
kn+1)1 2
(n1 2dxdr
Qn
where 'Y='Y(N,p, r). To simplify the symbolism we set (4.12)
Sn=
JI(v-kn)~dxdr, Qn
and combine (4.11) with the embedding of Proposition 3.1 of Chap. I. with m = p=2 and q=2(N + 2)/N. This gives (4.13)
'Y 2(r+2)n 2 (2N"~+r wh Sn+1 ~ (1-0')2 k+ Sn + X
{p-2 Ilvrx[(v - kn+d+> 0] dxdr Qn
+ 6- 1 I I v r+(2- p )x[(v - kn +1)+>O] dxdr} , Qn
where we have used a version of (4.8). These are the key inequalities needed to derive a quantitative bound of IDul in the singular case 1 < p < 2. As before. we will use them fIrst in a qualitative way. We choose k ~ 1 and let A denote a lump constant depending upon p, 6, 0' and the norms
II vIl2,Q(9,p) , IIvll q,Q(9,p) , Then we estimate
q=(N + 2)(2 - p)
+ r.
238
vm. Degenente and singular parabolic systems
ff
l1r+{2- p)X[(v - kn+d+>0] dxdr
Q..
= f/11(2-p)+m l1r~x[(V -
kn+l)+>O] dxdr
Q..
~
$
(IfoftdxdT) (If
v',f.(v -
~,)+>ol dxttr)
~
In deriving the last inequality we have used a version of (4.10). These estimates in (4.13) yield the recursive inequalities Sn+l
S!+~ ~ A S!+rtr . The proof is now concluded as in the degenerate case.
5. Quantitative sup-bounds of \Du\ THEOREM 5.1 (THE CASEp>2). Letubealocalweaksolutionofthedegenerate system (1.1). There exists a constant 'Y='Y(N,p) such that
V(xo,to)eflr, V[(x o,to)+Q(9,p)]cflr, Vo-E(O,l),
(5.1)
.
sup
[(zo.to)+Q{ ...8 ....p»)
IDul
~
(
()~ ff IDul dxdr
'YV(9/p2) 1-
0-
I'
)(N+2)/2
(zo.to )+Q(8.p»)
(p2)i6 .
"9
THEOREM 5.2 (THE SINGULAR CASE 1 < p < 2). Let u be a local weak solution of the singular system (1.1) and let the approximation assumption (1.9) be inforce. Moreover let r ~ 2 satisfy
(5.2)
Vr
== N(P -
2) + 2r >
o.
Then there exists a constant 'Y='Y(N,p, r) such that
5. Quantitative sup-bounds of IDul 239
(5.3)
Remark 5.1. The constant -y(N,p, r) in (5.3) tends to infinity as vr-O.
5-(i). Proof of Theorem 5.1 We start from the recursive inequalities (4.9) and estimate the first integral on the right hand side as follows:
//v 2(P-l)X[(v - k n +1 )+> 0] dxdr Q..
~ (s~~v) 2-'lJv"X[(V - kn +1)+> 0] dxdr Q..
~ 2 (s~~ v) 2-jJ( v - kn)~ dxdr. n"
Q..
Therefore (4.9) yields (5.4)
Yn +1 ~ (1 ~b:)2 k--ih
{(s~~vr-2 p-2+(r Y~+~, 1}
b=4".
If for some n= 0,1,2, ... we have
there is nothing to prove. Otherwise we rewrite (5.4) as Yn +1 ~
-ybn ( 2 sup v [(1 - u)p] Q(9,p)
)"-2 _~ k
N+2
l+~ .
Yn
It follows from Lemma 4.1 of Chap. I that {Yn } neN - 0 as n -
00,
if k is chosen
from
(N+2)/2 k>'2/ 2
== ( 'Y b(N+2)/2) 2 [(1 - u)p]
(N+2~(p-2)
( ) sup v Q(',p)
JrJrv"dxdr.
Q(',p)
240
vrn. Degenerate and singular parabolic systems
We conclude that there exists a constant ,,(=,,((N,p) such that 1-4/>'2
sup
(5.5)
V
Q(a9,ap)
< -
(
"(
[(1 - 0")p]2(N+2)/>'2
sup v
)
Q(9,p) 2/>'2
IIv"dxdr
)
( X
Q(9,p)
If 0" E (0,1) is fixed, consider the family of boxes
==
Q(n)
Q (On, Pn), where
Po == O"p and for n= 1, 2, ... n
n
Pn
= O"P+ (1- O")p LTi
On
= 0"0 + (1 - 0")0
L 2-
i•
i=l
i=1
By construction, Q(O)
== Q (0"0, O"p)
Set
Mn and write (5.5) for the pair of boxes
and
Q(oo)
== Q (0, p) .
= esssupv Q(n) Q(n)
and
Q(n+1).
This gives
(5.6) where ,,(>'2/ 4
B ==
[(1 - 0")p](N+2)/2
(ffv"dxdr)
1/2
'
d= 2(N+2)/2.
Q(9,p)
The proof is now concluded by the interpolation Lemma 4.3 of Chap. I.
5-(ii). Proof of Theorem 5.2 We start from the recursive inequalities (4.13) and estimate
IIvr+(2- )x[(V - kn+d+> 0] dxdr 1'
Qn
~ (~.:v) 2-1'If vrx[(v - kn+d+>O] dxdr Qn
~ 2 (~.:v nr
r-"
Sn.
5. Quantitative sup-bounds of IDul 241 We may assume that 2 sup Qn v -
p
> - !!... p2'
tior all n = 0 , 1 , 2 , ....
Otherwise there is nothing to prove. Taking this into account, we rewrite (4.13) as
(sUPQ(8,p) v )2-P Sl+wh
'Ybn k"Nh(r+2-p) (1 _ 0-)2
<
S
n+l -
(J
n
where b = 4r+l. By an argument analogous to that in the degenerate case, this implies
sup
v<
Q(
-
(5.7)
'Y (1 - 0') r~t!p
SUP (
Q(8,p)
V2-P) ---.l!.±L 2(,+2-p)
(J 1!(r+2-p) )
(
jjvrdXdT
X
Q(8,p)
The proof is now concluded with an interpolation process as in the degenerate case. This is possible if the power of the term sUPQ(8,p) von the right hand side of (5.7) is less than one. Since
(2 - p)(N + 2) 2(r + 2 - p)
=1 _
Vr , 2(r + 2 - p)
this occurs if (5.2) holds. We also remark that the interpolation process applied to (5.7) generates a dependence of the type of l/vr in the constant 'Y(N,p, r) appearing in (5.3).
5-(iii). Interpolation inequalities The inequality of Theorem 5.1 can be interpolated. For example consider (5.1) for (xo, to) == (0, 0) and rewrite it as
sup Q(
v
< -
'Y ..[(iTiJ)
(1 - 0')(N+2)!2
(sup Q(8,p)
v) ~
(n
Vp-2H dXdT)1!2
Q(8,p) ....1....
A( ~y-3
Such an inequality can be interpolated as long as e E (0, 2] and proves the following:
242
vm. Degenerate and singular parabolic systems
THEOREM 5.1' (THE CASE P > 2). Let u be a local weak solution of the degenerate system (1.1). Then for every E E (0,2]. there exists a constant 'Y = 'Y(N,p,E) such that
V(xo, to) E nT,
v [(x o, to) + Q (8, p)] c nT, Vq E (0,1),
(8/,r) l/~
'Y
(5.8)
sup
[(zo,t o)+Q(1J'9,lJ'p»)
IDul $ (
1-
)(N+2)/~ q
(
H
00
dxdT
)
[(zo,to)+Q(9,p»)
A
Remark 5.1. The constant 'Y = 'Y( N, p, E) /
,,-2+~
IDul
l/~
( ,r)~ 8 .
as E '\. O.
Also, (5.3) can be interpolated. We rewrite it for (xo, t o):= (0, 0) and in the fonn
sup
Q(1J'9,lJ'p)
V
<
-
'Y
(,r /8) N/vr
(1- q)2(N+2)/vr
sup
!t!:.=.U "r ( V
(Q(9,P) )
H
vqdxdT
)2/
Vr
Q(9,p)
A
This can be interpolated as long as qE (0, r] satisfies (5.9)
IIq
(!..)"!; p2 .
2(::q) < 1. This occurs if
:=N(p - 2) + 2q > O.
The interpolation process gives THEOREM 5.2' (THE SINGULAR CASE 1 < p < 2). Let u be a local weak solution of the singular system (1.1) and let the approximation assumption (1.9) be in force. Moreover let r ~ 2 satisfy (5.2). Then for every q E (0, r] satisfying (5.9) there exists a constant 'Y='Y(N,p, r, q) such that
(5.10)
Remark 5.3. The constant 'Y(N,p, r, q) in (5.10) tends to infinity as IIq -0.
6. General structures 243
Remark 5.4. Estimate (5.10) is fonnally equivalent to (5.3). the only difference being that q is not required to be larger or equal to 2. The only condition is that (5.9) be verified. In particular. (5.10) holds for q=p provided 2N p> N +2'
(5.11)
ID2Ul EL~oc(nT)' From (3.3). for every [(zo, to) + Q (8, p)] c nT.
COROLLARY PROOF:
5.1.
Let 1
! !I D2U I2dxdT = !!IDuI2-PIDUIP-2ID2UI2dxdT [(zo,to)+Q(9,p»)
:::;
[(zo,t o)+Q(9,p»)
sup [(zo,to)+Q(B,p»)
IDu1 2-p !!IDUIP-2ID2UI2dxdT < 00. [(zo,to)+Q(B,p»)
6. General structures Let U be a local weak solution of the non-linear system (1.10) subject to the structure conditions (81 )-(86 ), The local boundedness of U can be established as in the proof of Theorem 2.1. The main modification occurs in the handling of the 'perturbation terms' l(Ji, i = 0, 1, 2. These contribute to the energy inequalities (2.5) with an extra tenn of the type
! !{1(J0 (I(w) + wl'(w» + (1(J1ID(1 + 1(J2) wl(w)} dxdT. [(zo,to)+Q(B,p»)
Given the choice (2.15) of 1(,). these tenns are estimated as in the sup-bounds established in Chap.V for general equations. (1) The weak differentiability of the tenn IDulp-2 Du follows from the structure conditions (81 )-(82), We proceed as before by working first with the discrete derivatives. All the tenns involving the 'derivatives' 6j Ui,zc' are dominated by the tenns arising from the right hand side of (~). (2) Following the same process of §3 yields local energy estimates similar to (3.7) with constants 'Y ='Y( N, p, Co, C1 ) and with the right hand side augmented by the extra integral
! !{1(J0 (I(v) + vI' (v» + (1(J1ID(1 + 1(J2) vl(v)} dxdT. [(zo,to)+Q(B,p»)
(1) See for example Theorem 3.1 of Chap. V and its proof. (2) See also Remark 1.1.
244
vm. Degenerate and singular parabolic systems
These energy estimates imply that IDul E L~(nT) be the same iterative techniques of §4. The 'perturbation terms' are dealt with as in Chap. V.
7. Bibliographical notes In the case of a single equation the estimate (1.5) up to ST has been established by Lieberman [68]. Estimates in the norm cl,a up to ST for Dirichlet data, are not known even for elliptic systems. Results for a single elliptic equations are due to Lieberman [69] and Lin [72]. The general structures of §1-(l1) have been introduced first by Tolksdorff [95]. The arguments of finite differences to prove that IDul,-2Ui,Xj is weakly differentiable were introduced by Uhlenbeck [99] in the context of elliptic systems. The sup-bound of Theorem 2.1 for the degenerate case p > 2 is new. The same theorem for the singular case 1 < p < 2 is due to Choe [31]. The qualitative Lemmas 4.1 and 4.2 appear in [36] for all p > ~~2' and in Choe [31] for all p > 1 provided (1.7) holds. Even though some quantitative estimates of the gradient appear in a variety of forms in [27,36,37], Chen [25] and Choe [30], the precise form of Theorems 5.1 and 5.2 as well as their interpolated version in §5-(lII), seems to be new.
IX Parabolic p-systems: Holder continuity
of Du
1. The main theorem The space gradient Du of local weak solutions of the quasilinear system (1.10) of Chap. VIn are locally HOlder continuous in nT provided the structure conditions (St}-(S6) are in force. We will show this first for the homogeneous system (1.1) and then will indicate how to extend it to the general systems (1.10). The estimates of this chapter hold in the interior of nT and deteriorate near its parabolic boundary r. If /C is a compact subset of nT we let dist(/Cj r) denote the parabolic distance from /C to the parabolic boundary r of nT, i.e., dist (/Cj r) == THEOREM
inf
(.. ,·lelC (1I,·ler
(Ix - yl + ~) .
1.1. Let u be a local weak solution 0/(1.1) o/Chap. VI/l. Moreover
if 1 < p < 2 let the approximation condition (1.9) be in /orce. Then (x, t) -Ui,zj (x, t) E Ct!c(nT), for some a E (0,1), for all i = 1,2, ... ,m and all j = 1, 2, ... , N. Moreover/or every compact subset /C OinT. there exist constants a=a(N,p) E (0,1) and-y=-y (N,p, II Dull oo,K:) > 1. such that (1.1)
IUi,Zj (Xl, tt} -
I
Ui,Zj (X2' t2) ~ -y
( IXI-X21+ltl-t211/2)Q dist (/C; r)
,
/or every pair o/points (XI,tl), (X2,t2)E/C. Remark 1.1. The constants -y and a are independent of dist (/C; r). They however deteriorate as p '\,1, i.e.,
246 IX. Parabolic p-systems: ltilder continuity of Du lim inf 'Y (N, p, II Dull 00 K) , a-I (N,p) p'\,l
'
- + 00.
Remark 1.2. The functional dependence of'Y upon IIDulloo,K will be given in §§3 and 4.
l-(i). Some notation and the two basic propositions The proof of Theorem 1.1 is based on estimating the essential oscillation of [(x o, to) + Q (6, p)] c {IT. After a translation we may assume that (x o, to) coincides with origin. Let IJ and R be positive numbers and consider the cylinders
Ui,%j in cylindrical domains of the type
{
(1.2)
Qn(lJ} == Knx {-1J 2 - P R 2 ,0}, satisfying sup IDul:5 IJ. QR(")
The geometry of Qn(lJ) is intrinsic in that the t-dimension is 'stretched' by a
factor, loosely speaking, of the order of IDuI 2 - p • Let us assume for the moment that such boxes can be constructed. Then Theorem 1.1 is a consequence of the following two propositions. PROPOSITION 1.1. There exist numbers II, It, 6 in (0, 1) that can be determined a priori only in terms of N and p. such that if
there holds //IDU - (Du)"+l12dxdr :5 1t6N +2/ /IDU - (Du},,1 2dxdr,
(1.4)
Q,,, R(")
Q,,,+lR (,,)
for all n= 1,2, ... , where (Du)"
=
ff Dudxdr. Q'''R('')
PROPOSITION
there holds
1.2. There exists numbers j
1. The main theorem 247
IDul(x, t) ~ rn~,
(1.6)
These two facts will be used to establish the following: THEOREM 1.2. Assume that the cylinder Q R (/J) satisfies (1.2) for some /J > O. There exist constants "Y> 1 and a E (0, 1) that can be determined a priori only in terms of N and p, such that
~~ Ui,z; ~ "Y/J (~r, VO
(1.7)
foralli=1,2, ... ,mandall j=l, 2, ... ,N.
1-(;;). Constructing QR(/J) Assume first that p> 2. The number R> 0 being fixed. let /Jo be the smallest value of the parameter /J such that QR(/Jo) C f1T. If IIDulloo,QIlC",o) ~ /Jo. then QR(/Jo) satisfies (1.2). Otherwise we take as /J the largest root of the equation
IIDulloo,QIlC"') = /J. Such an equation has finite roots since IIDulloo,QIl("'o) > /Jo. and
/J-IIDulloo,QIlC",) remains bounded as /J-OO. These arguments are based on the fact that. since p > 2, the 'vertical size' of Q R(/J) decreases as /J increases. In the singular case we consider instead boxes of the type (1.2)'
{
QR(/J)
== {Ixl ~ /JP.? R} X {_R2,0}, satisfying
sup IDul ~ /J. QIl("')
As /J increases, the cubes {Ixl < /J P.? which (1.2)' holds.
R} shrink. Therefore there exist some /J for
Remark 1.3. The previous propositions could be stated and proved in the geometry of the boxes (1.2)'. Indeed setting /JP.? R=r permits one to recast the 'space scaling' of (1.2)' in terms of the 'time scaling' of (1.2).
248 IX. Parabolic p-systems: HOlder continuity of Du
1-(;;i}. More about the intrinsic geometry Take formally the xj-derivative of (1.1) of Chap. VIII and multiply the ith equation of the system so obtained. by 'Ui.z j ' Adding over i = 1,2, ... , m and j = 1,2, ... ,N. and setting w = IDul 2 we arrive at the formal differential inequality (1.8)
!
w - (al,lcw2j!wZk) Zl
:::;
0
in
nT,
where
at,1c == { 6t,1c + (p - 2)
(1.9)
U'j;;:j;Zk } .
The matrix (at,lc) is positive definite and w is a non-negative weak solution of an equation of the porous medium type. This is a parabolic version of the quasisubharmonicity. The degeneracy of (1.8) is of the order of w 2j! and it is overcome by the choice ofthe parabolic geometry of QR(I-').
2. Estimating the oscillation of Du We assume Propositions 1.1 and 1.2 for the moment and proceed to prove Theorem 1.1. Let QR(I-') be a cylinder satisfying (1.2) and define the two sequences (2.1)
{
1-'0 = 1-', Ro = R and for n I'n+l
= TJl'n,
Rn+l
= 1,2, ... ,
= CoRn,
where TJ and u are the numbers claimed by Proposition 1.2 and (2.2) Since TJ E (!, 1). we have Co E (0,1) for all p holds with R=Ro and 1'=1'0' Then
> 1. Suppose the assumption (1.5)
IDul :::; TJ 1-'0 == 1-'1'
sup Q.. Ro("'o)
From the definitions (2.1) and (2.2) it follows that Rl < Ro and u 2...J>-2 'r
R21
R20
_
(U)2 R20
I-'f- = - 4 - TJP-21-'~-2 = '2 1JP-2 • 2
This implies that the cylinder QRl (I-'d is contained in QtTRo (1-'0) and
sup
IDul:::; 1-'1.
QR1(",d
Therefore QRl (I'd satisfies (1.2) an4 if the assumption (1.5) of Proposition 1.2 is verified again for such a box we have
2. Estimating the oscillation of Du 249
sup
IDul ~ 1-'2.
QR2("1)
Proceeding in this fashion, suppose the assumption of Proposition 1.2 is verified for the cylinders
QR,. (I-'n), n = 0, 1,2, ... , no - 1 for some positive integer no· Then (2.3)
IDul ~ I-'n == '1 nl-'o,
sup
n
= 0,1,2, ... , no.
QRn ("n)
From the definitions (2.1) and (2.2) it follows that
One verifies that Co (2.3) as
< '1 for all p > 1, and consequently al
(2.4)
IDul ~ 1-'0
sup
(Rn)Ql D
E (0,1). We rewrite
for n = 0, 1,2, ... , no·
'
no
QRn("n)
Suppose now that the assumption (1.5) of Proposition 1.2 fails for no. We call Rno the switching radius. Then for the box QRno (I-'nJ the assumption (1.3) of Proposition 1.1 holds and we conclude that (2.5)
H
IDu - (DU)i
12 dxdr ~ KiH IDu -
Q ,iRno ("no )
(Du)o 12 dxdr
Q Rno ("no) i 2 . 1 2 < _KI-'n o ' t=, , ...
Writing (2.6)
I(Du)i+ 1
-
(DU)iI 2
~ 21Du -
(DU)i+lr
+ 21Du -
(DU)iI 2
and taking the integral average over Q6i+1Rno(l-'no) gives
'Y
= 2 (K + cS-(N+2») .
Therefore {(DU)iheN is a Cauchy sequence whose limit we denote with Du( x o, to). To motivate this terminology we recall that our arguments are carried over an arbitrary cylinder [(x o, to) + QR(I-')] with vertex at (x o, to). Therefore if no is the switching radius of the box [( x o, to) + QR(1-')], the limit ofthe averages,
HDUdxdr, [(zo,tO)+Q'iRno ("no)]
250 IX. Parabolic p-systems: flijlder continuity of Du
n
is Du(x o• to) for almost all (x o•to) E T • It follows from (2.6) that 2. 2 ~ 'Y 1t'lJno '
1Du(xo•to) - (Du), 1
i = 1.2•....
Fix 0 < p< Rno and denote with (Du)p the integral average of Du over Qp(lJnJ. Let i be a positive integer such that (2.7) and estimate
I(DU)p - (DU),r
(2.8)
ff
~
IDu - (DU),r dxd-r
Qp(""o)
~ 'Y6-(N+2) It' 1J~0'
Therefore
IDU(xo• to) - (DU)pr
(2.9)
~ 2IDu(Xo. to) -
(DU),r
+ 21 (Du)p - (DU),r ~ 'Y(6) It'1J~0 . It follows from (2.7) and (2.9) that
Let 2Qo =min{Ql; Q2}. Then combining (2.9) and (2.4) we conclude LEMMA 2.1. There exist constants 'Y > 1 and Q o E (0.1) that can be determined a priori only in terms 0/ Nand p. such that/or almost all (x o•to) E nT such that [(xo. to) + QR(IJ)] c nT. and/orallO
(2.10)
Moreover (2.11)
ff
IDu - (Du)pI2 dxd-r
~ 'Y IJ~ (~) 2
Q
o •
Qp(""o)
Remark 2.1. The lemma holds also in the geometry of the boxes [(xo. to) + QR(IJ)] introduced in (1.2)'. Indeed we may set 1J2j! R=r and work within the cylinder [(xo. to) + Qr(IJ)]. We arrive at a version of (2.10) that reads (2.10)'
3. RUder continuity of Du (thecasep>2) 251
Returning to the geometry of [(%0. to) + QR(P)] proves the assertion. Analogous considerations bold for (2.11).
3. HOlder continuity of Du (the case p > 2) We assume that IDul ELOO(nT ) and set P = II Dull OO,DT •
This is no loss of generality. by possibly working with another compact set
K:,' satisfying K:, C K:,' c nT. and
dist (K:,j K:,') ~
Id.
We will prove the mlder continuity of Du in the time and space variables separately.
3-(i). HOlder continuity in t Fix two points (%0. t.) E K:,. i tl > to and construct the cylinders
[(xo.t.)
+ QR(P)]
= 0.1. with the same 'abscissa' Xo' We let
={IX - xol < pEj! R} x {t. - R2. t.}.
The box [(xo. h) + QR(P)] intersects [(xo. to) + QR(P)] at the point (xo, to). if (tl - to) < R2. Moreover they are contained in nT if (3.1) LEMMA 3.1. Let (3.1) hold. There exist constants 'Y > 1 and Q E (0.1) that can be determined a priori only in terms 0/ Nand p such that/or all pairs (x o • t.) E K:" i=O.l.
PROOF: Let Rn, be the switching radii of the cylinders [(xo. ti) + QR(P)] and introduce the two boxes
Qi
Assume first that (3.3)
= [(xo. t.) + QR", (Pn,)] = {Ix - x.1 < PRy Rn, } x {t. - R~,. ttl .
252 IX. Parabolic p-systems: fm(der continuity of Du
and for i =0, 1 construct the two cylinders
Ci == [(x o , ti) + Q"'2('I-'O) (I'n;)]
= {IX - xol < I'!T J2(tl -
to) } X {ti - 2(tl - to), ti}.
By virtue of (3.3) we have the inclusions Ci C Qi, i intersect in a box satisfying
= 0, 1. Moreover Co and Cl
meas [Co n Cl ] ~ min {I'no; Jl.nl} (tr - t o)(N+2)/2.
(3.4) Set
(Du)c; ==
H
Dudxdr,
= 0, 1,
i
c,
and estimate
IDu(xo, t.) - Du(xo, to)1 ~ IDu(xo, tl) - (DU)Cl 1
+ IDu(xo, to) - (Du)Co 1 + 1(DU)Cl - (Du)co I· By (2.10) and Remark. 2.1 we have, for i=O, 1,
To estimate the last term we add and subtract Du(x, t) where (x, t) E Co n Cl , and then take the integral average over such intersection, i.e., I (Du)co
-
HI + H
(Du)co 1 ~
(Du)C 1
-
Du(x, t)ldxdr
Co nel
IDu(x, t) -. (Du)c.l dt . Co nel
Without loss of generality we may assume that min {I'noj I'nl } = I'nl. Then we estimate the first integral by extending the integration over the larger set Cl. Taking into account the definition of Cl , (3.4) and (2.11), we obtain
HI Co nel
(DU)Cl - Du(x, t)1 dxdr
~ 'Y
HI
(DU)Cl - Du(x, t)1 dxdr
Cl ~'YI'
( ~)QO R
To estimate the second integral, let fJ be a small positive number to be chosen and assume that
3. .Hl)lder continuity of Du (the case p> 2) 253 (3.5)
Then using again (2.11) and (3.4),
H
IDu(x, t) - (Du)co Idt
Conel
:5 "I ( ~:: )
N(P-2)/2H
IDu(x, t) - (Du)Co Idt Co
< (I-'no )N(P-2)/2 (~)QO I-' R Qo-{JN(p-2)/2
- "I
#Jnl
<
( V(tt - to) )
-"II-'
R
Therefore if (3.3) and (3.5) hold, the assertion (3.2) follows by taking {3 = Qo/ N (p - 2) and then choosing Q =Qo/2. If (3.5) is violated,
IDu(x o , to) - DU(Xl, tdl :5 21-'
Qo/N(p-2) ( ~) R 0
,
and the assertion follows by suitably modifying the defmition of Q. We consider next the case when (3.3) is violated, i.e.,
2(tl - to) > min {R!o j R!l}' If R!, :5 2(tl - to) for i=O, 1, then by (2.4)
IDu(xo, tt) - Du(xo, to) I:5
I-'no
+ I-'nl :5 "II-'
(v'fl=t;;) R
Q
Therefore we may assume that, say, R!l :5
2(tt - to) < R!o'
We conclude the proof by reducing this case to the situation (3.3). Let n. :5 nl be a positive integer satisfying
R!.
~ 2(tl - to) ~ R!.+l'
and introduce the cylinders Qo and (2., where Q.
== (x o, ttl + QR". (I-'n.) == {Ix -
xol < I-':f Rn. } x{tl -
R!.,tl}'
Since we have
2(h - to) :5 min {R!o j R!J, the box Q .. will now play the same role as the cylinder Ql in the case (3.3). The proof is now concluded as before, observing that for Q.. the two inequalities (2.10) and (2.11) hold true.
2S4 IX. Parabolic p-systems: H6lder continuity of Du LEMMA 3.1'. There exist constants 1> 1 and Q e (0, 1) that can be determined a priori only in terms of N andpsuch thatforevery pair of points (Xi, to) elC, i=
0,1,
PROOF: If JI.'~ 1 we take R=dist (lC;r) in (3.1). Otherwise we take IJ¥ R= dist (IC; r).
3-(U). Holder continuity in x Fix two points (xo, to) and (Xl, to) in K.. at the same time level to. and let [(Xi, to) + QR{IJ)] == {Ix - xii < R} x {to -1J2- PJtl, to}, i
= 0,1,
be two boxes satisfying (1.2). The box [(xo, to) + QR(P)] will intersect Xl iflxoxII < R. Moreover they are contained in nT if
(3.6) LEMMA 3.2. Let (3.6) hold. Thereexistconstants1> 1 andQE (0, 1) that can be determined a priori only in terms of Nand p, such thatfor all (Xi, to) E K., i =0, 1,
(3.7)
I
IDU(XI, to) - Du(xo, to) $ 11J (Ixo ~ XII) Q
•
Let R.n.. be the switching radii corresponding to the two boxes [(Xi, to) + QR(IJ)] , and construct the two cylinders
PROOF:
. Qi == [(Xi, to) + QR.., (IJ",)]
== {Ix - xii < R.n.,} x {to -IJ!;-P R!" to} . Consider separately the following two cases: (3.8)
(3.8)' If (3.8) holds, construct the two boxes
Ci == [(Xi, to) + Q21Zo-Z11 (J.'n.)] == {Ix - xii < 21xo - XII} x {to -1J!;-P4Ixo - xll2, to}. By construction these are contained in Qi and they overlap in a box satisfying
3. ltilder continuity of Du (the case p> 2) 255
Set
(Du)c, ==
if
Dudt,
c,
and estimate
I + IDu(xo, to) - (Du)c I + I(DU)Cl - (Du)c I·
IDu(Xt. to) - Du(xo, to)1 :5; IDu(xI, to) - (DU)Cl o
o
The proof now proceeds as for the HOlder continuity in t with minor cbanges. LEMMA 3.2'. Thereexistconstants'Y> 1 andQE (0, 1) that can be determined a priori only in terms of N and p such that for every pair ofpoints (Xi, to) E /C, i =
0,1.
JJ ~ 1. in (3.6) we take R = dist (/C; r). If JJ JJ2.f! dist (/C; r). Then (3.7) reads PROOF: If
<
I, we take R
(3.7)'
If
2.f! JJ
:5;
0/2 ( IXl - Xo I )
dist (/C; r)
,
there is nothing to prove. Otherwise (3,7)' gives
Thus (3.10) follows by suitably redefining the number Q.
3-(iii). A version of Theorem 1.1 Combining Lemmas 3.1' and 3.2' gives the following form of Theorem 1.1:
=
256 IX. Parabolic p-systerns: Holder continuity of Du THEOREM 1.1' (THE DEGENERATE CASE p> 2). Let u be a weak solution in nT of the degenerate system (1.1) of Chap. VIII, and assume that I-' = IIDulloo.oT < 00. There exist constants 'Y > 1 and Q E (0,1) that can be determined a priori only in terms of Nand p such that, for every compact subset fC of
nT •
(1.1')
IDu(xo, to) - Du(xl. t 1 )1
< - 'YI-'
(Ixo - Xli + max{I;I-'2j!}v'lto- t11)0< dist (fC; r)
,
for every pair of points (Xi, til E fc, i=O, 1. Remark 3.1. The constants 'Y and Q are independent of dist (fc; r) and 1-'. The fonn of (1.1)' suggest we reduce the system (1.1) of Chap. VIII to another for which I-' 1. Introduce the change of variables
=
Vi
Ui == -,
. t
IJ.
Vt -
= 1, 2 , ... ,m,
div IDvlp - 2 Dv
= 0,
and T = tl-'p-2.
in nT
== nx (0, T I-'p-2) ,
and IIDvll oo,~6T ~ = 1. We write (1.1)' for v in the variables (x, T) and return to the original coordinates. This gives
for all pairs (Xi, til E fC, i =0, I, where IJ. - dist (fc; r)
==
inf
( .. ,tIEIC (v,-IET
(Ix - yl + 1J.2j!~)
is the intrinsic parabolic distance from fc to
r.
4. HOlder continuity of Du (the case 1
4. Hl)lder continuity of Du (the case I < p < 2) 257
4-0). Holder continuity in t Fix two points (xo, til E J(" i = 0, I, with the same 'abscissa' Xo. We let tl > to and construct the cylinders
[(Xo, ti) + QR(I-')] == {Ix - xol < I-'Ej!
R}
The box [(xo, t l ) + QR(I-')] intersects [(xo, to) over they are contained in flT if
X {ti
-
R2,ti}'
i
= 0,1.
+ QR(I-')] if (h -to) < R2. More-
max {1-'2jl R; R} :$: dist (J(,j r) .
(4.1)
Proceeding as in the case p> 2 we have
4.1. Let (4.1) hold. There exist constants 'Y > 1 and a E (0,1) that can be determined a priori only in terms of N and p such that
LEMMA
Next if 1-'?I, we take R=d in (4.1), and if 1-'< I, we rewrite (4.2) as (4.2)' Arguing as in the proof of lemma 3.2' and bY.possibly redefining the constants 'Y and a, we obtain LEMMA 4.1'. There exist constants 'Y > 1 and a E (0,1) that can be determined a priori only in terms of Nand p such that for every pair of points (xo, ti) E J(" i = 0, I,
4-0i). HOlder continuity in x Fix two points (xo, to) and
(Xl,
to) in J(" at the same time level to, and let
[(Xi, to) + QR(I-')] == {Ix - Xii < R} x {to -1-'2-p R2, to}, i = 0, 1, be two boxes satisfying (1.2). The box [(xo, to) XII < R. Moreover they are contained in flT if (4.4) We proceed as in the case p> 2 and establish
+ QR(I-')] intersects Xl if Ixo -
258 IX. Parabolic p-systems: Holder continuity of Du LEMMA 4.2. Let (4.4) hold. Thereexistconstants'Y> I andaE (0, I) that can be determined a priori only in terms of Nand p, such thatfor all (Xi, to) E X:, i =0, I,
4-(iii). A version of Theorem 1.1 Combining Lemmas 4.1 and 4.2 gives the following fonn of Theorem 1.1 THEOREM 1.1" (THE SINGULAR CASE I < p < 2) .. Let u be a weak solution in fh of the degenerate system (1.1) of Chap. Vl/I, and assume that ,.,. = IIDulloo,DT < 00. There exist constants 'Y > I and a E (0, I) that can be determined a priori only in terms of N and p such that, for every compact subset X,", ofnT.
(1.1")
IDu(Xo,t o } - DU(XlItl}1
~ 'Y"" (
max{lj,.,.Y}lXo - xII + vito dist (X,",j r)
tll)Q
,
for every pair of points (Xi, ti) Ex'"', i=O, 1.
Remark 4.1. The constants 'Y and a are independent of dist. (X,",j r) and,.,.. Arguing as in §3-(III), the HOlder continuity of Ui,:J:j can be expressed in tenns of the intrinsic parabolic distance ,.,.-dist (X,",j r).
5. Some algebraic lemmas We let QR(,.,.) c nT be a cylinder satisfying (1.2) and consider the system
!
(5.1)
Ui -
div IDulp - 2 DUi =
0,
in QR(""), p > I,
and the one obtained by taking the derivative with respect to Xj' i.e., (5.2)
!
Ui,:J:; -
div
(IDUIP- 2 DUi,:J:; +
a:; IDuIP- DUi) = 0, 2
in QR(""), i=I,2, ... ,m, i=I,2, ... ,N. We let V denote a vector in R Nxm satisfying (5.3)
We also let 'Y='Y(N, p) denote a generic positive constant that can be detennined a priori only in tenns of the indicated quantities.
5. Some algebraic lemmas 259 LEMMA 5.1. There exists a constant 'Y = 'Y(N,p). such that lor every vector V E RNxm. andlor all p > 1.
{lDul + IVI)Y IDu - VI:5 'YIIDuIY Du -IVIYVI·
(5.4)
LEMMA 5.2. Let 1 < p < 2. There exists a constant'Y = 'Y(N,p) such that lor every vector V E R Nxm.
IIDuIP-2 Du - IVlp- 2VI:5 'YIDu - ViP-I.
(5.S)
Moreover if the vector V satisfies (5.3). then (5.6)
IIDuIP-2 Du -IVlp- 2VI:5 'Y,",p- 2IDu - VI,
(S.7)
IIDuIP-2 Du _IVIP-2vI2IDuI2-p :5 'Y,",p- 2IDu - V12.
Remark 5.1. These lemmas are algebraic in nature and could be stated for any pair of vectors U and V, provided (S.3) is replaced by (S.3)'
Also in (S.4) the number (1'-2)/2 could be replaced by any number and in (5.5)the number (1'-2) could be replaced by any negative number. PROOF OF LEMMA 5.1: By calculation.
(S.7)
IIDulY Du -lvIYVIIDu - VI
2: 1(IDuI'i'Du-IVI'i'V, DU-V) / f1d = \10 ds ISDu + (1 =
10f~IsDu + (1 -
+
p; 21~IsDu + 0
~ min{l; (p -
s)VI
s)VI
I
Y (sDu + (1 - slY) ds, Du - V )
Y IDu - VI 2ds
(1- s)VI
y
I{sDu + (1- s)V, Du - V)I 2 ds
f~
l)}IDu - VI 2 10 IsDu + (1 - s)VI
~
ds.
Ifl
1o~IsDu + (1 -
s)VI
Y
ds
~ (IDul + IVI) Y
,
and the lemma follows in this case. If p > 2, assume for example that IDul > IVI. Then
260 IX. Parabolic p-systems: Hi)lder continuity of Du
1o~IsDu + {I PROOF OF LEMMA
s)V/ ~ ds
~
111/2
~
-p IDul--'-- .
{sIDul- (I -
1
s)IVI) ~ ds
1!=.!
5.2: For 1
/IDul,,-2 Du - IVI,,-2V/ ~ IVI,,-2IDu - VI
+ /IDul,,-2 -IVI,,-2/IDul ~ IVI,,-2IDu - VI IDu~-1 ) + {2 - p)IVI,,-2IDu - VI ( eIVI,,-1 + {I _ e)IDul,,-l '
e
for some E [0,1]. Interchanging the role of Du and V gives (5.8)
/IDul,,-2 Du - IVI,,-2vl
~ IVI,,-2IDu - VI { 1 + (2 -
p) eIVI,,-1
~~71~-;)IDUI"-1 } •
e
for some E [0, 1]. and (5.8')
IIDul,,-2 Du - IVI,,-2vl IVI,,-I}
~ IDul,,-2IDu - VI { 1 + (2 - p) '1I VI,,-1 + (1 _ '1)IDul,,-1 ' for some 'IE [0,1]. To prove (5.5) assume rust that 1
IVI> "2 IDu - VI·
(5.9)
This implies
These inequalities in (5.8) prove (5.5). If (5.9) is false. its converse gives the two inequalities
These in (5.8)' imply that the term in braces on the right hand side is bounded above by an absolute constant. Moreover
IVI,,-2IDu - VI ~ IDul,,-2IDu - VI,,-IIDu - VI 2-". The two inequalities (5.6) and (5.7) are an immediate consequence of (5.8) and the assumption (5.3).
5. Some algebraic lemmas 261
Let H be the vector in R Nxm defmed by (5.12)
Hi == IDul p- 2DUi -IVlp- 2Vi -IVl p- 2 (DtI.i - Vi) - (p - 2)IVlp- 4Vt,k (Ul,z. - Vt,k) Vi, i= 1, 2, ... , m.
We will estimate IHI for all p> 1. For this we first set W(t) == tDu + (1 - t)V,
(5.13)
for t
E
[0,1],
and rewrite (5.12) in the form 1
j
~ {ltDu + (1 - t)VIP-2 (tDui + (1 - t)Vi)} dt o -IVl p- 2 (DUi - Vi) - (p - 2)IVlp-4Vt,k (Ul,z. - Vt,k) Vi
Hi =
1
= (DUi -
Vi) j{IWIP-2 -IVI P- 2} dt o 1
+ (p -
2) (DUl - Vt) !{IWIP-4WlWi -IVI P- 4 VtVi }dt o
where we have dropped the t-dependence from W. From (5.13) W - V
(5.14)
= t (Du -
V) ,
and for every sE [0,1]. sW + (1- s)V = V + st(Du - V).
(5.15)
LEMMA 5.3. There exists a constant "'( = "'(N,p) such that/or every constant vector V ERNxm satisfying (5.3), and/or all p> 1,
(5.16)
Remark S.2. The lemma holds for every pair of vectors U and V satisfying (5.3)'. PROOF OF LEMMA 5.3 (p>2): Assume first thatlVI ~ 21Du - VI. Then 1
IHI
~ ",(p)IDu -
VI j(IW(t)I P- 2 + IVIP-2) dt o
~ "'(IDu - VIP-l ~ I~I (lDul + IVj)p-2IDu - V12. Therefore (5.16) follows in this case since V satisfies (5.3). If
262 IX. Parabolic p-systems: mlder continuity of Do
(5.17)
IVI > 21Du - VI,
then by the mean value theorem and (5.14)-(5.15),
IHI ~ 'Y(P)IDu - VI 2
1
flsW + (1 - s)VIP- dt, 3
o for some s E [0,1]. By (5.15) and (5.17) we have
and this implies the lemma. PROOF OF LEMMA
5.3 (1
(5.18) Assume first that
IVI ~ IDu - VI,
(5.19) and let t· E [0, 1] be defined by
t.
=
IVI IDu-VI
Then 1
IHI
~ 'Y(P) fltlDu - VI_IVIIP-2IDu - VI dt + 'YIDu - VIIVl p - 2 o
,; ~ {l~ l'IDu - VI -IVlr'
i!
l'IDu - VI-IVf' tit }
+ 'YIDu - VIIVIP- 2 ~ 'Y (lVIP-l + IDu - VIP-l) . Therefore taking into account (5.19) and (5.3), the lemma follows in this case. Consider now the case when (5.19) is violated, i.e., (5.19)' Then for i = I, 2, ... ,m,
IVI > IDu - VI·
6. Linear parabolic systems with constant coefficients 263 1 1
= (DUi -
Hi
Vi) I I o0
:al sW + (1-
s)VIP- 2 dsdt
1 1
+ (DUl -
Vi) I l:a {lsW + (1- S)VIP-4 (SWl o0 X (sWi
+ (1 -
+ (1- s)Vl)
s)Vi) }ds dt.
Therefore
(5.20)
IHI
~
1 1
'Y(p)IDu - VI 2 I It IsW + (1- s)VIP- 3 dsdt. o0
Next, by (5.15) and (5.19)'
IsW + (1 - s)VI = Iv + st(Du - V)I
~
IIVI- stlDu - VII
~
IVI(1 - st).
This in (5.20) gives 1 1
IHI
~ 'YIDu -
V1 21V lp - 3 Ilt(1 - st)P- 3 ds dt. o0
Since 1
6. Linear parabolic systems with constant coefficients Let V be any vector in RNxm satisfying (5.3). To the system (5.1) we associate its linearised version (6.1)
a
at Vi -
(IVIP-2 Vi ,Xt
in QR(J.£),
+ (p -
2)IVIP-4Yj,kVj,x~ Vi,l) Xt
'
i = 1,2, ... , m.
Let v
== (Vl,V2, ... ,vm )
and for 0 < p ~ R we let (Dv) p denote the integral average of Dv over Qp (1-£).
264 IX. Parabolic p-systems: mlder continuity of Do THEOREM 6.1. There exists a constant'Y='Y(N,p). such thatforall O
(6.2)
H
IDv - (Dv)p 12 dxdT :S 'Y (~) 2
~w
H
IDv -
W1 2 dxdT.
~w
To prove the theorem we introduce the change of variables
v(x, t) -
V
(x, tp.2-,,) .
This transfonns Qp(p.) into Qp(l) == Qp for all 0 < p:S R. and tranfonns (6.1) into a system for which In a precise way, the transfonned vector v is a solution of
8
(6.3)
at Vi
-
( ..
a~:~ Vi,z.
)
Zt
= 0,
where the coefficients
= IVI,,-2 {flijt,lI: + (p _ 2) \-j,ll: Vi,t } IVI2
a i,j t,ll: -
satisfy the ellipticity condition (6.4)
Co (N,p)leI 2 :S a~~lI:eiltej,ll: :S C1 (N,p)lel 2 ,
Ve E RNxm,
for two given constants Co < C 1 depending only upon N and p. Therefore it will suffice to prove Theorem 6.1 for p. = 1. In the remainder of the section we let v be a solution of (6.3) in QR and let (6.4) hold. Let a denote a multiindex of size lal. i.e., N
a==(al,a2, ... ,aN), ajENU{0},j=l,2, ... ,Nj lal=Laj, j=1
and for f E Coo (Q R) let
For non-negative integers m and n we also set
ID;'fl ==
L
ID:II,
D~f== ~f,
ID:fl
= ID~II = III·
lal=m LEMMA 6.1. There exists a constant 'Y ='Y(N,p) such that for all non-negative integers m, n and all 0 < p:S R,
6. Linear parabolic systems with constant coefficients 265
ffID,:+lD~VI2 dxdT ~ 'YP-2 ffID':D~VI2 dxdT,
(6.5)
Qp/2
Qp
f!IDf+lD':VI 2dxdT ~ 'Yp- 4 !!ID':D~VI2dxdT.
(6.6)
Qp/2
Qp
The system (6.3) is also solved by the vectors W == D';Div. Let (be a non-negative smooth cutoff function in Qp vanishing on the parabolic boundary of Qp and such that PROOF:
Multiply the system (6.3), written for w, by the testing function W(2 and integrate over Qp. to arrive at (6.5). To prove (6.6). mUltiply the same system by Wt(2 and integrate over Qp. This gives (6.7)
!!lwtI2(2dXdT+ !! (a~,,{Wj,z,,! Wi,Zt) (2dxdT Qp
Qp
= -2
f!a~:{Wj'Z"Wi,t«ZtdxdT Qp
+~ ! !IWtl2(2dXdT + ; !!IDwI 2dxdT. Qp
Qp
The integral involving a~:{ on the left hand side of (6.7) equals
These remarks in (6.7) give
!!IWtI2dxdT ~ 'Yp- 2!!IDw I2 dXdT. Qp/2
Qp
The lemma now follows by applying (6.5) and suitably modifying the scale of the radii P and p/2.
266 IX. Parabolic p-systems: H61der continuity of Du LEMMA
6.2. There exists a constant'Y='Y(N,p) such thatforall O
(6.8)
It suffices to prove the lemma for 0 < p ~ R/2N +2. Let { be the standard cutoff function in QR/2N +1 that equals one on QR/2N +2 and such that PROOF:
ID{, ~ 2N+2/R
and
0 < (e ~ (2N+2/R)2.
IfO
!!lvI2 dxdT Qp
~ 'YpN+2"v"~,Qp ~ 'YpN+2"v{"~,QIl/2N+1.
On the other hand for all (x, t) eQR/2N+1, t
Iv{l(x, t)
=
I!
De (v() (x, T)dTI _R2/2 N+1
~ 'Y !ID: Dt(v{)1 dxdT QIl /2N+1
Combining this with Lemma 6.1 we obtain the estimate
"V{"~,QIl/2N+1 ~ 'YR-CN+2>!!lvI2dxdT. QIl
This in (6.9) proves the lemma. PROOF OF THEOREM 6.1: Since the vectors vz",z. solve (6.3) for h,s = 1,2, ... , N, we have from Lemma 6.2
(6.10)
!!ID2v I2 dxdT Qp
~ 'Y (~)N+2!!ID2vldxdT' QIl/2
for a constant 'Y='Y(N,p) and for all 0
Let W be any constant vector in R Nxm and multiply (6.11) by the testing function (Wi,z. - Wi,.) (2. where ( is the standard cutoff function i.O Q R that equals one in QR/2. This gives
6. Linear parabolic systems with constant coefficients 267
/ /ID 2v I2 d3:dT ::s; 'Y R- 2 QIl/2
//IDv -
WI 2d3:dT.
QIl
To estimate the left hand side of (6.10) set
f
(Dv)p(t) =
Dv(x,t)dx,
\:IO
_p2::s;t::s;O.
K,.
Then x- (Dvi(x, t)-(DVi)P(t» has zero average over Kp. and by the embedding Theorem 2.1 and Remark 2.1 of Chap. I.
//IDV - (DV)p(T)1 2d3:dT ::s; 'Yp2//ID2v I2d3:dT. Qp
Qp
Write
//IDV - (DV)pI2 d3:dT ::s;
(6.12)
'Y
(~)N+4/fIDV -
Qp
WI 2d3:dT
QIl
o
I
+ 'YpN / (Dv)p - (DV)p(T)1 2dT, -p2
and estimate the last tenn by
o
pN/I(Dv)p - (DV)p(T)1 2dT::S;'YpN+2 sup
__2
-p2
I(Dv)p(t) - (Dv)p(T)r·
Next integrate (6.11) over K p x (T, t) and divide by meas{ K p} to obtain
I(Dv)p(t) - (Dv)p(T)/ ::s; 'YP-N/ /ID 2vld3:dT Qp
yN/'" (£!ID'VI'dzdT) 1/' $
~p-N/' (£!IDv _WI'dzdT)
1/'
Therefore the last tenn on the right hand side of (6.12) is estimated by
'Yp2
(~)N+2//ID2vI2d3:dT::S; 'Y (~)N+'l/IDV QIl/2
QIl
-WI 2d3:dT.
268 IX. Parabolic: p-systems: mlder continuity of Du
7. The perturbation lemma LEMMA 7.1. There exists a constant 'Y vector V in RNxm satisfying (5.3),
= 'Y(N,p) such that/or every constant
PROOF: Let ( be a cutoff function in QR(P.) that equals one on QR/2 (p.). and such that
In the weak formulation of (5.2) we take the testing functions
modulo a Steldov time average. We obtain (7.2)
sup
flDU -
VI2(2(X, t) dx +
-,.2-PR2
f fIDul,,-2ID2uI2(2dxdT
JJ I
QR(")
$;'Y
ffIDU-VI 2((t dxdT + J, QR("')
where
-IVI,,-2Vi,;)z; (Ui,z; - Vi,;)
(D(dxdT.
~ ffIDUI,,-2ID2UI2(2dxdT + 'Yp.;~2 fflDU -
VI 2 dxdT.
J='Y
f fODUI,,-2DUi QR("')
If p > 2. we have
J $;
QR(,.)
QR(,.)
Putting this estimate in (7.2) proves the lemma in the degenerate case. To estimate J in the singular case 1
7. The perturbation lemma 269
~ 'Y ffIIDUIP-2DU -IVIP-2VIID2UI(ID(ldxdT
J
(7.3)
QIl(,.)
ff
+
II Du IP- 2 Du - IVIP- 2 VIIDu - VI(ID 2(ldxdr
QIl(,.)
==Il+h By (5.7) of Lemma 5.2 and Schwartz inequality
~ ~ f fIDUIP-2ID2UI2(2dxdr + i£;~2 f flDU - Vl 2dxdr,
II
~W·
~w
and by (5.6)
12 ~ 'Yp;~2 fflDU - Vl 2dxdr. QIl(")
Combining these estimates in (7.2) proves the Lemma. Let 8pQR/2 (p) denote the parabolic boundary of boundary value problem Vi,t -
(7.4)
(IVIP-2 vi ,x;
{ Vi L')pQIl/2(,.)=Ui,
+~ &=
QR/2 (p).
Consider the
2) IVlp- 4 Vt,k vi,xlo Vj,i) Xj , in Q R/2 (JL)
1,2, ... ,m.
The existence of a unique solution to (7.4) can be established for example by a Galerkin procedureP) The solution v == (vt, V2, ••• , 11m) of (7.4) is 'regular' in the interior of QR/2 (p), in the sense of Theorem 6.1. The next lemma compares U and v. LEMMA 7.2. There exists a constant 'Y='Y(N,p), such thatfor all 0< p< R/2 and for every vector V satisfying (5.3),
fpDU -
(7.5)
Dvl2dxdr
~
'Y
(p_2f! IDu - Vl2dxdr)1I
Qp(")
QIl(")
f flDU - Vl 2dxdr, QIl(")
where a=mint!; i}. PROOF: Write the system (5.1) in the form
! i
Ui -
(IVI P- 2U i,Xj
= 1,2, ... ,m,
(1) See Lions (73).
+ (p -
2)IVl p -
4 Vt,k Ui,:t:1o VjJ) Xj =
div Hi,
270 IX. Parabolic posysterns: IIUder continuity of Du
where the vectors Hi are introduced in (S.12). From this. subtract (7.4). and in the weak fonnulation of the system so obtained, take the testing function Ui - Vi. This is admissible since it vanishes on lJp QR/2 ("'). Adding over i= 1, 2, ... , m. gives
,",p-1/ IDu - Dvl 2 dxdT
~ ..,/ / IHIIDu -
QR/2(p)
DvldxdT,
QR/2(P)
where we have taken into account the fact that V satisfies (S.3). Using Schwartz inequality on the right hand side and then Lemma S.3 to estimate IHI2. we arrive at (7.6)
/ / IDu - Dvl 2 dxdT QR/2(")
f
~ ..,,,,-2(P-l)/
(IDul + IVI)2(P-2) IDu -
V1 4 dxdT.
QR/2(P)
To estimate the right hand side of (7.6) assume first that N ~ 4 so that
a
= min{!· ~} = ~ 2' N N·
To simplify the symbolism we let r =",2-p R2 /4. We have (7.7)
ff
(lDul + IVI)2(p-2) IDu -
VI 4 dxdT
QR/2(P)
"l(;.~~Du' + IVI)'(,,-'l IDu _VI'..,) i
7. The perturbation lemma 271
By Lemma 7.1
(7.8)
~*(P-l)
sup -r
(fIDU _V 12dt) i J I KR/2
To estimate the last factor in (7.7) we majorise the integrand by means of Lemma 5.1. It gives
(lDul + IVI)2(p-2) IDu - VI 4 = {(IDuI + IVI) zy! IDu _ VI} 4
~ 'YIIDulZY! Du _IVIZY!vI 4
~ ~P~IIDulZY!DU-IVIZY!vl~· Let x -+ {(x) be a non-negative piecewise smooth cutoff function in KR that equals one on K 3R / 4 and such that ID{I ~ 4/ R. Then for a.e. tE {-r, O}, by the embedding Corollary 2.1 of Chap. I, we have
N-2
~ 'Y~P¥ (![lIDUIZY! Du -IVIZY!VI{] ~ dx)-,;r K3R/4
~ 'Y ~p¥ !
ID
[IDulZY! Du -IVIZY!V] {1 2dx
K3R/4
Here in estimating the last term we have used the algebraic inequality
272 IX. Parabolic p-systcms: H5lder continuity of Du
which follows from (5.6) of Lemma 5.2 with p replaced by (p + 2)/2. Therefore the last factor on the right hand side of (7.7) is estimated by
1V.~~DoI :5 'Y
N-2
+ IVI)2lP-2) IDo - VI'.J") -,,- dT
I'p~ { IIIDUIP-2ID2uI2dxdT Q3R/2("')
+ 1'1'-2 R- 2IIIDU - V12dxdT} QR("')
:5 1'2(1'-1)-11 R- 2IIIDU -
V1 2dxdT,
QR("')
where we have also used Lemma 7.1. We now combine these calculations in (7.7) and then in (7.6) to obtain
IIIDU - Dvl2dxdT QpC",)
provided N ~ 4. If N = 2, 3, we transform the integral on the right hand side of (7.6) by HOlder's inequality as follows.
7. The perturbation lemma 273 (7.9)
II I
dxd'T
ODul + IVn 2(p-2) IDu - Vl 4
QR/2(")
o
=
IIDU - VI (IDul
+ IVn 2(p-2) IDu -
Vl 3
dxd'T
-rKR / 2 1
~ 1(l~-V'2dzr x
(/ODU KR/2
~
'
p.2j! sup -r
+ IVI)4(P-2) IDu -
V 16
dx) ! d'T
(fIDU - V12dx) ! J I
KR/2
xl(J.!;IDuI
1
+
IVI)'" IDu - vi]' dz) ·d.
By Lemma 7.1
We estimate the last tenn on the right hand side of (7.9) separately for N
N=2. The case N=3 Let, be defined as before. Then for a.e. t E ( -r, 0).
=3 and
274 IX. Parabolic p-systems: II)lder continuity of Du
(J[(IDul + IVI) E? IDu - Vr
dx )
1
KR./2
~
'Y JL f
Rl
(J[ (lDul + IVI) E? IDu _ Vf
dx)
1
KR./2
,; 7,,1 RI
(L!!IDuI'i'Du-IVI'i'VI,r
~ 'Y JLf Rl
JID [IDulE? Du -IVIE?V] '1 dx. 2
K SR./4
1berefore
l(J.!~,Du' + IVI)'i' IDu -Vi]"
dT
JJIDU - V1 dxdT. 2
QR.(")
Combining these estimates in (7.9) and then in (7.6) proves the lemma for N =3.
TbecaseN=2 We apply the embedding Theorem 2.1 of Chap. I with q = 6,
B
=1. This gives for a.e. t E (-r, 0)
( J[(IDuI + IVI)'i'IDu -Vi]" J I KR./2
,; 7
~ 'Y
)
(f.~~DuI'T' Du -IVI'T'VI'j'
,r
dx
Q
= 2/3 and
8. Proof of Proposition 1.l-(i) 275
1berefore
l(J.!~IDuI + IVI)"'IDu - VI]' ~ 'YJLfR
dz)
! dT
fflD [IDul~ Du-IVIZY!V] (r dxdT. QR(")
We estimate these integrals by means of Lemma 7.1 and combine the calculations in (7.9) and in (7.6) to conclude that (7.5) holds with a=~.
8. Proof of Proposition 1.1-(i) LEMMA 8.1. There exist constants ~, 6, E E (0, 1) that can be determined a priori only in terms of N and p. such that ijVo is a constant vector in R Nxm satisfying (8.1)
HIDU - Vo l2 dxdT ~ Ell?,
(8.2)
QR(")
then there exists a constant vector V t E R Nxm such that
(8.4)
ffiDU - V l dxdT ~ ~6N+2ffIDU - V l dt, t 2
o 2
Q.R(")
(8.5)
QR(")
HIDU-Vt I2 ~EIl? Q.R(")
PROOF:
Let v be the unique solution of (7.4) and set Vt
==
HDvdt,
Q.R(")
where 6 E (0,1) is to be chosen. The perturbation Lemma 7.2 with V triangle inequality and (8.2) give
=V o • the
276 IX. Parabolic p-systems: Jl)lder continuity of Du
I PDU - V l l2 dxdT :5 "Yeo IIIDU - V ol2dxdT Qu(,,)
QIl(")
+ I fiDV - V l l2 dxdT. Qu(,,)
By Theorem 6.1
lfiDV - V l l2 dxdT:5 "Y6 N +4IIIDv - V ol2dxdT, Q,Il(")
QIl/2(")
and again by Lemma 7.2 with V =V 0 and (8.2)
II IDv - V ol2dxdT :5 "Y (1 + EO) I IIDU - V ol2dxdT, QR/2(")
QR(")
for a constant "Y="Y(N,p). Combining these inequalities we obtain
I fiDU - Vll2dxdT:5 "Y (6 NH +eO)IIIDU - V ol2dxdT, Q,Il(")
6:5 1/2.
QIl(")
To prove (8.4) choose EO =6NH , and then 6 so small that 2"Y62 :5 ".
Inequality (8.5) follows from (8.4) and the s1I1Illiness assumption (8.2). To prove (8.3) write
Vl
-
Vo
H =H =
(Dv - Vo)dxdT
Q,R(")
{(Dv - Du)
+ (Du -
Vo)}dxdT
Q,R(")
and IVl
-
V o l2 :5 2
H
IDu - Dvl2dxdT + 2
QIIl(")
H
IDu - V ol2dxdT.
Q,R(")
By Lemma 7.2 and the indicated choices of E and 6
H
IDu - Dvl2dxdT :5 "
~RW
Therefore using again (8.2)
H
~RW
IDu - V ol2dxdT.
8. Proof of Proposition 1.l-(i) 277 (8.6)
IV1
-
V ol2 ~ 2 (K, + 6-(N+2»)
H
IDu - V o l2dxdT
Qa(,,)
~ 2 ( K, + 6-(N +2) ) dl 2(NH) p.2 ~ 2K,p.2. By choosing K, sufficiently small we may insure that
and
LEMMA 8.2. There exist constants K" 6, EE (0,1) that can be determined a priori only in terms of N and p. such that if V 0 is a constant vector in R Nxm satisfying (8.1) and (8.2). then there exists a sequence of constant vectors {Vi} el in RNxm. satisfying
H
IDu - Vil2dxdT
(8.8)
~ Ep.2,
Q6I a(")
(8.9)
! !IDU - Vi+!1 2dxdT
~ K,6 N+2!/IDU -
Q6l+ 1 a(")
V i l 2dxdT,
Q6 I a(")
for i = 1, 2, .. " PROOF: The sequence is constructed inductively by using the procedure of the previous lemma. To prove that IVil are in the range (8.7), we refer back to (8.6), i.e.
IVi +! - V i l2 ~ 2 (K, + 6-(N+2»)
H
IDu - V i l2dxdT.
Q6I a(")
We iterate over i and use again the smallness assumption (8.2) to obtain
IVi+l - V i l2 ~ 2 (K, + 6-(N+2») K,i
H
IDu - V o l 2dxdT
Qa(,,)
~ 2p.262(NH) (K, + 6-(N+2») K,i. From this by taking roots and adding over i 00.
IV i+l - Vol
,fK.
~ P.6L.,fit ~ p. 1- ,fK.' i=l
278 IX. Parabolic p-systems: Ifi)lder continuity of Du
where we have used the specific choice of 6 in tenns of It. Choosing now It sufficiently small proves the Lemma.
9. Proof of Proposition 1.1-(ii) The number 11 in the assumption (1.3) can be chosen to insure the existence of a constant vector Vo E RNxm satisfying (8.1) and (8.2). This is the content of this section. Set IDul =v and, for all 0 < p ~ R,
== ((x,t) E Qp(l-') Iv(x,t) > (1-1I)1-'}, B; == {(x, t) E Qp(l-') Iv(x, t) < (1 - II)I-'} .
(9.1)
A;
(9.2)
We will choose 11 E (0,
l) and rewrite (1.3) as
(9.3)
IBill ~ IIIQR(I-')I,
LEMMA
11 E (0,1)·
9.1. There exists a constant.'Y='Y(N,p) such that/or all uE (0,1)
jr fIDul,,-2ID2uI2 dxdT <
(9.4)
P
A:
-
'Y 1-'211 RN. (1- u)2
1t
PROOF: Consider the differentiated equation (S.2) and in its weak fonnulation take the testing function Ui,z;
(v 2 - k2)+ (2,
k = (1- 211)1-',
modulo a Stelclov averaging process. Here ( is a non-negative piecewise smooth cutoff function in QR(I-') that equals one on QtTR (I-') and such that 1 1-',,-2 ID(I ~ (1- u)R' 0 $ (e $ (1- u)W' After we add over i = 1, 2, ... m and j I
(9.S)
SUP.
-",3-PR2<e
=1, 2, ... , N, we arrive at
/(,:,2 - k2): (2 (x, t) dx
- - Kit
+ / /vP-2IDv212(2x. [v> k] dxdT QIt(,,)
m
+
N
?:?: //IDul,,-2IDUi
,z.:/
12 (v 2 -
k2)+ (2dxdT
1=1 .1=1 Q"It(")
$ 'Y / /vP-2IDv21 (v 2 - k 2)+ (ID(I dxdT QIt(",)
+ 'Y
//(v 2- k2):
QltC,,)
((t dxdT
9. Proof of Proposition l.l-(ii) 279
for a constant "Y="Y(N,p). By the Schwartz inequality
"Y jjvP- 2IDv2I (v 2 - k2)+(ID(ldx.dT QR(p)
~ jjvP-2IDV212(2X[V > k]dxdT QR(p)
+"Y2 j j vP- 2 (v 2 - k2): ID(1 2dxdT. QR(P)
We put this in (9.S) and in the resulting inequality we discard all the non-negative terms on the left hand side except the integral containing DUi,Zi' This gives
fjlDulP-2lD2ul2 (v 2 - k2)+ (2clxdT
(9.6)
QR(P)
~ "Y j j(vP-2ID(12 + (t)
(v 2 - k2): dxdT.
QR(p)
Since (v 2 - k2)+ ~ 411J.1.2,
jj(v 2 - k2): (t clxdT
~ (1"Y~:;~~2 J.l.P- 2IQR(J.I.)1
QR(P)
where we have used the structure of (and the intrinsic geometry of QR(J.I.). Also
f
r fvP-2 (v 2 _ k2)2 ID(1 2dxdT < "Y 1I2 J.1.4. RN.
j'
- (1-0')2
+
QR(P)
This is obvious if p > 2. If 1 < p < 2, we observe that the integral is extended over the set v > (I - 211)J.I.. We estimate below the integral on the left hand side of (9.6) by extending the integration over the smaller set [v> (I - II )J.I.]. On such a set, (v 2 - k2)+ ~ IIJ.1.2. These remarks in (9.6) prove (9.4). Set for all O
==
f
Du(x, t) dx.
Kp
LEMMA
9.2. There ex;sts'(l constant "Y="Y(N,p). such that/or 'all O'E (l,l)
280 IX. Parabolic p-systems: H5lder continuity of Du
Fix UE(O, 1). and foraH tE [-1£2- P (uR)2,O]. set
PROOF:
Vet) ==
f IDulEj!
Du(x, t) dx.
K"R
We apply the multiplicative embedding of Theorem 2.1 of Chap. I to the functions
x
-+
IDulEj! Du(x,t) -
Vet),
'Vt E [-1£2-p(uR)2,O],
which have zero average over KtrR. For the choice of the parameters N Q = N +1' q = 2, s = 1, we obtain
IIIDulEj! Du -
V(t)1 2dx::5 "YIODUIP-2ID2uI2) JIh dx
~R
~R
x The last integral is majorised by ''/#£ ityover [-1l 2- P (uR)2,O] gives
V!IDuI'i'Du-V
rn R-Af:r . Therefore integrating this inequal-
(Il rn RHr) -jIIIDu1lj! Du - V(r)r dxdr Q"R(/J)
::5 "Y
II ODuIP-2ID2uI2) Jfh dxdr
Q..RC/.')
="YI!(IDUIP-2ID2uI2) JIh dxdr A: R
+IloDUIP-2ID2uI2) JIh dxdr B: R
9. Proof of Proposition l.l-(ii) 281 where A~ and B: are defined in (9.1)-(9.2). We estimate the first integral by Lemma 9.1 and the second by using the 'smallness condition' (9.3) and Lemma 7.1. We conclude that there exists a constant 'Y='Y(N,p) such that (9.8)
f1
r [I
IDul
¥
12 'Y 1J2 Vl/(N+l) N+2 Du - VCr) dxdr ~ (1 _ u)2N/(N+l) R .
Q..R(p)
Introduce the vectors wet) by
Vet) == Iw(t)l¥w(t), and observe that
Iw(t)1 ~ IJ,
'
(-1J 2 - P (uR?, 0] .
By the algebraic Lemma 5.1. (9.9)
IIIIDu l¥ Du - v(r)1 2dxd7' Q"It(p)
~
II(lDu l + Iw(r)I),,-2IDu - w(7')1 2dxd7'. Q"It(p)
We treat separately the cases p> 2 and 1 < p < 2.
The degenerate case p
>2
We minorise the left hand side of (9.9) by extending the integration over the smaller set A~R' On such a set.
(lDul
+ Iw(t)l)P-2
~ IDul,,-2 ~ 22 -"IJP -
2•
This with (9.8) yields [ [
(9.10)
11 IDu -
2
'Y1J 2 v 1/(N+l)
W(7')1 dxd7' ~ (1- u)2N/(N+l) IQR(IJ)I·
A~1t
Next write
IIIDU - w(t)1 dxdr = IIIDU - w(7')1 2dxd7' + IIIDU - w(7')1 2dxd7'. 2
Q"It(p)
A~1t
B~1t
vi
The first integral is estimated in (9.10) and the second is majorised by 21J2 Q R (IJ) in view of the 'smallness' condition (9.3). We conclude that
I.
282 IX. Parabolic p-systems: HOlder continuity of Du
for a constant "( = "(N,p). The minimum on the left hand side is achieved for V == (Du)aR (t). This proves the lemma if p> 2.
The singular case 1 < p < 2 Since !w(t)! :5 ,.,., we have (/Du! + !w(t)l)P-2 ~ 2P-
2 ,.,.p-2.
Putting this in
(9.9) and combining it with (9.8) gives
jJr!Du - w(t)! dxdr:5 (1 _ u)2N/(N+l) IQaR (,.,.) I· r
"( ,.,.2 v l/(N+l)
2
Q"R(/J)
The proof is now concluded by a minimization procedure.
10. Proof of Proposition 1.1-(iii) Let (Du)p denote the integral average of Du over Qp(""), i.e.,
(Du)p ==
H
Dudxdr.
Qp(/J)
LEMMA 10.1. There exists positive constants "(, a, b that can be determined a priori only in terms of N and P. such that for all u E (i, 1).
(10.1)
H
IDu - (Du)aR 12dxdr :5
"(,.,.2
{(I
~au)b + (1- u)} .
Q"R(/J)
PROOF: By Lemma 9.2
HIDu -
2 "( ,.,.2 v l/(N+l) (Du)aR dxdr :5 (1- u)2N/(N+l)
I
Q"R(/J)
+
HI
(DU)aR - (DU)aR (r)1 2dxdr
Q"R(/J)
and (10.2)
HI
(DU)aR - (DU)aR (r)1 2dxdr
Q"R(/J)
:5
sup -"l-P(aR)l
u
-
,
-
If
(Du(x,t) - DU(X,8»)
dx12.
KtlR
Let = (1 +u) /2 and denote with x --+ (' (x) a non-negative smooth cutoff function in K aR that equals one on K a R and such that
10. Proof of Proposition l.1-(iii) 283
-
2 4 (1- u)R == (1- u)R'
ID{I ~
I
2-1 ~ (1-16u)R'
D {
Write
j (Du(x, t) - Du(x,s») dx
=j
K"R
(Du(x,t) - Du(X,7'»)(2dx
a-KR
- j(Du(x,t) - Du(x,s»)(2dx. K.R\K"R
The last integral is estimated above by 'Y(l - u) IJRN. To estimate the fIrSt integral we integrate the differentiated system (5.2) over (7', t). multiply by (and integrate over Ka-R. This gives
j
(10.3)
(Ui'lI:i (t)
K.R
=
- Ui,lI:i (s)
Iif ('
)(2 dx
div ( .,..-' Du;..,
+ 0:;' Do;)
""dBl·
aK.R
Thecasep>2 The right hand side of (10.3) is estimated by
To estimate the last integral write
jjlDull.jllD2Uldxd7' = jjlDU11.jllD2u1dxd7' ~RW
~R
j
+ jIDul2.j2ID2Uldxd7' B;R
~ IQR(IJ)I! (f!IDuIP-'ID'U1'' ' tt.! ! Au
+ IBill!
)
(!!IDuIp-2ID'U1'''''tt.!! Qu(,,)
)
284 IX. Parabolic p-systems: mlder continuity of Du The frrst integral is estimated by Lemma 9.1 and the second tenn is estimated by the 'smallness' condition (9.3) and Lemma 7.1. Combining these estimates in (10.2) proves the lemma.
The case l
II( ~u
Ui,:J:; (t) - Ui,:J:; (8)
=
)(2 dx
V/
D(-' {IDol""" Du - I(Du)'R (s)l.-2 (Du)'R
(sn., dzdTl
sK.R
t
~ I IID2(IIiDuI P- 2Du -I (DU)uR (8)11'-2 (DU)uR (8)1 dxdr. sK;;R
By the sttucture of the cutoff function ( and (5.5) of Lemma 5.2, this is majorised by
(1 _
!)2
t
R2 IllDu - (Du)uR (s)l"-1 dxds SK.R
We estimate the last integral by Lemma 9.2 and combine it with (10.3) to prove the lemma.
11. Proof of Proposition 1.1 concluded LEMMA 11.1. Let e E (0, 1) be the number claimed by Lemma B.l. There exists a number v E (0, i) such that if (9.3) holds, then
HIDU -
(11.1)
QR(")
(11.2) PROOF:
Write
(DU)RI 2dxdr
~ ep.2,
II. Proof of Proposition 1.1 concluded 285
H
IDu - (Du)RI 2dxd".
= U N +2
Q RC,,)
H
IDu - (DU)aRI 2 dxd".
Q.RC,,)
+ IQR(P.)1-1jjIDU -
(Du)Rr dxd".
QR(,,)\Q.RC,,)
H
I(Du)R - (DU)aRI 2 dxdT.
+ u N +2
Q.R(")
The flrst integral is estimated by Lemma 10.1 and the second is bounded above by
"Y(1 - q)p.2. To estimate the last integral write
(DU)R-(Du)C7R
= IQC7R (p.) 1- 1{U N+2j jDudxd". - j j QRC,,)
= IQC7R (p.) 1- 1{ {u N+2 -
DUdxd".}
Q.RC,,)
lifj Dudxd". + j j QR(,,)
DUdxdT} .
QRC,,)\Q.RC,,)
This implies that
and
H
IDu - (DU)RI 2 dxdT
:s "Y p.2 { (1 :ou)b + (1 -
u) } .
QR(")
:s
To prove (11.1) choose u so close to one that "Y(I- u) ~e. and then v so small that "YvO(1 - u)-" ~e. To prove (11.2) we flrst observe that the deflnitions (9.1)-(9.2) imply
:s
Then by the 'smallness' assumption (9.3)
jjlDu I2 dxdT QRC,,)
~ jjlDU I2 dXdT ~ p.2(1_ v)3IQR(P.)I. Ail
Using now (11.1)
H
IDul 2 dxd". -
QRC,,)
H(Du)~dxd". H =
QRC,,)
QRC,,)
:s ep.2. From this
IDu - (DU)Rr dxd".
286 IX. Parabolic p-systems: fR)lder continuity of Du
I(Du)RI 2 ~
HIDul
2dxdT - EJ.l.2
~ {(I -
v)3 - E} J.l. 2•
QR(")
PROOF OF PROPOSITION 1.1: Let E, 6 Ie E (0,1) be fixed as in Lemma 8.1. We start the iteration process of Lemma 8.2 with Vo == (DU)R, and let {Vi} ~ be the corresponding sequence of constant vectors in RNxm satisfying (8.7). It is apparent that, by an application of the triangle inequality, the vectors Vi can be replaced by (DU)i' by possibly modifying the number Ie.
12. Proof of Proposition 1.2-(i) We assume that the smallness condition (9.3) does not hold, i.e.,
(12.1) LEMMA
12.1. Let (12.1) hold. There existssome t ••
(12.2)
such tMt (12.3)
mess {x E KR ! v(x, t.) > (1 - v)J.I.} <
PROOF:
I-v 1 _ vI2IKR!, v
= IDul·
Indeed if not, _,,2-P(~/2)R2
IARI ~
f
mess {x E KR I V(X,T)
> (1- v)J.I.} dT
_,,2-PR2
~ (1 -
V)IQR(J.I.)I,
contradicting (12.1). We will work with the function w == IDuI 2 , which satisfies (1.8) within the cylinder KR x (t., 0). Introduce the change of variables
T = -tit.,
e= xl R, wee, T) = weRe, -t.T)
and the convex function of w %
w
I}
== max { J.l.2 i '2 .
Then KR x (t., 0) is mapped into Ql == Kl X (-1,0) and, denoting again with (x, t) the transformed variables, % satisfies
(12.4)
%t-(At,k%Zt)o;,,:50 in Ql
and
0<%:51,
12. Proof of Proposition 1.2-(i) 287
where the matrix (At,Al) is uniformly elliptic with eigenvalues bounded above and below independent of 1-'. Indeed it follows from (1.9) and the range (12.2) of t. that
for two constants co(N,p, v) terms of z implies (12.6)
meas {x E Kl
~
Co(N,p, v). The information of Lemma 12.1 in
I z(x, -1) > (1 -
I-v
v)} ~ 1 _ 1I/2IK11.
Without loss of generality we may assume that z satisfies (12.4) in a slightly larger box, say Q2. This can be achieved by starting for example with Q2R (1-'). Proposition 1.2 is a consequence of the following: 12.1. Let z E C (-2,Oi L 2(K2») nL2 (-2,0; W 1,2(K2)) be a subsolution off12.4)-(12.5), and let (12.6) hold. There exists 11 =lI(N,p, II) E (0, I), such that THEOREM
meas {(x,t) E
Q! I z(x,t) > (1-1I)}
= O.
In view of (12.4), the proof of the theorem uses techniques typical of a single equation. Even though these methods have been presented in various forms in Chapters n and m, we reproduce here the main points, to render the theory selfcontained.
12-(i). Some energy estimates/or z LEMMA
12.2. Let 0 < 110 < v and consider the function !li(z) = In+ { II II - (z - (1 - 11»+
+ 110
}
•
There exists a constant"( = ,,(N,p, v) such that for all t E (-1,0) andfor all 0<0'< 1, (12.7)
J
!li2(z) dx
K"x{t}
~
f
!li2(z) dx + (I! 0")2
KIX{ -I}
JJ
!li(z) dxdT.
Ql
PROOF: Let x - (x) be a cutoff function in Kl that equals one on KiT, and in the weak formulation of (12.4) take the testing function !lilli'(2, modulo a Steklov averaging process. Then (12.7) follows by estimates analogous to those in Proposition 3.2 of Chap. II.
288 IX. Parabolic p-systems: fR)lder continuity of Du LEMMA 12.3. ForO
(12.8)
The proof of (12.8) is analogous to the proof of the energy estimates of Proposition 3.1 of Chap. II. The spaces Vm,P( Qp) for m, p ~ 1 are introduced in §3 of Chap. I.
13. Proof of Proposition 1.2 concluded LEMMA 13.1. There exists a constant Tio such that for all t E ( -1,0)
(13.1)
meas {x E
E
(0, v) depending only upon N,p,v
Kl I z(x, t) > (1 - Tio)} < (1 - 1.12/4) IKll·
PROOF: We will use the logarithmic inequality of Lemma 12.2. Since !P'(z) vanishes on the set [z < (1 - v)], by virtue of (12.6), the first term on the right hand side of (12.7) is majorised by
I-v
1- 1.1/2 In
2(1.1)
~o IKll·
The second term is majorised by
We estimate below the right hand side by extending the integration to the smaller set [z(·, t) > (1 - Tio)]. On such a set
!P'(z)
~
In (v/2Tio).
Combining these estimates in (12.7) gives
Also
13. Proof of Proposition 1.2 concluded 289
I z(x, t) > (1 - '10)} ~ meas {x E Ku I z(x, t) > (1 -
meas {x E KI
'10)}
+ (1 -
O')IKII
< 1 - v IKllln2 (v/'1o) - 1 - v/2
+
In 2 (v/2'10) '"t In (v/'1o) (1 _ 0')21Kllln2 (v/2'10)
+ (1 -
O')IKII·
Choose 0' so that (1 - 0') ~ v 2 /8 and then '10 so that
'"t In (11/'10) < 112. (1 - 0')2ln2 (11/2'10) - 8 By choosing '10 even smaller if necessary. we may insure that
In 2 (11/'10) < 1 _ 112. 1- 11/2 ln 2 (11/2'10) 2 1-
II
Having determined '10. let So be the largest positive integer such that2- So ~
'10' For s ~ So. set o A.(t)
== {x E KI
I z(x, t) > (1 -
2- S )
}
,
As
==
jIAs(T)ldT. -I
Then Lemma 13.1 implies that
'It E (-1,0).
(13.2) LEMMA
13.2. For every v.
E
(0, 1) there exists a positive integer s.
> So such
that (13.3)
PROOF: Apply Lemma 2.2 of Chap. I to the functions x-+z(x, t) fortE (-1,0). and for the levels
l
= 1- 2-(·+1),
Taking into account (13.2). we obtain
2- S lAsH
I ~ IKI \~s(t) I
j IDzl dx
A.(t)\A.+1(t)
"~(N,p,
v)
(j ID
(z - (1- 2-'))+
x (lA.(t)I-IA s+1(t)l) i .
I'dx) I
290 IX. Parabolic p-systems: Ht;lder continuity of Du
We square both sides of this inequality, integrate in dt over (-1,0) and estimate the resulting integral on the right hand side by the energy inequalities (12.8) written over the pair of cylinders Ql and Q2. This gives
4- s A~H :5 "Y4- s (As - AsH) . Divide through by 4- s and add these inequalities for 8=80' 8 0 obtain
+ 1, ... ,8. -
1 to
s.
(8. - 80
-
I)As. :5 "Y
E (As - AsH) :5 "YIQ11·
As. :5 (8.
-
Therefore
PROOF OF THEOREM
"Y 80-
1)
IQ11·
12.1: Consider the family of nested boxes
and the increasing levels
n=O,I, ... , and set Yn
== meas {(x, t) E Qn I z(x, t) > kn }
.
Write the energy inequality (12.8) over the boxes Qn for the functions (z - k n )+, where ( is the standard cutoff function in Qn that equals one on Qn+l' By the embedding Proposition 3.1 of Chap. I, with m =p = 2,
II
(z - kn
)! dxd-r:5 II [(z -
kn )+ (]2 dxd-r
Q"
Q"+1
x
(if
[(z - k.l+ <) if<
dzd_,y-It. y.wb
:5 ,,(z - kn)+ (1I~2.2(Q")Ynwh :5 4S • Y~+wh . On the other hand
YnH :5 "Y4n+s •
II
(z - kn
)! dxd-r.
Q"+1
Therefore
y.n+l < _ "Y4ny'1+1i1h n ,
n=0,I,2, ....
It follows from Lemma 4.1 of Chap. I that {Yn } - 0 as n -
00
provided
15. Bibliographical notes 291
(13.4) To prove the theorem we have only to pick 8. by the procedure of Lemma 13.2 so that (13.4) is satisfied and then set 'I = 2-(8.+1).
14. General structures Consider the general non-linear system (1.10) of Chap. VIII subject to the structure conditions (81)-(~). The proof of Propositions 1.1 and 1.2 for these systems is analogous to that in §§6-11. The corresponding 'IiMar' system about a point (x o, to) E flT is
For this, the linear analysis of §6 can be carried with minor changes. The analog of the 'algebraic' lemmas of §5 are a direct consequence of the structure conditions (81 )-(~). In the proof of Propositions 1.1 and 1.2, when working within cylinders [(x o, to) + Q (6, p)], the 'perturbation terms'
15. Bibliographical notes The content of this Chapter is essentially taken from [36,37]. The estimation of the oscillation of Du in §§2 and 3 builds on [37] but it is essentially new. The algebraic Lemmas of §5 are scattered in the literature mainly without proofs. We have attempted to rephrase them in the context of p-systems. The theory of linear parabolic systems of §6 is taken from Campanato [23]. The rest of the Chapter follows [36,37].
X Parabolic p-systems: boundary regularity
1. Introduction We will establish everywhere regularity up the boundary for weak solutions of the parabolic system
,Um), meN, UieC (e,T; L2(O»nV(e,T; Wl,P(O» , Ui,t -div IDulp-2 DUi = Bi(X, t, U, Du), in 0 x (e, T), ee(O,T), i=I,2,,,.,m, p>max{liJ~2}, U::(UlIU2, ..•
(1.1)
{
associated with Dirichlet boundary data (1.2)
in the sense of the traces on ao, of functions in Wl,p(n). The basic assumptions on ao, the boundary data g and the forcing term B
g:: (91t!I2, .. · ,9m),
are the following: (A l )
(A2)
ao is of class Cl,~
for some oX e (0,1), in the sense of (1.2) of Chap. I. Thus the norm IlaolhH is finite.
The functions gi, i = 1,2, ... , m, are restrictions to ao of functions 9i' dermed in the whole OT, and satisfying
1. Introduction 293
-
(1.3)
.\-
C (nT), gi,t E LOO(nT), i = 1,2, ... , m , j = 1,2, ... , N. gi,z; E
We set(l) m
IIgli == L
0.4)
N
L {1I9illoo,nT + 119i,tlloo,nT + [9i,z;t,nT}·
i=l j=1
IB(x,t, u,Du)1
(A3 )
::; Bo (1 + IDuIP-1), a.e. in nT,
for some given constant Bo. We say that a constant "'1 = "'1 (data) depends only upon the data if it can be determined a priori only in terms of
(data) == (N, p, B o, Ilanlll+.\, IIglI) . 1.1. Let u be a weak solution of (1.1 )-(1.2) in (A 1 )-(A3) hold. Then
THEOREM
fl.i
E
C 1-
0I
(nx (E, Tj) , for every
n x (E, T), and let
aE (0,1), i = 1,2, ... , m.
Moreover for every aE (0,1) and every EE (0, T), there exists a constant "'1
= "'1 (a,E,IIDullp,flx(£,T),data) ,
such that (1.5)
The constant "'1 tends to infinity as either E'\. 0 or as a '\. o.
Remark 1.1. The constant "'1 is •stable' as p -+ 2. THEOREM 1.2 (HOMOGENEOUS BOUNDARY DATA). Letubeaweaksolution of (1.1 )-(1.2) with g == 0 and let (Ad - (A2 ) hold. For every E E (0, T) there exist constants
"'1 = "'1 (E,IIDullp,flx(£,T),data)
> 1 and a=a(data) E (0,1)
such that [tI.i,Z;JOI,'i1x[£,TJ ::; "'1,
i
= 1,2, ... , m, j = 1,2, ... , N.
The constant "'1/00 as E'\. O. We will only carry the proof of Theorem 1.1. The proof of Theorem 1.2 follows exactly the same arguments, where in the various estimates the contributions coming from IIgll are discarded.
(1) For a smooth function r/J, the norm [r/Jh,K is defined in (1.3) of Chap. I.
294 X. Parabolic p-systems: boundaJy regularity
2. Flattening the boundary Let e E (0, T) be fixed. We will estimate the oscillation of Ui about each point (x o• to) E an x (e, T). For this we first introduce a change of coordinates that maps a small portion of an about (xo, to) into a portion of an hyperplane. After a translation we may assume that (xo, to) coincides with the origin. We will work within the cylinder
Q'R, == K'R, x {-'R., O} ,
2'R. = min{po; e},
where Po is the number that determines the structure of an as in (1.2) of Chap. I. The portion of the boundary annK'R, is represented by XN
= 4>(x),
x == (Xl, X2, ••• , XN-l)
,
where 4> is a function of class C l ,>. in the (N -1) -dimensional ball8'R,. satisfying (2.1)
The last condition can be realised by taking a smaller Po if necessary. With respect to the new variables
Xi
= Xi,
i
= 1,2, ... ,N-I;
the portion annK'R, coincides with the portion of the hyperplane XN =0 within
K'R,. We orient XN so that, say, nnK'R, C {XN >O} and set Q~
== Q'R,n{XN > O}.
Denoting again by X the transformed variables x and with Ui, B i , 4>, etc., the transformed functions. the system (1.1) takes the form
(2.2)
(2.3)
(2.4)
A
( ) _ ( X
=
IN-l
-DcI(x)
-D4>(X)) (1 + 1D4>12(x)) ,
where IN-l is the (N -1) x (N - 1) identity matrix. To reduce (2.2) to a system with homogeneous boundary data on Q'R,n{ X N = O} set Wi=U;-.9i,
i=I,2, ... ,m,
and rewrite (2.2) in the form (2.5)
!
Wi -
div Ai (x, t, Dw)
= Bi + a~l A"
in
Q:k,
2. Flattening the boundary 295
Figure 2.1
= at,k (x, Dw + Di) Wi,x" ,
(2.6)
Ai,t (x, t, Dw)
(2.7)
Bi=Bdx,t,w+g,Dw+Di)-
(2.8)
At = at,k (x, Dw + Di) 9i,x".
!9i,
Using the assumptions (Al)-(A3) we find the following structure conditions and regularity properties on the various tenns of (2.5): (2.9)
{
Ai,t(x, t, DW)Wi,XI ~ "YolDw + Dil,,-2IDwI2 Ai,t(x,t,Dw)wi,xt $ "YllDw + Dil,,-2IDwI2,
for two positive constants "Yo $ "Yl depending only upon the data. Moreover for all i=I,2, .. . ,m and k=I,2, ... ,N, (2.10)
IAi,k(x, t,e) - Ai,k(y,T,e)1 $ "Y (1 + lel,,-l) (Ix -
Ve E R Nxm ,
and for a.e. (x,t), (y,T) E Q*,
yl + It - TI)~
296 X. Parabolic ,rsystems: boundary regularity (2.11)
IBi (x, t, Dw) I :5 'Y (1 + IDwl,,-l) ,
(2.12)
Ihi (x, t, w, Dw) I :5 'YIDul,,-2.
From (2.1) and the definitions (2.3)-(2.4) and (2.6), it follows that
. = I~ + b 1,,-2 ~i,1c 61c,i,
Ai,l (0, O,~)
(2.13)
V~ E R N xm,
b == (Di) (0,0).
(2.14)
2 -(i). Comparison functions Consider cylindrical domains of the type
where '1 E ( -1, 1) is to be chosen, Xo E K'R. n{x N =O} and the faces of the cubes (xo + KR] are parallel to the coordinate'axes. These boxes are contained in Q'R. if (2.15)
which from now on we assume. The proof of Theorem 1.1 is based on comparing w in a neighborhood of each point (xo, to) E Q'R./2 n { x N ~ O}, with the solution of V
(2.16)
{
== (Vl.V2, ... ,vm ), mEN,
vi,t-div IDvl,,-2 DVi =0, in [(x o, to) + Q (R2+'I, R)] nQ~, Vi
= Wi
on 8" [(xo, to)
+ Q (R2+'I, R)]nQ~,
where 8"Q denotes the parabolic boundary of a cylindrical domain Q. The existence of a unique weak solution of (2.16) can be established by a Galerkin procedure. (1) Denote by
x == (Xl,X2,'.' ,XN-l), the coordinates in K'R.. Then since w vanishes for x N =0, we also have v(x, 0, t) = O. We let v and W denote the odd extensions of v and w in the cylinder (X,XN) ,
[(x o, to)+Q(R2+'I,R)ln{zN~o}, i.e.,
+ Q (R2+'I, R)] n{XN ~ O} [(x o, to) + Q (R2+'I, R)] n{XN :5 a}, [(xo, to) + Q (R2+'I, R)] n{XN ~ O}
in [(x o, to) in
w == {
W(:,XN' t), in -W(X,-xN,t), in [(x o,to)+Q(R2+'I,R)]n{xN :50}.
Then, by the reflexion principle v is the unique solution of (1) See, for example, [73],
3. An iteration lemma 297
V == (iit,V2, ... , Vm), mEN, { vi.t-div IDvlp - 2 DVi =0, in [(x o, to) + Q (R2+'1, R)] , Vi = Wi on 8p [(x o, to) + Q (R2+'1, R)] .
(2.17)
It follows from the interior estimates of Theorems 5.1 and 5.2' of Chap. VIII that IDvl is bounded in the interior of [(x o , to) + Q (R2+'1, R)] and it satisfies the sup-bounds (5.1) and (5.3). We restate these bounds for the special geometry of
[(x o , to) + Q (R2+'1, R)].
THEOREM 2.1 (THE DEGENERATE CASE p> 2). Let v be the weak solution of(2.17). There exists a constant 'Y='Y(N,p) such that for all O
(2.18)
IDvl '5. 'Y (R'1
sup [(zo.to)+Q(r+".p»)
ff IDvIP dxdr) + R-~. 1/2
[(zo.to )+Q(R2+".R)
)
2.2 (THE SINGULAR CASE max { Ii A~2} < p < 2). Let v be a weak solution of(2.17). There exists a constant'Y = 'Y(N,p) such that for all THEOREM
O
IDvl '5.'Y (R- N '1
sup [(zo.to )+Q(p2+".p»)
ff IDvlP
dxdr)l/VP + Rr-.,
[(zo.to)+Q(W+" .R)
where IIp=N(P - 2) + 2p. Remark 2.1. Theorem 2.2 is a restatement of Theorem 5.2' of Chap. VIII with q p. By Remark 5.4 of the same Chapter, such a choice is admissible.
=
3. An iteration lemma LEMMA
3.1. Let 8""!p( 8) be a non-negative non-decreasing function defined in
[0, I] and satisfying (3.1)
!P(p)'5.A(!JJ !peR) + ~A(R~-V"+"R-"),
VO
for given positive constants A, {3,II,1\: satisfying in addition {3 > I\: and II E (0, 1). Then for every (3.2)
0'5.
6< (1 ~ ~):): {3) , I\:
there exists a constant 'Y depending only upon A, {3,11 and 6, such that
298 X. Parabolic p-systems: boundary regularity
P )(j-tf,+6 cp(p) ~ 'Y ( R' (cp(R) + 1)
(3.3)
VO
where q = 1 +
(1 - v)1\:
f3
PROOF: Choose Ro < 1 and define the sequence Rn+l Then cp(Rn+1)
.
= ~, n = 0, 1,2, ....
~ A~l-II)tf,cp(Rn) + ~A ( n!;'~" + ~+~/,) = A~l-II)"cp(Rn) + A~+~/'.
Iteration of these inequalities gives
Now
and
Therefore if A ~ 2 cp(Rn+1)
~ An+1 ( ~1 ) (j cp(Ro) + 2An+1l(+~/'.
Fix 6 in the range (3.2) and set E
=
I\:
(1 ~ ~):): f3) - 6;
f3 -
~ = f3 -
I\:
+ 6 + E.
Then
n+1
The first coefficient in (3.3) is independent of n if n is so large that AR~m Let no be the smallest integer satisfying
~ 1.
4. Comparing w and v (the case p > 2) 299 qno+l
InA
-->--. no + 1 - I1nR~1
It follows from (3.3) that if n ~ no,
If Ra < 1 is fixed, for every p E (0, Raj there exist some n E N such that Rf+l ~p~ Rtf. Therefore the equation p = R!,q" has a root (J E [I, q]. Starting the process with Ra replaced by R!, gives
Remark 3.1. The lemma continues to hold for 11=0. The constant 'Y on the right hand side of (3.3) is 'stable' as 11'\.0.
4. Comparing w and v (the case p> 2) We start by comparing w solution of (2.S) with the solution v of (2.16). Having fixed (xo, to) E Ql'R n {XN = O}, we may assume, after a translation, that it coincides with the origin. Setting
the vectors w and v satisfy (4.1)
!
(Vi - Wi) -
div (IDvIP-2Dvi -IDwIP-2Dwi)
= - div(Ai(x,t,Dw) -
Ai(O,O,Dw» - div (Ai(O,O,Dw) -IDwIP-2Dwi)
- Bi(x, t, Dw) - 1:>8
uXl
(4.2)
Vi - Wi
=0
Ii leX, t, w, Dw), '
in +Q1t,
on the parabolic boundary of +Q1t.
From (2.10) it follows that
IAi,l(X, t, Dw) - Ai,t(O, 0, Dw)1
~ 'Y R).. (1 + IDwIP-l),
for i=I,2, ... , m and 1.=1,2, ... , N. Moreover from (2.13) and (2.14)
300 X. Parabolic p-systems: boundary regularity
IAi(O, 0, Dw) -IDwIP-2 DWil ~ 'YIIDw + bl p - 2-IDwIP-21IDwl ~ l' (1
+ IDwIP- 2 ) .
In the weak fonnulation of (4.1) take the testing function Vi - Wi modulo a Steklov average, and add over i = I, 2, ... , m. We estimate the tenns on the right hand side by the remarks above and the left hand side by making use of the algebraic Lemma 4.4 of Chap. I to obtain
//IDW - DvlPdxdr
~ 'YR).
+Qlc
//(1 + IDwIP-1) IDw - Dvl
dxdr
+Qlc
+1'//(1 +IDwIP-2) IDw - Dvl +1'//(1 +IDwIP-1) Iw - vldxdr
dxdr
+Qlc
+Qlc = [(I) + [(2)
+ [(3) .
In the estimates below we integrate over the boxes Q'k, rather than +Q'k. In doing 50 we think of v and w as defined in the whole Q'k through an odd extension as indicated in §2. By the Schwartz inequality [(I)
~ ~//IDW - Dvl Pdxdr+'YR).P!Y Q~
[(2)
//(1 + IDwIP) Qlc
~ ~//IDW-DvIPdxdr+'Y//(I+IDwIP)~ Q~
dxdr,
dxdr.
Q~.
Since v - w vanishes on the lateral boundary of Q'k, by the Sobolev embedding, (1) z.::.!
1(') S
~R (If (1+ JDwJP) kdT) , (I/,Dw -DvIP
~ ~//IDW-DvIPdxdr+'YRP!Y Qlc
Combining these estimates gives (1) Corollary 2.1 of Chap. I.
//(1 + IDwIP) Q~
r .1
dzdT
dt.
4. Comparing w and v (the case p > 2) 301
//IDW - DvlP dxdr ~ "YR~t=r. //(1 + IDwIP) dxdr
(4.3)
Q~
Q~
+ "Y//(1 + IDwIP)~ dxdr. Q~
From this we deduce two inequalities. First, since
p-
2< 1
p-l
we have
If
(4.4)
and
(1 + IDwIP)~ ~ (1 + IDwIP),
IDvlPdxdr :5 "Y
Q~
If (1 + IDwIP)
dxdr.
Q~
Second, for 0: > 0 set
:F (0:, "I, R) == Rap
(4.5)
If (1 + IDwIP)
dxdr,
Q~
and observe that
//(1 + IDwIP)~ dxdr ~ "YRN+2+,,-ap~ [:F(O:'''I,R)l~. Q~
This implies that VO
//(1 + IDwIP) dxdr ~ "YR~t=r. //(1 + IDwIP) dxdr Q~
Q:
+/ /IDvlPdxdr + "YRN+2+,,-ap~ [:F(o:, "I, R)l~ .
Q: By taking R sufficiently small and by interpolation, the first term on the right hand side of (4.6) can be eliminated. This is the content of the following lemma: LEMMA
In
(4.6')
4.1.
1
There exists a constant "Y ="Y(data) such that for all V0< p ~ R ~
//(1 + IDwlP)dxdr ~ "Y!!IDvIPdxdr Q:
Q;p
+"YRN+2+,,-ap~ [:F(O:'''I,R)l~. PROOF:
It suffices to prove the lemma for R ~ R" where Ro is so small that
302 X. Parabolic p-systems: boundary regularity
'Y (2Ro).\p!-r ~ ~. Let 0 < p ~ ~ Ro and consider the sequence of radii
Pn ==p+2-"p,
n=O,I,2, ....
Write (4.6) for R=P,,-l and P=P",n~h and set
Y"
PI + IDwIP)
==!
dt
Q:n
Z
== 'Y!!IDvIPdxdT + 'YRN+2+71-ap~ [.r(a''1,R)l~ . Q~"
Then by iteration from (4.6), Yoo
==//(1 + IDwIP) dxdT
Q:
We return to (4.6)' and estimate the integral involving Let 0 < P~ R. Then by Theorem 2.1 and (4.4)
!
/ /IDVIPdxdT
Q:
~ 'YpN+2+71I1Dvll:a,Q:
,;
~pN+2+'
{ Jl!lPI'
(U IDvIPdzdT) (U IDvIPdzdT)
,;
~pN+""'{
x
(UIDvIPdzdT) + R-'-,!.}'
Jl!lPI'
Next choose '1 = a(p - 2),
Then
Dv in terms of Du.
for some a> O.
pl'+ R"-,!. } ~
4. Comparing w and v (the case p
Ir',/2
(u
~
IDvl'do:dr )
"
> 2)
303
~ [.1" (Q, ., RlI'" ,
and by suitably modifying the constant 'Y we deduce from (4.6)' that for all 0 < p~R~!,R., (4.7)
//(1 + IDwI Q:
P)
dxdr
~ 'Y [.1' (a, 71, R)l
~
(p)N+2+'I f f R )} (1
+ IDwlP)dxdr
Q1r +'Y[F(a'71,R)l~ RN+2+'I-a~ +'YpN+2+'I R-ap, for a constant 'Y = 'Y (data). Set
F(a) ==
(4.8)
sup
{pap
(:Co,to )EQR/2
H + IDwI (1
P)
dt}
[(zo,t o )+Q:l
O
and
(4.9) We summarise: PROPOSITION 4.1. Let a > 0 and 71 = a(p - 2). There exists a constant'Y 'Y (data), independent 0/ a, 71, p, R, such that
=
/orall (xo,to)EQ:k/2 and/orall O
//(1 +
IDwlP)dxdr
[(zo ,to)+Q;J
~ 'Yg(a)(~)N+2+'I
/f
[( Zo ,to
+ 'Yg(a)RN+2+'I-ap~
(1
+ IDwlP)dxdr
)+Q7tJ
+ 'YpN+2+'I R-aP.
PROOF: The previous arguments prove the proposition for those points (xo, to) EQ!Rn{XN =O}.
The estimate is obvious for boxes [(x o, to) + Q7tl c Q~, by interior estimates. If [( xo, to) + Qkl intersects {x N =O}, then either (4.11)
[(Xo,to)+Q1R]CQR or [(Xo,to) + Q1R]n{x N =O}#0.
304 X. Parabolic p-systems: boundary regularity
In the first case we may establish (4.10) with R replaced by ~ R. The general case follows by suitably modifying the constant "f. If the second of (4.11) holds, we let
X. == (Xo,l' Xo,2, . .. ,Xo,(N-l), 0)
(4.12)
and observe that
[(x., to) +
Q1R] C [(xo, to) + Qkl·
We carry on the process leading to (4.10) for such a new box, for all 2X o ,N :5 p < R. This implies that (4.10) holds for all Xo,N < p:5 R. If p:5 Xo,N, we consider
!
!
the cylinder
[(XO,to) + Qt.N]' which satisfies the inclusion [(Xo, to) + Ql zo,N] c Q:k.
Then by interior estimates, (4.10) holds with R replaced by Xo,N. Combining the two cases and suitably modifying the constant "f we conclude that (4.10) holds for -+ 1 all (xo,to)e QI'R. and all O
5. Estimating the local average of IDwl (the case p> 2) LEMMA 5.1. For every 0:
e (0,1) there exists a constant "f = "f (0:, data), such
thot jorall (Xo, to)
e Q:k/2
H
and/orall
0
(I, + IDwI P ) dxdr:5 "f(o:,data) p- QP ,
(5.1)
'1
= o:(p- 2).
[(zo,to)+Q:l
Define the sequences 0: 0 = (N + 2)/2 and for n= 1, 2, ... ,
PROOF:
We will prove inductively that
(5.2) Since IDwleLP(nT),
H
(1
+ IDwI P )
[(zo,to)+Q:ol
Therefore
dxdr
:5 "fP-¥ P (1 + IIDwll:,nT) .
6. Estimating the local averages of w (the case p > 2) 305 Suppose the lemma holds for Q n and let us show that it continues to hold for Q n +1.
If F(Qn):'5 1'(Qn), the quantity Q(Q n ) introduced in (4.9) is bounded and we may use (4.10) with Q = Q n and TI = TIn. We apply the iterative Lemma 3.1 to the function
tp(p) =
JJ(1 + IDwI
P)
dxdr,
[(zo,to)+Q~l
with the choice of parameters (5.3)
v
We obtain
If
(1
+ IDwI P )
[(zo,to)+Q~n
p-2
= --, p-l
6 = 6n Q np.
dxdr :'5 1'(Qn+d p-On+lP (tp(R)
+ 1).
1
Let 0 < P:'5 'R/2 be fixed and consider the point (xo, to) == (0, 0). Without loss of generality assume that p'r/n+l / p'r/n is an integer, and partition the cylinder [(x o, to) + Q~n+l] into s = p'r/n+l-'r/n adjacent boxes with 'vertices', say (0, td, (0, t2), ... , (0, t s ). Then
If
(1 + IDwI P ) dxdr:'5
n p'r/ p'r/n+l
Q:n+l
~ ~ 3=1
If
(1
+ IDwIP )
dxdr
[(o,tj)+Q~nl
:'5 1'(Qn+l) p-On+lP. We may treat analogously the other points of Q'R./2 and the inductive inequality (5.2) follows. To prove the lemma it suffices to prove that {Q n } -. 0 as n -. 00. The sequence {Q n } is deacreasing. We claim that {Qn} -. O. Indeed if not, lim
n--+oo
Q
n
=
Q
o
> 0,
and the definitions of {Q n } and {6n } would imply
Therefore Qn+l :'5 Qn(I-6o). This in tum implies {Q n } -.0. Remark 5.1. The constant l' on the right hand side of (5.1) is 'stable' as p ~ 2. This follows from the choice (5.3) of the parameter v and Remark 3.1.
6. Estimating the local averages of w (the case p > 2) We return to cylinders bearing the natural parabolic geometry, i.e., Q p == Q and will work within the boxes
(p2, p)
306 X. Parabolic p-systems: boundary regularity
Since w vanishes for XN =0, we regard it as defined in the whole QR, by an odd extension across {x N =o}. Let
(w)o,p == HW(X,t)dxdr [(zo,to)+QpJ
denote the integral average of w over I(xo , to) the origin, we let (w)o,p==(w)p' Also let
f
(w)o,p (t) ==
w(x, t)dx,
+ Qp]. If (x o, to) coincides with
t
E
(to
-l, to).
{zo+KpJ
We observe that if Xo E {XN =O}, we have (w)o,p (t) =0 for all t E (to - p2, to). since w is odd across {XN =O}, and in particular (w)o,p =0. LEMMA
6.1. For every a E (0,1) there exists a constant "( = "( (a, data), such
lhat (6.2)
H
Iw - (w)o,p IP dxdr :5 "((a)pp(l-OI),
[(zo,to)+QpJ
for all cylinders satisfying (6.1 ). PROOF: We first observe that from Lemma 5.1 and its proof it follows that for every cylinder satisfying (6.1)
H
(6.3)
(1
+ IDwIP) dxdr :5 "((a) p-OIP.
[(zo,to)+Qp]
If Xo E {XN =O} by the Poincare inequality and (6.3).
H
Iw - (w)o,p IP dxdr :5 "((a) pp(l-OI).
{(zo,to)+QpJ
Consider next the case (6.4)
[(xo, to) + Qp+ap]
C Q~/2'
U E (0, l) to be chosen.
By a translation we may assume that (xo, to) coincides with the origin. We have
6. Estimating the local averages of w (the case p
Iw - {w)pIPdxdT :5 H
H Qp
> 2) 3C17
Iw - {w)p {T)I PdxdT
Qp
+ HI {W)p (T) - (w)p IPdxdr Qp
== ](1) + ](2). By the Poincare inequality and (6.3) ](1)
:5 ')'{a) {I'(I-a).
Next (6.5)
](2)
=H
/H
Qp
[w{x, t) - w{x, r)] dxdrr dxdt.
Qp
We estimate the integrand on the right hand side of (6.5) by making use of the equation (2.5), over the cylinder Q P+tT p. Let x -+ ({ x) be a non-negative piecewise smooth cutoff function in K p+tTP that equals one on Kp and such that ID(I :51/up. In the weak formulation of (2.5), take ( as a testing function and integrate over K p+tTP x [T, t] to obtain
/!
([w{x, t) - w{x, r)] dx/
Kp+"p
:5
t
!!IAi{X,w, Dw).D(+At(xt+Bi(ldxdT
1=1 Qp+"p
/(1 +
:5 u'Yp!
IDwIP-1) dxdT
Qp+"p
By the properties of ( and (6.3) with a suitable choice of a we conclude that
1/[w{x, t) - w{x, T)] dxl :5 ~pN+(I-a) l(p
+ / /[w{x,t) - w{x,T)]dxl. Kp+"p\Kp
Let {w)P+tTP denote the integral average ofw over the Qp+tTP, i.e.,
308 X. Parabolic p-systems: boundary regularity
(W)P+t7P
if
==
w(x, r)dxdr.
Qp+"p
Then
I j [w(x, t) - w(x, r)] dXI .1
~ IKp+t7P\Kpl~ { (
jIW(X,t) - (w)P+t7P 1PdX)
p
Kp+"p
+
L!.~w("
.1
I'
T) - (W)"..,
Combining these estimates in (6.5) gives [(2)
~
;P ,;'(1-0)
+ 'YUp - 1
if IW -
(W)p+t7pI Pdxdr.
Qp+"p
We conclude that for every aE (0,1) there exists a constant 'Y='Y(a) such that for every uE (0,1) and for every pE (0, fR) (6.6)
if Iw - (w)pI
P dxdr
~ 'Y~~) p(l-o)P
Qp
+ 'Y(a)uP - 1
if Iw -
(w)p+t7 pIPdxdr.
Qp+"p
This implies the lemma, in the case (6.4) holds. by the interpolation process of Lemma 4.3 of Chap. I. This process yields the choice of u E (0, !). Finally, having fixed u E (0, !), consider the case when [(X o, to)
+ Qp+t7p]n{XN = O} ~ 0.
Letx. E {XN =O} be defined as in (4.12) and observe that the box [(x., to) + Q2p] 'centered' at (x., to) contains [(xo, to) + Qp]. Therefore, by the Poincare inequality, since the average ofw over [(x., to) + Q2p] is zero,
if Iw [(zo,to}+Qp)
(w)o,p IPdxdr
~ 'Y
if
IwlPdxdr
[(z.,to)+Q3p)
~ 'Y(a),;'(l-o).
7. Comparing w and v 309
6-(i). Proof of Theorem 1.1 (the case p>2) The proof is a consequence of Lemma (6.1) and the averaging theory of Campanato-Morrey spaces [22,23,33,79]. It can also be proved directly, starting from (6.2), by arguments similar to those in §§2 and 3 of Chap. IX.
7. Comparing w and v (the case max {I; &~2}
8
at (Vi - Wi) = -
div (IDvIP- 2 DVi
-IDwlp- 2 DWi)
8 (al,k(x, DU)Ui,Zk -IDulp-2Ui,Zk Ot,k)
!3
uXl
- div (lDulp-2 DUi -
IDwlp- 2DWi)
- Bi(x, t, w, Dw),
in +Q'k
Vi - Wi =0, on the parabolic boundary of +Q'k. The boxes Q'k are formally identical to those introduced in the degenerate case p > 2. In the singular case we will take TJ E ( -1, 0). In writing (7.1) we have used the definitions (2.3) and (2.8). From (2.3)-(2.4) we derive the estimate
lal,k(x, DU)Ui,ZI i=1,2, ...
,m,
-IDulp-2 Ui ,ZI! $ -yR)..IDulp-l, l,k=1,2, ... ,N.
Moreover by Lemma 4.4 of Chap. I,
IIDuIP-2Dui -IDwlp-2Dwil
$ -ydD(u - w)I P- 1$-y,
since the boundary data g are regular. In the weak formulation of (7.1) we take the testing functions Vi - Wi modulo a Steklov averaging process, integrate over +Q'k and add over i = 1, 2, ... , m. Using the remarks above to estimate the corresponding terms on the right hand side gives
(7.2)
//(11ID (sv + (1- s)w) IP- 2dS) IDw - Dvl2 dxdr +Qk
$ -yR).. /
/IDuIP-1IDW - nvl dxdr
+Q~
+ -y/ /IDW +Q~
Dvl dxdr + -y //IBIIW +Q~
vi dxdr.
310 X. Parabolic: p-systems: boundary regularity In carrying the estimates below, we think of v and w as defined in the whole Q'k by an odd reflex ion across {ZN =O}. By the Poincare inequality and (2.7) 2::!
$
~ ([[<1+ IDwIP) dxdT) ·
r
2::!
$
~R ([[<1+ IDwIP) dxdT) · ([[IDv - DwIPdxdT
.1
Introduce the two sets
£1 == {(z,t) E Q'k IIDw - Dvl ~ IDwl} , £2 == {(z,t) E Q'k IIDw - Dvl < IDwl}· l11D (sv + (1 - s}w) IP- 2ds
~ ~IDW - DvIP-2.
Therefore from (7.2) it follows
!!IDw - DvlPdxdr+ !!IDWIP-2IDw - Dvl2dxdr £1
£2
:5
'YR'>'{!! IDuIP-1IDw - Dvldxdr £1
+
!! IDuIP-IIDw - Dvldxdr} £2
~
+ { [ / IDw - Dvld%dr+
[f IDw - Dv1dxdT} 2::!
+
~R ([[<1+ IDwIP) dxdT) ·
"{JJiDw - DvlP
dxdT+
\ £1
//IDw - DvI PdxdT} IIp £2
vi
IDw - extended over £1 into the analogous term on the left hand side by means of Young's inequalitj. Using also the definition of £2 we arrive at
In t~l~" inequality we absorb the integrals of
7. Comparing w and v 311
(7.3)
!!IDW -
DvlPdxdr+ !!IDwIP-2IDW - Dvl2dxdr
£1
£2
$
'YR >..JJ(l + IDwIP) dxdr + 'Y!J(l + IDwl) dxdr. Q~
Q~
We estimate the right hand side of (7.3) by
'Y
R + +'1+>"-OP {nap H(1 + IDwIP) dt} N
2
[(Zo.to)+Q~l 1
+ 'Y RN+2+'1-
0
{nap H(1 + IDwIP) dt}
P
[(zo.to)+Q~l
$ 'Y R N +2+'1- o p>"o [.r(a) A
.r1/P(a)] ,
where
~o=max{!; 1-~} E(O,l) P ap and where as before we have set
Therefore
(7.4)
JJ IDw - DvlPdxdr + JJ IDwIP-2IDw - Dvl2dxdr £1
£2
$
RN +2+'1- o p>"o
[.r(a)A.r1/P(a)] .
Rewrite the integrand in the second integral on the left hand side of (7.4) as
Observe also that on the set E2 • IDvl $
21Dw I. so that
IDwIP-2IDvI2 $ 22-PIDvIP. These remarks in (7.4) prove the following:
312 X. Parabolic p-systems: boundary regularity LEMMA
7.1. There exits a constant 'Y forall (xo,to) E Q:k/2
(7.5)
= 'Y (data), such that
andforall
O
jjlDwlPdxdT 5, 'YR N+2+'1- op>,0 max {F(Q)j F1/P(Q)} [(xo,to)+Q~1
+ 'Y
jjlDvlPdxdT,
[(xo,to)+Q~1
(7.6)
j jlDvlP dxdT 5, 'YRN+2+'1-op>,o max {F(Q)j Fl/p(Q) } [( Xo ,to) +Q7t1
+ 'Y j jlDwlPdxdT.. [(xo,to)+Q~1
To estimate the last integral on the right hand side of (7 .5) we make use of Theorem 2.2. the defmition of F(Q) and (7.6). Assuming that (xo, to) coincides with the origin, we have for all 0 < p 5, 5, 'R/4
!R
(7.7)
j jlDvlPdxdT 5,
pN+2+'1I1DvIl:O,Q~
Q~
5, 'YpN+2+'1RP~
+ 'YPN+2+'1{ R-N'I-op>'o + R-N'I
H
[F(Q) " F1/P(Q)] PIlip
(1 + IDwlP ) dxdT
}
,
Q7t where lip = N(p - 2) + 2p > O. Choose (7.8)
11 = Q(p -
2),
QE
(0 ;:2] > j
O.
Then the first term on the right hand side of (7.7) is estimated above by 'Y pN +2+'1 R-oP.
Setting also
9(Q) == max {pilip j Fillip j F N (2-p)/lI p j I} ,
8. Estimating the local average of IDwl 313
the second term on the right hand side of (7.7) is estimated by
-yQ(a)
(~)N+2+'1//(1 + IDwIP) dxdr Q1t
+ -yQ(a) pN+2+'1 R-(N'1+ 2a p>.o)p/"p. Using the dermition (7.8) of 1] we have p -(N1] + 2apAo ) lip
ap2
= -a + -(1 lip
Ao).
Since ~oE (0,1) we estimate R-(N'1+ ap>.o)p/"p ~ R-ap, and summarise: LEMMA 7.1. Let a and 1] be chosen as in (7.8). There exists a constant -y = -y(data), independent of a, 1], p, R, such that
forall (xo,to) E Q:k/2
(7.9) //(1 +
0
andforall
IDwlP)dxdr
[(xo,to)+Q~J
~ -yQ(a) (~)N+2+'1
//(1 + IDwlP)dxdr
[(x o ,t o )+Q1tJ
+ -yQ(a) pN+2+'1R- a P.
8. Estimating the local average of IDwl LEMMA
8.1. For every a E (0,1) there exists a constant -y = -y (a,data), such
that forall (xo,to) E Q:k/2 (8.1)
H+ (1
andforall
IDwIP) dxdr
0
~ -y(a,data)p-a p.
[(xo,to)+Q~J
PROOF: Derme sequences ao=(N + 2)/2 and forn=O, 1,2 ... , 1]n
= an{p -
2),
314 X. Parabolic p-systems: boundary regularity
It is apparent that {on}, {l1n}, {On} -+ 0 as n that
F(on) :5 ')'n (on. data) ,
(S.2)
-+ 00.
n
We will prove by induction
= 0, 1,2, ....
Since IDwleLP(lh),
H+ (1
[(:r:o,to)+Q~o
IDwI P ) dxdr:5
')'p_P(~+3)
(1
+ IIDwllp,SlTt.
I
Therefore F(oo) :5
')'0
== (1 + IIDwllp,SlTt·
Assume now that (S.2) holds for some n and let us show that it continues to hold for n + 1. We apply the iterative Lemma 3.1 with the choice of the parameters (3 to the
== N + 2 + l1n, " = onP, 0 = on,
function
=
II
1/
= 0,
(1 + IDwI P ) dxdr,
1(:r:o,to)+Q~n
I
which satisfies (7.9), to conclude that for all (xo, to) e Q:k/2 and for all 0 < p:5 R:5'R/2,
In particular, p being fixed, (S.3) must hold for radii p. satisfying
Without loss of generality we may assume that "',,-'Intl
p.
2+'In+1
_
D
= (;.
is an integer.
Then we may regard the cube Ixo + K pI as the disjoint union, up to a set of measure zero, of (f..)N cubes Ix; + Kp.1 centered at points x; of [xo + Kpl. Similarly we regard the cylinders [(x o• to) + Q~n+l] as the disjoint union, up to a set of measure zero,of(i.)N cylinders [(x;, to) + Q::]. We write (S.3) for each of these cylinders and add up for j =1, 2, ... ,i. to obtain
II
(1 + IDwI P ) :5 ')' (i.)N p~+2+"n-anp+6n
1(:r:o,to)+Q:n+l1
9. Bibliographical notes 315
Therefore pQn +1P
H + IDwI (1
P) dxdr5,'Y and F(an H,1Jn+t} 5, 'YnH'
[(:l:o,to)+Q:n+1]
8-(1). PROOF OF THEOREM 1.1 (THE CASE max {I;
~~2} < p < 2)
By a cube decomposition technique similar to the one outlined, Lemma 8.1 can be rephrased in tenns of the parabolic cylinders Qp=Q(p2, p). LEMMA 8.1'. For every a E (0, 1) there exists a constant 'Y
= 'Y (a, data), such
that
(8.1)'
H
(1
+ IDwI P )
dxdr 5, 'Y(a,data)p-QP.
[(:l:o,to)+Qp]
With this lemma at hand the proof is now concluded as in the degenerate case. First we may establish a version of Lemma 6.1 and then the HOlder continuity of u follows from the arguments of [22,23.32,79] or by those in §§2 and 3 of Chap. IX.
9. Bibliographical notes The proof of Theorem 1.1 is in [27]. The iteration Lemma 3.1 is in the same spirit of similar results of Campanato [22,23]. The technique is indeed a degenerate version of [22,23]. Techniques of this type near the boundary appear in Giaquinta-Giusti [49]. The boundary behaviour of solutions of (1.1) is essentially not understood. In the case of a single equation some results appear in Lieberman [69] and Lin [72].
XI Non-negative solutions in ETThe case p>2
1. Introduction Non-negative solutions of the heat equation in a strip ET == RN X (0, T) are somewhat special in the sense that they grow no faster than
a < 1/4T,
(1.1)
as Ixl-oo.
Let I' be a 0' - finite Borel measure in R N with no sign restriction. We say that p. bas the growth (1.1) if
/e-~ldlJl < 00,
(1.2)
.
RN
where
IdILI is the variation of 1'. Then the Cauchy problem
(1.3)
{
Llu = 0, u(·,O) = 1',
Ut -
in ET ,
is uniquely solvable within the class of functions satisfying (1.1). The •initial measlUe' is taken in the sense (1.4)
/U(x,t)CPd/-L~ RN
/cpd/-L, as t'\.O, RN
'v'cpEC~(RN).
2. Behaviour of non-negative solutions as
lxi- 00 and as t '\. 0
317
Conversely every non-negative solution of the heat equation in ET verifies (1.4) for some u-fmite non-negative Borel measure Jl satisfying the growth condition (1.2). The measure Jl is unique and it is called the initial trace of u. In tum the initial trace of u determines u uniquely. These are the basic elements of a classical theory developed by Tychonov [98], Tacklind [94] and Widder [105]. A perhaps rough summary of the theory is that the structure of all non-negative solutions of the heat equation is determined by the heat kernel _~
1
r(x, t) = (411't)N12 e
t,
> O.
t
Consider now non-negative local weak solutions in ET of (1.5)
{
u E C loc (O,T; Ut -
L~oc(RN»)nLroc (0, T; WI!;:(R N)) , p>2,
div (lDulp-2 Du)
=0
in ET.
The analog of r(x, t) for the degenerate p.d.e. (1.5) is the Barenblatt explicit solution ~
(1.6)
_ t -NI>.{ 1 - 'Yp B (x, t ) = 'Yp
_....l...p-2
== A ,,-1 - - , P
(IXI)P!Y}"-+ ' til>'
t
> 0,
A = N(p - 2) + p.
We call this a 1undamental solution' only in the sense that B(x,t)
--+
(411') NI2 r(x,t)
pointwisein ET, asp'\.2.
Solutions of (1.5) cannot be represented as convolutions of initial data with B( x, t). Nevertheless the sup-estimates of Chap. V and the global Harnack estimates of §7 of Chap. VI permit a precise characterisation of the class of non-negative solutions of (1.5) in the whole ET • with no reference to possible initial data. Such a characterisation essentially says that all non-negative solutions of (1.5) behave as t '\. 0 like the 'fundamental' solution B(x, t). and as lxi- 00 they grow no faster than Ixl p/ (p-2). For these solutions we will establish the existence of initial traces and prove their uniqueness when the initial datum is taken in the sense of Lloc
2. Behaviour of non-negative solutions as Ixl-+ 00 and as
t'\.O Let u be a non-negative local weak solution of (1.5) in ET • For e E (0, T) and r > 0 set u(x,r) A=N(p - 2) + p. IIlulllr.T-~ = sup sup >'I( -2) dx, O
-
J
Kp
318 XI. Non-negative solutions in ~T. The case p>2 THEOREM
2.1. There exists a constant 'Y='Y(N,p) such that/or all eE (0, T),
(2.1)
IIlullr,T-~ $ 'Ye-p!-, { 1 + (~)
;!, p-
u(O,T-e)
}>./P
Moreoverforall tE (0, T-e), and all p~r,
lIu(·, t)lIoo,K
(2.2)
pp/(p-2) p
$ 'Y
tNt>.
pI>'
IIlullr,T-~'
t
(2.3)
j jlDulP-IdxdT $ 'Y tl/>'pl+~ Ilull!~~, OKp
IIDu(', t)lIoo,K
(2.4)
p2/(p-2)
p
2/ >.
~ 'Y t(N+l)/>' Ilullr,T_~'
Moreover (x, t) -+ Du(x, t) is Holder continuous in Kp x (e, T -e) with HOlder constants and exponent depending only upon N, p, 'Y, p, e and IIlullr,~.
Remark 1.1. The functional dependence of these estimates is optimal as it can be verified for the explicit solution 8(x, t).
Remark 1.1. The estimates (2.2)-(2.4) hold for solutions of variable sign. provided we assume (2.1). PROOF OF THEOREM 1.1: The estimate (2.1) is the content of Corollary 7.1 of Chap. VI. whereas (2.2) follows from Theorem 4.5 of Chap. V. The gradient bound (2.3) is Lemma 9.1 of Chap. V and Remade 9.2. Inequalities (2.2)-(2.3) hold for a time interval
(2.5)
for a constant 'Y. ='Y.(N,p). In view of (2.1) they can be considered valid for all tE (0, T-e). Indeed working within ET • we may state them for every substrip
RN x [tl' t2j,
O$t!
t2 - tl ~ 'Y.. llullr,T-~'
In the proof of (2.4) we will work in the time interval (2.5). We begin with a qual-
itative information. LEMMA
2.1. For every e E (0, T) and for every r sup p>r
> 0 the quantities
IIDu(·, t)lIoo,K p P2/( P -2)
arefinitefor all 0< t~ T-e. PROOF:
By the interpolation Theorem 5.1' of Chap. VIII with e= 1,
9=!t we deduce
q
=1/2 and
3. Proof of (2.4) 319
IIDu(·,r)lIoo,Kp
::;
'YP-(N+2)
jtj
IDu lP- 1dxdr
(
+ ~2)~ ,
OK2p
for all r E (it, t). Estimating the right hand side by (2.3) we obtain IIDu(·,r)lIoo,Kp < p2 /(p-2) - 'Y
(tinUn"l r,T-E )1/>'111 Un r,T-1! +r~ . U
p- 2
UI
Next we will turn such infonnation into the quantitative estimate (2.4).
3. Proof of (2.4) Let t>O and p>r be fixed and consider the box radii {Pn} and time levels {t n } be defined by
Qo==K2pX
[it, tleET. Let the
n = 0,1,2, ...
and introduce the corresponding family of nested shrinking cylinders Qn
== K pft x{tn,t},
with vertex at (0, t). We will estimate the quantity IIDu(·, t)lIoo,K p ' by using the techniques developed in Chap. VIII. The starting point is the the iterative inequality (5.4) in that chapter, which we rewrite here in the context of the cubes Qn as y.n+1
where Yn
< _ 'Y bnk-~'LIy'l+~ + "n ,
j
== jODu l -
~2
== N(p - 2) + 2p,
kn)~ dxdr,
12ft
(3.1)
'It
==
{sg~ IDul p - 2p-2 + t- 1},
and k is a positive number to be chosen. By Lemma 4.1 of Chap. I, the sequence {Yn } tends to zero as n-+oo if k is chosen to satisfy
We conclude that there exists a constant 'Y = 'Y( N, p) such that for all
(3.2)
IIDu(., r)lIoo,Kp
::;
'Y'It~ (j jlDulPdXdr) t/2 K2p
2/>'2
it::; r::; t,
320 XI. Non-negative solutions in E T • The case p>2
To proceed we introduce the non-decreasing function of t
(3.3)
¥= O
A>( ) _
..... t
sup p>r
IIDu(·, T)lIoo,K p p
2/( -2) P
,
By Lemma 2.1 and (2.2) this quantity is well dermed. In the estimates below we write ~ == ~(t) if the dependence upon t is unambiguous. We estimate the quantity 1t introduced in (3.1) by
and deduce from (3.2) that for alllt ~ T
and
(3,4)
Estimating G1(t) we have
~t
3. Proof of (2.4) 321
{! t
G1(t)
~
'YiP
(N+2)(p-2)
12
T
(N+l~P-2)
T1'[±l P
-:r
t/2
X
(
!~e
IIDu(.,T)/lOO.Kp)P d p2/(p-2)
}2/>'2
T
To estimate G 2 (t) we refer back to the p.d.e. in (1.5). Let ( be a non-negative piecewise smooth cutoff function in K4pX{ it, t} that equals one on K2pX{ !t, t} and such that ID(I ~ 2/ p and (t ~ 4/t. Taking u(P in the weak formulation of (1.5) we obtain
In estimating G 2 (t) we use the estimation (2.2) and the range (2.5) of t.
Combining these estimates in (3.4) gives for all 0 < t ~ 'Y.lllu~I;,7-E'
322 XI. Non-negative solutions in Er. The case p>2
! t
~(t) ~ l'
(N+1~(p-2) T
2/>-
1
¥- (T)dT+1'I~ullr,T_€'
o
for a constant 1'=1'(N,p). It follows that ~(.) is majorised by the solution of
{
V'(t) ~ l' t- (N+l¥P-2) Vp-l(t), V(O)
= 1'III1£II~:;_€, 0 < t ~ 1'.m1£II~:;_€.
Solving this explicitly gives
1berefore choosing t so small that
{1 -
l'
(t 1~1£II~,T2_€)
2/>-}-1/(P-2)
~ 2,
we will have
t¥ IID1£(·, t)lioo,K < 2 1111£11 2/>p
p2/(p-2)
-
l'
r,T-€
for all such t and all p> r.
4. Initial traces THEOREM 4.1. Letubea non-negative local weak solution 0/(1.5) in :E T . There exists a unique Radon measure p. such that
lJ$
(4.1)
J
1£(x, t)cpdx
=
RN
J
cpdp.,
RN
Moreover. as lxi- 00. p. 'grows' at most as (4.2)
sup p>r
VcpEC~(RN).
f
dp. /(
pP P
-2)
IxI P/(p-2). Precisely.
< 00,
Vr >0.
Kp PROOF:
The existence of a Radon measure p. satisfying (4.1 )-(4.2) follows from
the global Harnack estimates of §7 of Chap. VI. Indeed by Corollary 7.1 of that Chapter, for every cube [x o + K pj C RN and all cp E Cr;' (Kp),
1/
1£(X,t)cp(X)dXI
_ Kp
~ 1'(N,p,p,T,u(x ,T-e)) Iicplioo,K o
p '
5. Estimating lDur- 1 in Er 323
for all 0 < t $ T-e and all e E (0, T). Therefore {u(·, t)}O
for a Radon measure IJ. The uniqueness of such a measure is a consequence of the following: LEMMA
4.1. Let u be a non-negative local weak solution of (1.5) in ET. Then
Vp>O, (4.3)
f
VUE(O,I),
u(x, t)dx
K(1+")p
~
f
VO
u(x, r)dx- ;,(t -
r)l/'\p~ Ilull~;'~.
Kp
PROOF: Fix 0 < r < t and u E (0, 1), and let x _ '(x) be anon-negative piecewise smooth cutoff function in K(1+cr)p that equals one on Kp and such that ID'I ~ 2p/u. In the weak formulation of (I.S) take , as a testing function. Integrating over (r, t) gives
f
u(x, t) dx
~
K(1+")p
f
t
u(x, r) dx - u2p
Kp
f PDuI T
P - 1 dxds.
K(1+")p
To prove (4.3) we estimate the right hand side of this inequality by (2.3). We now prove the uniqueness part of Theorem 4.1. Suppose that out of the net {u(x, t)}O
for all 'P E C~(RN) and IJ :/= t - 0 along t'. This gives
II.
Then we let r - 0 along r' in (4.2) and then let
Interchanging the role of IJ and II proves the Theorem since u E (0,1) is arbitrary.
5. Estimating
IDul p - 1 in ET
Local integral estimates of IDul p - 1 are crucial both in the global Harnack estimate of §7 Chap. VI and in the theory of initial traces. The inequality (2.3) of Theorem
324 XI. Non-negative solutions in ET. The case p>2
2.1 is local but holds for all p > r. Therefore it implies some control on the behaviour of IDul as lxi- 00. This behaviour can be given an integral form, by means of the weights (5.1)
where a is a positive number satisfying
.x
(5.2)
for some u
ap= --2 +u,
p-
> O.
THEOREM 5.1. Letu bea non-negative local weak solution of(1.5) in ET. Then for every u > 0, there exists a constant 'Y ='Y(N, p, u) such that for all r > 0 and all EE (O, T),
(5.3)
sup -
O
ju{x, t)Aa(x) dx aN
t
(5.4)
~ 'Ylllullr,T-E'
j j1Du1P-1 Aa(x) dxd-r
~ 'Ytl/>'llull~;'~.
oaN Remark 5.1. The constant 'Y{N,p, u) /00 as u '\,0. PROOF OF
(5.3): Without loss of generality we may assume that r
= 1. Then
forallO
ju(x,t)Aa(X)dx aN
~
j u(x,t)Aa(x)dx+ {lzl
f: n=O
j u(x,t)Aa(x)dx {2n
00
~ mU~lr.T-E + 2~
L 2-
mullr,T-E.
an
n=O PROOF OF (5.4): It will suffice to establish the estimate for t in the interval (2.5). We will use this fact with no further mention. First we observe that the inequality
(5.5)
holds for all x E RN and all 0 < t ~ T-E. This is obvious if Ixi ~ r with the constant 'Y depending also upon r. If Ixi > r, we apply (2.2) to the cube K 21zl. Let 1/ E (O, T ~ ) and in the weak formulation of (1.5), take the testing function
l/p i_a (t - 11 )+ U p
1/P (A a+
r)P
1 '> p
,
where x - «x) is the usual cutoff function in Kp. After a Steklov averaging process and standard calculations, we obtain
5. Estimating
IDulp - t in Er
t
IP A 1.(Pdxdr } (r - "l)I/p/IDU u 2 / p "'+,.
(5.6)
"
Kp
t
u~up-1ID (A~:i()IP dxdr
$ 'Y /(r - "l)1/ P/ "
Kp
t
+ 'Y pr -
"l);-1/ u~ AI/puA",dxdr =
"
J~1) + J~2).
Kp
As for J~2) we have £=l
t
J(2) p
< "'}(r _ .,,)t- 1/ -
r
/./ "
lu(x,r)I" u(x r)A (x)dxdr (1 + Ixl p)1/p '''' ,
2 N(:X )
Kp
so that by (5.5) and (5.3),
J~2)
$ 'Y(t -
"l)VAI~ull!;'~.
t
J~1)
$ 'Y /( r - "l); / u ~ u p - l A",+; ID(IPdxdr "
Kp
t
+'Y pr-"l)I/p/u~up-IIDA~:iIPdxdr "
Kp
= J~l,l) + J~I,2). Since
IDA'"1/+P1.1 ,. $ 'YIA~+:\+1.IP ,. ,. ,. $ 'YA", A 1/ p At.
by (5.5), (5.3) and the range (2.5) of t,
J~I,2)
t
$ 'Y /(r - "l); / "
$ 'Y(t -
(u~ Ai)
(uP- 2AI) u(x, r)A", (x) dxdr
Kp
"l)VAlilull!;'~ .
As for J~l,l) , since ID(I $ 2/ p, again by (5.5) and (5.3)
J~l,l)
$ 'Y(t -
"l)VAlilull!;'~.
325
326 XI. Non-negative solutions in I:T. The case p>2 Combining these estimates in (5.6), (5.7)
where we have changed pinto 2p. Next, for all '1 ~ t ~ T-e
6. Uniqueness for data in Lloc(RN) 6.1. Letu and v be two non-negative local weak solutionsof(l.5) in ET. satisfying
THEOREM
Then u==v in ET. PROOF:
Fix r>O and some eE (0. T) and set Ilullr.T-~
+ Ilvllr.T~ == A.
Then and u and v satisfy all the estimates of Theorem 2.1 with the quantities llu. vllr.T~ replaced by A within the strip ETa' where
0< To = min{T;"Y.A-(p-2)}. and "Y. is the constant appearing in (2.5). It will suffice to prove uniqueness within the strip ETa' The difference w=u-v satisfies
6. Uniqueness for data in LJ.,..(RN ) 327 (6.1)
where
a'J(z, t) =
(iiD(B. + (1 - B)_)iP-'ds) 6,; 1
+ (p -
2) j ID(su + (1 - s)v)IP-4
o X (su
+ (1 -
s)v)x. (su + (1 - s)v)xjds.
The matrix (ai,i) is positive semi-definite and for all e E RN and (x, t) E ETo ao(x, t)lel 2 S ai,i (x, t)eiei S (p - l)a o(x, t)leI 2 , l
{
(6.2)
+ (1 - s)v)IP- 2ds, (x, t) E ETo' o Let Ao(x) be the weight introduced in (5.1) with a satisfying (5.2). In the arguments below, -y denotes a positive constant that can be determined a priori only in terms of N, p, u and A. ao(x, t) = flD(su
6-0). Auxiliary lemmas LEMMA 6.1. There exists a constant-Y='Y(N,p,u,A) such that ifw(" t)-+O in Lloc(RN) as t'.,O. then
j1w(x, t)IAa(x) dx S -yt l /",
0< t < To.
RN
PROOF: The functions w± are both weak subsolutions of (6.1), i.e.,
wr - (ai'i(x, t)w~)x., SO weakly in
ETo'
By working separately with w+ and w- we may assume that w is a non-negative subsolution of (6.1). In the weak formulation of (6.1) take the test function x-+ Ao(x)«x), where (is the usual cutoff function in Kp. Using the assumptions of the lemma we deduce t
j1w(x, t)IAo(x)( dx S 'Y j j(/DV/ Kp
+ /Dv/y-I/DAo(/ dxdr
OKp
t
S 'Y j j(lDV/ + /DvD,,-1 AoID(1 dxdr OKp
t
+-y j j(lDvl + OK,.
IDvD,,-IIDAoldxdr.
328 XI. Non-negative solutions in ET. The case p>2 In the last integral.IDAal $'YAa+l/p and in the first integral. since IDcl =0 on Kp/2 we have AalDCI $'YAa+l/p for p > 1. Therefore letting p-+oo t
jlw(x.t)IAa(X)dX $ 'Y jjODvl RN
+ IDvI)P-l Aa+l/pdxdr,
ORN
and the conclusion follows from Theorem 5.1.
PROOF: Let fiE (0,
*,) be fixed. Then 'v'tE (0, To)
j1w{X, t) I1+'1 A a +fJ /(p-2) {x)dx RN
$ jIW{X, t)l fJ A fJ /(p-2) {x)lw(x, t)IAa{x)dx. RN
By (5.5).lw(x, t)lfJA fJ /(p_2) (x) $ 'Yt-If 'I. so that by Lemma 6.1.
jIW(x, t) I1+'1 A a+fJ /(p-2) {x)dx $ 'Yc IYf j1w(X, t)IAa{x) dx RN
RN
$ 'Yt!
(l-NfJ).
6-0;). Proof of Theorem 6.1 In (6.1) we may assume. by working separately with w+ and W-. that w ~ O. In its weak: formulation we take the testing functions
Integrating over K p x (c, t). 0 < C< t $ To. we obtain
6. Uniqueness for data in L:""(RN ) 329 (6.3)
1 ~ 11 !(W + 6)1+'7AQ(2dx Kp
t
+11
If
IDwI2 (1)2 ao(x,r)(W+6)1-'7 A dxdr
6Kp
~ 1 ~ 11
Q (
!
(w + 6)1+'7AQ(2dx
Kpx{6}
t
+'1 !!ao(X,r)(W~~~ (w+6)l:f1 6Kp X
(A!()
ID (A!() Idxdr,
where ao(x, t) has been defined in (6.2). By the Schwartz inequality the last integral is majorized by
t
!
+ '1(11) !ao(x, r)(w + 6)1+'7 (AQID(1 2 + IDA! 12) dxdr. 6K p
We absorb the integral involving IDwl2 on the left-hand side of (6.3) and discard the resulting non-negative term. Finally, we observe that by the definition of AQ and the structure of ( we have
AQID(1 2 + IDA! 12 ~ 'YAQ(X) Alp (x). Carrying these remarks in (6.3) gives (6.4)
!(w + 6)1+'7AQ(2dx Kpx{t}
~
!(w + 6)1+'7AQ(x) dx
Kpx{t}
t
+'Y!!ao(X,r)A;(x)(w + 6)1+'7AQ(x)dxdr. 6Kp
Next by (6.2) and (2.4)
a (x r)A.a(x) < '1 0,
p
-
Ixl2 Ai (p-2)r-(Nr> (p-2). (1 + Ixl p)2/p
Substitute this last estimate in (6.4) and let 6 - 0 for p 2: 1 fixed so that by Lemma 6.2
330 XI. Non-negative solutions in ET. The case p>2
j (w + 6)1+f/Ao(x)dx
--+
°as
6 - 0.
Kpx{6}
Then we let p -
The net result is
00.
j1w(x, t) 11+'1 Ao(x) dx RN
t
:5 'Y j.,.- (Ntl) (p-2) j1w(x, "')11+'1 Ao(x) dxd.,.. o Since.,.- (Nti)
(p-2)
RN
E L1 (0, t), this implies
t - j1w(x,tW+f/Ao(X)dx
== 0,
RN
by Gronwall's lemma, provided t - /lw(x,tW+f/Ao(X)dX E VlO(O,To)' RN
Now the parameter Q in the calculations above is arbitrary and only restricted by (5.2). If Q is replaced by Q+,,/(p-2). then Lemma 6.2 and its proof ensure the Loo(O, To) requirement and the theorem follows. Remark 6.1. For non-negative solutions u and v of (1.5) in ET. the quantities
Ilullr,T-E, IIIvllr,T_
(6.5)
are fmite.
The proof of Theorem 6.1 uses only this information. Indeed by Remark 2.2 such a growth condition implies all the estimates of Theorem 2.1. We conclude that the uniqueness theorem for initial data taken in the sense of Lloc(RN) holds for solutions of variable sign provided (6.5) holds.
7. Solving the Cauchy problem Consider the Cauchy problem u EC
(7.1)
{
Ut -
(0, T; Lloc(RN»nLfoc (0, T; W,!;:(RN») , p>2,
div (lDulp-2Du)
u(·,O) =
Uo
E
=
°
in ET, for some T>O
Lloc(RN).
As indicated in the firstof(7.1) the initial datum is taken in the sense of Lloc(RN). By Theorem 6.1 and Remark 6.1 there is at most one solution to (7.1) within the class of functions u satisfying
7. Solving the Cauchy problem 331
Ilullr,T-£ < 00
(7.2)
for some
EE
(0, T).
Existence of a solution satisfying (7.2) can be established if the initial datum U o satisfies the growth condition
- f
Iluolir = :~~
(7.3)
luo(x)1
P"/(p-2)
dx
Kp
Since U o ELloc(RN) if Iluollir is finite for some r >0, it is finite for all r>O. THEOREM 7.1. Let U o satisfy (7.3) for some r > O. There exists a constant 'Y. = 'Y.(N,p) such that defining
(7.4)
there exists a unique solution u to (7.1) in ET. Moreover u satisfies (7.2) for all eE(O, T) and the estimates (2.2)-(2.4) of Theorem 2.1.
Remark 7.1. This is an existence theorem local in time and the largest existence time is estimated by (7.4). The functional dependence in (7.4) is optimal as shown by the following explicit solution.
1'(x,t)= { A ( -TT-t
)~ + (p---2) ..\ _~ ( Ixl )p!r}~ p=-r
P
P
--
T-t
,
where A and T are two positive parameters. By direct calculation we have
~111>(.,O)llr = ~
~
(P;2)P- ("\T)-~,
where W N is the area of the unit sphere in R N. Therefore 1'( x, t) exists up to the blow-up time T
where 'Y.
= 'Y. { ~ 1111>(·,OHlr }
= ..\-~ (~r-2
-
,
(p; 2)P-l
For n= I, 2, ... ,consider the sequence of truncated initial data min{uo(x);n}}, ( ) = {max{-n; 0,
uo,n x -
It is apparent that for all n= 1, 2, ... , (7.5)
Consider also the family of approximating problems
for Ixl < n for Ixl ~ n.
332 XI. Non-negative solutions in Er. The case p>2 {
Un,t -
div IDUnl p - 2 Dun = 0, in RN xR+
un(·,O)
= uo,n·
Since uo,n are compactly supported in RN, (7.1)n can be uniquely solved as indicated in §12 of Chap. VI. By the maximum principle the solutions Un are bounded by n. Therefore the quantities
III unlIII r,t -=
sup sup
!un(X, 'T)
O<.,.<tp>r Kp
P>-/(
P
-2)
dx
are finite for all r, t > o. It follows that the sequence {Un} satisfies (2.2)-(2.4) of 1beorem 2.1. We will tum such n-dependent information into a quantitative supestimate of {un} independent of n. Let x --+ ,(X) be the standard cutoff function in K 2p • Then (7.1)n implies
We divide by p>'/ (p- 2) and take the supremum over all p> r. Taking into account (7.5) and (2.3) this gives
for two constants 'Yi ='Yi(N), i=O, 1. Let tn be defined by P-2) 1/>.
'Yl ( tn Ilunllr,t
=
1 2·
Then from (7.6) for all t E (0, t n )
IIlunllr,t ~ 2'Yo Iluolir. This implies that tn ~ Tr for all n = I, 2, ... " where Tr is defined by
We summarise: LEMMA 7.1. Let {Un} be the sequence of the approximating solutions (7.1)n. There exists a constants 'Y = 'Y(N,p) and 'Y. ='Y.(N,p) independent ofn. such
that
(7.7)
where
(7.8)
8. Bibliographical notes 333 Given such an estimate, the Cauchy problem (7.1) can be solved by a standard limiting process. Indeed by Theorem 2.1 the sequences Un } , { -f) f)xi nEN
i
= 1,2, ... ,N,
are locally equibounded and equi-HOlder continuous in RN x (0, Tr). This gives the existence of a unique solution in ETr • The largest time of existence can be calculated from (7.8) by letting r -+ 00. In particular the solution to (7.1) is global in time if
.
lim sup p>r
j
f'-OO()
uo(x)
>./( -2) dx = O.
P
P
Kp
8. Bibliographical notes Theorem 2.1 is taken from [41]. A weaker version of (2.2) in I-space dimension is due to Kalashnikov [58]. It is remarkable that in (2.4) one can also control the behaviour of the space-gradient IDul as Ixl-+ 00. Since IDul 2 is a non-negative subsolution of a porous medium-type equation (see (1.8) of Chap. IX) the same techniques yield a version of (2.2) for such degenerate p.d.e. The analog of (2.2) for the porous medium equation is due to Benilan-Crandall-Pierre [10] in the context of an existence theorem. A rather general version is in [4]. Perhaps the most relevant estimate of Theorem 2.1 is the integral gradient bound (2.3) proved in [41]. A version of such a local bound, for the porous medium equation is in [4] and reads
jlDuml dxdr ~ -yt /"p1+w!=r "lu"I!;.:~l, 1
K.
= N(m - 1) + 2,
Kp
where -y=-y(N, m) and IIIulllr,T-E
-=
sup
sup
O
j Kp
u(x,t) dx. p ,./(m-l)
The estimate holds for small time intervals and for general non-linearities. We refer to [4] for details. There is no analog of (2.4) for the porous medium equation. Theorems 4.1 is taken from [41]. The analog for the porous medium equations is in [6] and for general non-linearities [4]. It would be desirable to have a version of the uniqueness Theorem 6.1 for initial data measures. This would parallel the analogous theory for the heat equation.
XII Non-negative solutions in E T . The case 1
1. Introduction We will investigate the structure of non-negative solutions in the strip ET of the singular p.d.e. (1.1)
Ut -
div IDulp-2 Du
= 0,
I
A striking feature of these singular equations is that, unlike the degenerate case p>2, non-negative solutions of (1.1) are not restricted by any 'growth condition' as Ixl- 00. Nevertheless they have initial traces that are Radon measures. More-
over they are unique whenever the initial traces are in Lloc{RN ). Accordingly, the Cauchy problem for (1.1) associated with an initial datum(1.2)
U o ~O,
is uniquely solvable, regardless of the behaviour of x-uo(x) as Ixl-oo. The case 1 < p < 2 is noticeably different from the case p > 2, both in terms
of results and techniques. The main difference stems from the fact that, unlike the degenerate case, solutions of (1.1) are not, in general, locally bounded. In a precise way, if (1.3)
and
2N P>-N +r '
1. Inttoduction 335
then the solution '1£ of (1.1)-(1.2) belongs to Lroc{ST) , "It> O. This is the content of Theorem 5.1 of Chap. V. In §13 we will give a counterexample that shows that if '1£0 violates (1.3), then '1£ ¢ L~c{ET). The basic formal energy estimate for (1.1) is VO<8
VKp t
(1.4)
ju {x, r) dx + f flDulPdxdr 2
sup
11 sKp
s
- Kp
Thus ifu e L~oc{ET), the left hand side of (1.4) is finite and IDul e Lfoc{ET)' However if '1£0 e Ltoc{RN), there is no a priori information to guarantee that (1.5)
We have spoken oholutions of (1.1); however if (1.5) fails, one of the main problems is to make precise what it is meant by solution. Thus the starting point of the theory is to give a precise meaning to Du to make sense out of (1.1). The previous remarks suggest that IDul might fail to be in Lfoc{ET ), roughly speaking at those points where '1£ is unbounded. Motivated by these remarks, we have given a novel formulation of non-negative weak solutions. Such solutions are 'regular' in the sense that the truncations
Vk > 0,
(1.6)
Uk
= min{u, k},
satisfy (1.7)
Then (1.1) can be interpreted weakly against testing functions that vanish 'whenever '1£ is large'. A suitable choice of such testing functions is (~- '1£)+
== max{(~ - u);O},
~
e C~{ET); ET'
The notion is introduced and discussed §§2 and 3. We prove that these solutions coincide with the distributional ones if (1.5) holds and that the truncations Uk are distributional super-SOlutions of (1.1) Vk > O. We derive a spectrum of properties of such local weak solutions, regardless of their initial datum. In particular we investigate the behaviour of DUk as k -+ 00. A relevant fact is the estimate (1.8)
frlDulP-l dxdr
11 BKp
VO<8
~ "Y s
VK2p,
- K2P
336 XII. Non-negative solutions in E r . The case l
where A=N(p- 2) + P and 'Y='Y(N,p). We remark that in Chap. XI an estimate of the local integral nonn of IDuI P- 1 was crucial to establish the existence of initial traces. In the singular case 1 < p < 2 it is precisely (1.8) that pennits one to prove an integral Harnack-type inequality, which in turns implies the existence of initial traces. The estimate (1.8) is essential also for the solvability of the Cauchy problem. A solution to (1.1)-(1.2) is constructed by using the increasing sequence { u o,n} of approximating initial data
Uo,n = min{uo ; n},
(1.9)
n
= 1,2, ... ,
and solving the approximating problems
Un {
(1.10)
~O, T; L~o;~:N»nLP (~,T; WI~:(RN») , dlV IDunl DUn = 0, lD ET,
E C
Un,t un(·,O) = uo.n , in the sense of Lloc(RN).
The comparison principle and (1.8) yield the Lloc(ET) convergence of the approximating solutions {un}. A one-sided bound on uo,n and hence on Un is crucial to this process in view of the regularising effect of Proposition 6.1 of Chap. VI. In §5 we show uniqueness of weak solutions if they take their initial datum in the sense of LloAR N ). Namely, if U and v solve (l.l) weakly and if
t
-+
(u - v)(t)
then the difference w =
(1.11)
j1w1q(t)dx
-+
0, in Lloc(RN) as t'\,O,
v satisfies
U -
~ 'Y(q) ( N(P~2!+pq) r-;; , Yq ~ 1, "It > 0, Yp > 0 P
Kp
q
for a constant 'Y = 'Y( N, p, q). The theorem follows by letting p -+ 00 after we choose q so large that N(p - 2) + pq>O. If, in (1.3), T = 1 and p> ~~l' the existence and uniqueness theory remains valid if U o E Ltoc (RN) with no sign restriction. Indeed in such a case the sequences
are locally equibounded and equi-HOlder continuous in ET. If 1 < p < ~~2' the singular equation (1.1) is not fully understood. For example it would be of interest to investigate questions of existence and uniqueness for the Cauchy problem (1.1 )-( 1.2) if the initial datum is a measure JL. Finally, we notice that all the results of this chapter hold true for equations of the type N Ut -
L(lu x;IP-2 ux;)x, i=l
=0
2. Weak solutions 337
2. Weak solutions A measurable function U : ET -+ R + is a local weak solution of (1.1) in ET if
uEC(O,T:Lloc(RN )), !DUk!ELfoc(ET), :tUkELloc(ET)
(2.1)
for all k>O and'Vep E Cgo(E T ),
!!{Ut(ep - u)+ + IDuIP- 2 DuD(ep - u)+}dxdr
(2.2)
= o.
ET Introduce the spaces (2.3)
== {ep E Xloc(ET) !ep(x,t) = 0,
Xl oC (ET)
(2.4)
'Vlxl >
'Vt E (0, T), for some p
>0
p}.
o
By density, (2.2) holds for all ep E X loc (ET). We denote with S the set of all non-negative local weak solutions of (1.1) in ET. LEMMA
2.1. Let UES. Then 'V"pEXloc(ET) and 'V'TlE Cgo(ET).
(2.5)
!
!{Ut("p - u)+'Tl + IDul p - 2 DuD[("p - u)+'Tl)} dxdr =
o.
ET PROOF: Let /C c /C' be compact subsets of ET such that dist (8/C, 8/c') = d > 0 and let (E Cgo(/C') be such that 0 ~ (~ 1 and (== Ion /C. Choose "p E Xloc(ET) and in (2.2) take
where (2.6)
'Tl
E
C;:"(/C)
and
k = 1I"plloo,K:/.
We have a.e. in /C'\/C
(ep - u)+ = (("p - u)+'Tl + Uk( - u)+ = (Uk(-U)+ =0. Moreover
(ep - u)+ = (("p - u)+'Tl + Uk - u)+,
a.e. in /C.
This vanishes unless U<"p. In such a case, Uk = U and a.e. in /C.
xn. Non-negative solutions in Er. The case I
338
We conclude that this holds a.e. in I:T and (2.5) follows.
«
Let (f E (0, 1) and let x x) denote the standard cutoff function in K p that equals one on K tTp , (f E (0, 1). By density. (2.5) implies
Vt/J E X'oc(I: T ),
(2.7)
VO<s
!! t
{Ut(t/J - u)+(" + IDul,,-2 DuD[(t/J - u)+("J} dxdT
= O.
BRN
Conversely. if t/J E C~ (I:T ). we may write (2.7) for s < t such that supp{ t/J} C RN x (s,t). By taking (so that p>2diam(supp{t/J}). we obtain (2.2). We conclude that the fonnulations (2.2), (2.5) and (2.7) are equivalent.
LEMMA 2.2. Let UES satisfy
Then
Ut - div IDul,,-2Du = 0
in 1>'(I:T).
PROOF: In (2.5) take t/J=Un + 1 E X,oc:(I:T). nEN. We obtain V'1EC~(I:T)
!
!{Ut'1 + IDul,,-2 DuD'1}(un
-
U + l)+dxdT =
I:T
!!
IDuIP'1dxdT.
I:Tn[n
Since IDul E Lfoc(I:T ), the right-hand side tends to zero as n- 00. The left-hand side converges to
!!
{Ut'1 + IDul,,-2DuD'1} dxdT
= O.
I:T LEMMA 2.3. Let U E S. Then/or all k > O. Uk is a distributional super-solution in I: T .
0/{1.1)
PROOF: Fix k>O and Q,eE(O, I), and in (2.5) take t/J = Uk
+ [(k - u)+ + eJo E X,oc:(I:T)
to obtain V'1EC~(I:T). '1~0
!!{Ut'1 + IDul,,-2 DuD'1}(t/J - u)+dxdT = !!IDuIP'1dXdT I:T I:Tn(k
!
+ Q !IDUkl"[(k - u)+ + e)o-l'1 dxdT ~ O. I:T First we let e - 0 as Q E (0, 1) remains fixed. Since
2. Weak solutions 339
(1/J - 1£)+ - (k - 1£)+ we deduce
j j{u,.,., + IDuIP-2 DuD.,.,}(k - u)+dxdr
~ 0,
Voe(o, 1).
I:T Now letting 0
-
0 gives for every non-negative.,., e O:'(I:T )
{! Uk"" + IDUkIP-2DUk.D.,.,} dxdr ~
jj
(2.8)
O.
I:T The next proposition pennits a large class of testing functions in (2.5). H ko > 0, let F(ko ) denote the set of all the Lipschitz-continuous functions I : R+ - R such that l(k)=O, Vk>ko, and set
PROPOSITION
2.1. LetueS. Then V/eF andV.,.,eO:'(I:T ),
j j{Ut/(u).,., + IDuIP-2 Du·D(J(u).,.,)}dxdr = O.
I:T Assume first that I e 0 2(0,00). Write (2.5) for 1/J = k, multiply it by - f" (k) and integrate in dk over (0, 00). By interchanging the order of integration
PROOF:
with the aid of Fubini's theorem we obtain 00
j j {u,.,.,j!"(k)(k - u)dk
I:T
U
+ IDuIP-'D,..D Since
[q P"(k)(k - U)dk] }dzdT = o.
00
j!"(k)(k - u)dk = 1(1£), U
the assertion follows for I tion.
e 0 2 (0, 00). The general case is proved by approxima-
340 XII. Non-negative solutions in E1. The case I
3. Estimating LEMMA
IDul
3.1. There exists a constant 'Y = 'Y(N, p) such that \fk> 0,
\fp > 0,
\fO<s
\fu E S
t
IllDUkl PdxdT ::5 'Y kPlKpl (k2-P + t;
s) .
BRN
PROOF:
Let ( be the standard cutoff function in K 2p. Then from (2.7) with 1/J =k t
t
IIIDUk/P(PdxdT:5 p II/DUk/P-1(P-l(k - u)+ID(ldxdT BRN
SRN t
+ ~ II !(k - u)!(PdxdT BRN
::5
p;
t
1 IIIDUkIP(PdXdT BRN
! t
+ pp-l fik - u)~ID(IPdxdT BRN
+ ~ fik - u)!(Pdx. RNX{t}
For all 0< s < t::5 T and all p>O set (3.1)
Ms,t(p) = sup fu(X, T) dx. 'Te(s,t) Kp
LEMMA
3.2. Let uES. Then
\foE (O,p
IDuP-~-Q
I
- 1)
E
Lroc(I:T ),
and there exists a constant 'Y='Y(N,p) such that\fO< s
PROOF: Fix k > 0 and e E (0,1). and in (2.8) take '1 = (P1/J-Q. where ( is the standard cutoff function in K 2p and
3. Estimating
IDul
341
u>e
u ~e. We obtain t
o /JIDuIPu-Q-l(Px[e
t
~ P //IDuIP-lu-Q(P-IID(lx[e
(3.3)
t
+ p / /IDu~IP-le-Q(P-IID(1 dxdr sRN
By Young's inequality, the first integral on the right-hand side is majorised by t
i //IDuI Pu-Q-1(Px[e < u < kjdxdr sRN
By virtue of Lemma 3.1 the second integral tends to zero as e -+ 0 at the rate of eP - 1 - Q • Combining these calculations we deduce t
o j/IDuIPu-Q-lx[e
~ O(eP-1-Q) +
"(_1 { oP
(sup
ju(x, T)dx) l-Q (2p)QN
'TE(s,t) K2p
(3.4)
+
(~) (sup pi'
ju(x,r)dx)P-I-Q (2P)N(2-P+Q)}
'TE(s,t) K2p
~
0:-1{[M ,t(2P)j1-Q + (t ; s) [MB,t(2P)jP-I-Q} pN
+ O(eP - 1-
s
Q ).
342 XII. Non-negative solutions in 1:r. The case I
(t ~
8
)
~ [Ms ,t(2p)]2-P ,
the quantity in braces on the rightmost side of (3.4) is majorised by [Ms,t (2p W-0<. Otherwise it is majorised by
In either case t
(3.5)
JJIDuIPu-(O<+l)x.[e
,,; 0(..-<0+1»
+ :. pH { M •.• (2p) +
e;.) r ,!;
o ,
and the lemma follows by letting first e-+O and then k-+oo. Estimate (3.2) deteriorates as Q -+ o. TIle next lemma gives some information
for the case Q LEMMA
=O.
3.3. Let uES. There exists 'Y='Y(N,p) such that 'liO<8
J
'lip> 0,
f IDu¥ IPx.[n
'lin ~ 1
< u< n + 1] dxdT
sKp
~ 'Yin PROOF:
( + n1) [M ,t(2p) + (t7-8) ~l . 1
s
In (2.8) we take 11 =( 1/J. where ( is the standard cutoff function in K 2p
and 1/J=ln+ (~). Here
u(n)
=
{n,
u,
if 0 < u ~ ifu > n.
n
We get t
(3.6)
JJIDuIPu-1x.[n
Kp
~ jJ! un+lln+ (:~)1) (PdxdT SK2p
t
+ ~ JJIDuIP-1ln+ (:~)1) dxdT = I~l) + ~ I~2). SK2p
3. Estimating IDul 343
Setting, for simplicity of notation,
A = K 2p x (s,t), we have
I~2) ~ln
(1 +~) ff
IDuIP-1u-(Ot:+l) (P;ll u(Ot:+1) (P;1) dxdT
An[u
Vi
.P=l
$
~ In(,+ ;) ([.rID.."¥' I'dxdT) ·
.1
U
dxdT)'
If Q E (0, P - 1) is so small that (Q + 1) (p - 1) ~ I, both integrals in parentheses are finite. Taking Lemma 3.2 into account in estimating the first integral we have
~ I~2) ~ 1pN In (1 + ~) , [Ms,t(2 P) +
(t ~
8)
,.!;; ] (l-Ot:)¥
(~ j /
.1
U(Ot:+1HP_l)dxdT)
P
SK2p
The last integral above is estimated by
(~
f t
.1
/U(Ot:+lHP-l) (x,
T) dxdT )
P
SK2p
Therefore
~ t.') $ ~pNIn (I+~) [M••• (2P) + ('
;;;:t].
As for I~l) we write
ff In (1 +~) +ff In+ (n: 1) = ff! In (1 +~) +ff In+ (n: 1) ~1pNln(1+~)Ms,t(2P)+ ff :T (jln+ (n;')d{\ An)
I~l) =
(PdxdT
Ut
An[u
(PdxdT
An[u>n]
Un
A
Ut
(PdxdT
:T u(n)
(Pdxdr
A
+
("dxdT.
344 XII. Non-negative solutions in ~T' The case 1
3.1. Let u E S and define u{x,t)
(x,t)
->
z(x,t) =
/
(~lnl+E~)-;dx,
E
E (O,p - 1).
e
Then IDzl E Lfoc(ET) and there exists "Y="Y(N,p) such that'v'O < s< t ~ T and 'v'p>O,
PROOF: Divide both sides of the inequality of Lemma 3.3 by lnl+E n, and add over all n=2,3, ...
The estimate (3.7) deteriorates as E-O. The following corollary gives some information in the case E = O. COROLLARY
3.2. Let uES. Then 'v'O<s
ffIDuIP-I-lX[k
lim
k .....
s Kp
PROOF: Without loss of generality we may assume that k and Ck are positive integers. Divide both sides of the inequality of Lemma 3.3 by In n and add for n=k, k + 1, ... ,Ck. This gives
t
//IDunUln u)-lX[k
Ii'S)~l
~"Y{lnlnCk-Inlnk) [ M s ,t(2p)+ ( t -
= "YIn ( 1 + InC) Ink
[ M s •t (2p)
+
(tIi'S) ~l .
4. The weak Harnack inequality and initial traces In the definition of local weak solutions of (2.1) in ET, no reference has been made to initial data. We will show that each u E S has a unique non-negative u-finite Borel measure J.I. as the initial trace. The existence of such a trace will be a consequence of the following weak Harnack-type estimate.
4. The weak Harnack inequality and initial traces 345
4.1. Let U E S. There exists "I = "I(N,p). such that "10 < s
THEOREM
< t 5, T
andVp>O
sup
(4.1)
TE(s,t)
!
j u(x, t)dx + "I ( t-S)~ P
u(x, r)dx 5, "I
Kp
-.>.-
,
K2p
A = N(p - 2) + p. The uniqueness of the initial trace J.I. relies on the next gradient estimates. LEMMA
4.1. Let uES. There exists a constant "I="I(N,p) such that
VO<s
"Ip> 0,
h
1 IDulp-1dxdr 5, "I p}}
(4.2)
B
Vu
E
(0,1),
"Iv> 0,
(t-S)~ 7-
Kp
:!iE..=..ll
+ "I
(t -/) *{ P
sup ju(x, r)
S
dx}
P
K2p
Moreover
Ih'lt IDulp-1dxdr 5, "I sup
(4.3)
-
p
S
j u(x, r) dx + "I (t-S)~ P -.>.-
.
K2p
PROOF: The proof is the same as that of Propositions 4.1 and 4.2 of Chap. VII. The only difference is that instead of working with the solution u we work with the truncations Uk and use the fact that these are supersolutions. In (2.8) we take the testing functions
t/J = (t -r)*(uk + v)l-~
E
X'oc(E T ),
where v> 0 is arbitrary. We proceed as in Chap. VII and then let k ~ 00. THEOREM
4.2. Every u
E
S has a unique Radon measure J.I. as initial trace at
t=O. PROOF:
From Theorem 4.1 it follows that V'1EC~(RN), the net
{
jU(r)'1dx} RN
TE(O.t)
is equibounded, with bound depending only upon I '1 II oo,RN • A subnet indexed with {r'} converges to a Radon measure 1', in the sense of the measures, i.e.,
346 XII. Non-negative solutions in ET. The case 1
Suppose now that there exist another subnet, indexed with {r"} and a Radon measure jJ., such that
We will prove that J.I. == jJ.. Let u E (0,1) and write (2.8) with 1/J == 1 and ( the standard cutoff function in K(l+u)p. Letting k -+ 00, standard calculations give
VO<s
(4.4)
jU(S)dXS j u(t)dx+ :pjjIDuIP-1dxdr. Kp
K(1+")p
BK2p
We estimate the last tenn by using (4.2) and let s '\. 0 along r' while t> 0 remains fixed. Then we let t '\. 0 along the net r" to get
Since uE (0;1) is arbitrary, interchanging the role of J.I. and jJ. proves the theorem.
5. The uniqueness theorem Let S· denote the subclass of S of those non-negative local weak solutions of (1.1) in ET, satisfying
(5.1)
for some "'( = ",((N,p, t),
(5.2)
lim frJf
k-oo
Vk E R+,
IDuI P.!. dxdr = 0, u
K:n[k
for every compact subset K:. C ET and for all C> 1. In section §§8-12 we will construct solutions of the Cauchy problem (1.1)-(1.2) that satisfy both (5.1) and (5.2); therefore S· is not empty. Corollary 3.2 suggests that (5.2) is almost satisfied
s. The uniqueness theorem
347
by all solutions in S. It would be of interest to know whether the inclusion S* c S is strict. . THEOREM
5.1. Let Ul. U2 E S* satisfy
5-(i). Preliminaries LEMMA
5.1. LetuEs*. Then/oraIlO<s
lim ff1ut/x[k
= O.
BKp
Consider (2.8) written for Uk replaced by UCk. against testing functions
PROOF:
7J = ( In (k/2wk,C) where x-(x) is the standard cutoff function in K2p. and
Wk,C
!k, { u, Ck,
==
o '5, u '5, !k !k < u < Ck u~Ck.
It follows from these definitions that 7J '5, 0 a.e. in ET and 7J = 0 a.e. on the set [O
(5.3)
t
I I ! uC1c7Jdxdr '5, IIIDU1P;X(k/2
SK2p
t
+In2C IIIDUCkIJl-IX(U
> k/211D(ldxdr.
BK2p
The fll'St integral on the right hand side of (5.3) tends to zero as k of (5.2). We estimate the second integral. formally. by
00
by virtue
348 XII. Non-negative solutions in ~T. The case I
ff -p-}} IDuCkI P- 1x[u > k/2] dxdr In2C
sKlp
ljlDUCk, t
In-2C = p
IP-l 1.£
(<>+I)(p-l) (<>+I)(p-l) pUP
[ k/2]dxdr Xu>
SK2p
~ In;c (p _~ _0) p-l (if ,DUcr 1PdXdr)
cl P
SK2p
1
X
(if u(O+1)(P-l)X[U > k/2]dxdr)
P
SK2p
If we choose 0 E (O,p - 1) so small that (0 + l)(p - 1) ~ 1, the estimate is rigorous and the last tenn in the right hand side of (5.3) tends to zero as k -+ 00, since 1.£ E LJoc(ET)' These remarks in (5.3) give t
ffUt ln
(2~,c) (X[Ut < O]X[(k/2)
SK2p
t
~ ff Uti In 2W:,c I(X[Ut ~ O)X[u > k/2] dxdr + 0 (~) . SK2p
In view of the definition of Wk,C this gives in turn t
ff1ut\X[k <1.£< Ck]dxdr SKl p
t
~ 'YffUtX[Ut > O]X[u > k/2]dxdr+O (~). SK2p
1be last integral is estimated by means of (5.1) and the lemma follows.
Remark 5.1. The assertion of the lemma is trivial if Ut E LJoc(ET)' We give next a weak fonnulation for the difference of two solutions 1.£1,1.£2. First we recall that, by Lemma 2.3, the truncated function ifO
u2~k
is a distributional supersolution of (1.1), 'Vk > O. We write (2.8) for U2,k against the testing functions
S. The uniqueness rheorem 349
where ( is a non-negative piecewise smooth cutoff function in K( 1+(7)p, such that
( == 1 on Kp
(5.4)
and
0' E (0,
1),
ID(I:5 1/O'p.
In view of the definition of X 10c (ET) and the regularity properties (2.1) of Ui, i
=
1, 2, such a choice of testing function is admissible, modulo a density argument. On the other hand the weak formulation (2.7) of Ul holds against the same testing functions. Therefore setting kER+, we obtain by difference the weak formulation t
(5.5)
{!W(k)(1/J -
/ /
ulh(P
+ J kD(1/J -
Uil+("} dxdr
SK(l+a)p
t
:5 -p / /Jk(1/J - ud+(,,-l D(dxdr \:/1/J E Xloc(E T ), sK(l+a)p
where
Jk == IDull,,-2Dul -IDu2,klp-2Du2,k 1
.
= / ~ {ID (~Ul + (1 - ~)U2,k)IP-2 D (~Ul + (1 - ~)U2,k) } d{ o
~ (iID({Ul + (1 - O....)IP-'d{)
Ow(')
1
+ (p -
2) (
/ID(~Ul + (1 - ~)U2,k)IP-4 o
XD(~Ul + (1 - ~)U2,k)(~Ul + (1- ~)U2,k)z;d{ )W(k),Zj' Set also 1
Ao == /ID(f.Ul o LEMMA PROOF:
+ (1 -
5.2. Ao:5"~1IDw(k)IP-2. If IDu2,kl ~ IDw(k)l, we have
f.)U2,k)I,,-2d{.
350
xu. Non-negative solutions in Er. The case I
+ (1 -
e)u2,A:)1
= IDu2,k + eDW(k) I ~ IIDu2,kl- eIDW(k)11 ~ (1 - e)IDw(k) I.
1berefore
A. $
(/<1 -(~'d{) IDw(.r'
= ~IIDW(k)IP-2. p-
where
eo E (0,1) is defmed by eo
Du
_ I 2,kl ( ) = ID W(k) leo, 1 .
From the definitions set forth and Lemma 5.2 we have {
(5.6)
JkDw(k) ~ (p - I)AoIDw(k) 12 , IJkl S AoIDW(k)1 S p~IIDW(k)IP-I.
In what follows we will use these inequalities without specific mention.
6. An auxiliary proposition PROPOSITION
6.1. Let Ui E S· , i = 1, 2, satisfy
wet) == (UI - U2)(t) - 0
in Lloc(RN) as t - O.
6. An auxiliary proposition 3S I
Then W E Loo (0, Tj Lfoc(RN ») , Vq E [1,00). Moreover Vq ~ 1 there exists a constant ",(=",(N,p, q), such that (6.1)
jlw(tWdX
~
t
(0';)" j jlwl9+(,,-2)dxdT,
Kp
OK(1+O')p
for all p>Oandforall O'E (0,1).
The proof is based on an iteration procedure and uses recursive inequalities obtained from (5.5) with suitable choices of testing functions 1/1.
6-(;). Testingfunctions in (5.5) For h>O, set
W/i).h" (UI -
(6.2)
", ••
)t -
{:/i)
ifW(k)
~O
ifw(k) < h ifw(k)
~
h
and in (5.5) consider the testing function
1/1 == Ul,l/r: + ~ (w(t),n + a(w(t),m +
e)
(6.3)
e)
b
E X'oc(E T ) ,
where
eE(O,I),
a,b>O,
n,mENj
n>m+1.
We obtain (6.4)
j W(k) (1/1 - ul)+("dx - j W(k)(1/1 - ud+("dx RNX{B}
RNX{t}
t
t
- jjW(k)!(1/1-ud+("dxdT+ jjJkD(1/1- u d+("dXdT BRN
BRN t
::; -p j jJ k (1/1 - Ud+(,,-l D(dxdT. BRN
In using 1/1 as a testing function in (6.4) we keep in mind that the truncated functions Ui,h, i = 1,2, Vh > 0, are regular in the sense of (2.1). In particular the first two integrals on the left hand side of (6:4) are well defined V0 < 8 < t ~ T. We will
eliminate the parameters e,k,8,n,m by letting e-O, k-oo, 8-0, n,m-oo in the indicated order.
352 XII. Non-negative solutions in I:r. The case I
6-(U). The limit as E-+O We multiply both sides of (6.4) by E and let E -+ 0, while k, 8, n, m remain fixed. From the definition (6.3) of t/J it follows that \;IrE (0, T] the net [W(k)(Et/JEud+](" r), is equiboundt:d in Lloc(RN). Moreover it converges to
[W(k)
(w~).nf (w~).m) b] (., r)
a.e. K 2p ,
and it is majorised a.e. in RN by
W(k)
(w~).n + If (w~).m + I)b (·,r) ELtoc(RN).
1berefore for all 0 < r ~ T, as E -+ 0 (6.5)
f
W(k)(t/J - ud+(?dx
RNx{r}
f
-+
(w~).nf (w~).m)b (Pdx.
W(k)
RNx{r}
This determines the limit for the first two terms on the left hand side of (6.4). To examine the remaining terms we let 'iii, i = 1, 2, be arbitrarily selected but fixed representatives out of the equivalence classes Ui, define iii, iii(k) accordingly, and let
Next t
ff = ff w~).n (w~).n +Er- 1(W~).m w~).n(PX(gE)dxdr ff w~).m(w~).n +Er(W~).m +E)b-l ! w~).m(PX(gE)dxdr -ff
LE == -E
W(k) :r (t/J - ud+(Pdxdr
sRN
t
-a
+E)b!
SRN
t
-b
sRN
t
w(k)(1 - EUlhx(FE)(Pdxdr
BRN
==
L~l)
+ L~2) + L~3) .
We claim that L~3) - 0 as
E -+ O.
Indeed
6. An auxiliary proposition 353 t
IL~3)1::; JJeIW(k)II!UIIX(Fe)dxdr. aK2p
On the set
Fe we have 1
-
e
1
::; Ul ::; -
e
1 'Y + -(n + 1)a+b == -, e e
eIW(k)/ ::; 'Y
a.e.
Fe·
Therefore (6.6) and the assertion follows from Lemma 5.1. Since k, n, m are fixed, the integrands in L~i) •i = 1, 2, are in Lloc(ET) unifonnly in e. Moreover they have a.e. limits that are in Lloc(ET) and their absolute value is majorised almost everywhere in ET, unifonnly in e, by functions in Ltoc(ET). Therefore as e-+O (6.7)
:: -a:
1
jJ! (W~),n)a+1 (W~),m)b (,Pdxdr aRN
-b!
t
1
!
JJ (w~),n) a (wtk),m) b+l (?dxdr. aRN
Since n>m + 1, .
{) (wtk),m )b+l + )a Or{) (+ (w(k),n w(k),m )b+l = (wtk),m )a Or {) ( -- a +b+b +1 1 Or w+(k),m )a+b+l '
We obtain from (6.7) (6.7')
c:: -
a:
1
J (wtk),n) a+l (wtk),m) b(Pdx RNX{t}
b - (a + l)(a + b + 1)
+
a:
J( w~),m )a+b+ 1 (Pdx RNX{t}
1
.
J (wtk),n) a+1 (w~),m) b(Pdx RNx{a}
+ (a + 1)(: + b + 1)
J (wtk),mf+b+ 1 (Pdx. RNx{a}
a.e.ET.
354 XII. Non-negative solutions in I:T. The case I
1
(6.8)
a+ b + 1
I( w~),m )4+11+1 ("dx (w(k),n)4+11 ("dx. - a+ + f
aNx{t}
1
b
1
w~)
aNx{s}
We tum to estimate below the lim-inf as € - 0 of the last integral on the left hand side of (6.4): t
€
IIJIcD(1/J - ut}+("dxdT saN t
= a IIJIcDw(k),n (W~),n + €) 4-1 saN
t
+b IIJIcDW~),m
(w~),n +€)4
saN
(6.9) t
+ IIJkD(I-€Ul)("x(.r~)dxdT saN
~ a(p -
t
1) II AoIDw(k),nI2
(W(k),n + €) 4-1
saN
t
- p~ 1 I I
AoIDW(k)IIDull("x(.r~)dxdT
saN
== H~I) + H~2) . By weak lower semicontinuity (6.10)
lim in! H~I) ~-o
t
~ a(p-l) II AoIDw(k),nI2 (W(k),nr- 1 (W(k),mt ("dxdT. saN
6. An auxiliary proposition 355
We claim that H~2) - 0 as
€-
O. Using Lemma 5.2 we have
t
IH~2)1 :5 €C(N,p) jfiDUl -
DU2,IcIP-1IDullx(.rE)dxdr
aK 2p
t
t
:5 C€ j jIDUIIPx(.rE)dXdr + C€ j jIDu2,Ic IPx(.rE) dxdr SK2p
SK2p
= H(2) +H(2) E,l E,2· Since IDu2,1c1 E LfoAET) the second tenD tends to zero as write
€ -
o. As for H~~{
where "1= 1 + (n + l)G(m + l)b. This implies. since Ul ES· t
H~~{ :5C(p,n,m) jjlDu~IPx (~ :5 Ul :5 ~) dxdr -+ 0 as € - o. aK2p
.
We fmally estimate above the lim-sup as € - 0 of the integral on the right-hand side of (6.4). Using the definition (6.3) of t/J and (5.6) t
(6.11)
Ip jjJIc(t/J-Ut}+(P-1D(dxdrl saN
t
:5 "1 j j AoIDw(lc) I (w~),n + € ) G saN
t
+ "1 j j AoIDw(lc) IWIX(.rE)(P-l ID(ldxdr. saN
The last integral tends to zero as € - O. Indeed it can be majorised by
356 XII. Non-negative solutions in Er. The case 1
"( !jlDW(k)IP-1X(FE) t
(6.12)
dxdr
BK~p
t
::; "( !!IDUlIP-1Xlul
~ ~ldxdr
t
+"(
!!IDU2,kIP-1Xlul ~ ~ldxdr, BK~p
for a constant "( = "((P, n, m, a, b). The second integral on the right hand side of (6.12) tends to zero as e ..... O. since Ul E Lloc(ET). As for the first integral,let oE (O,p - 1) be so small that (0 + l)(p - 1) < 1. Then t
'Y !!IDUt!P-1X[Ul > :ldxdr BK~p
t
{f
=
- (o+1)(p-l) (o+l)(p-l) 'Y 11 IDullp-lul Ul P X[Ul > : ldxdr p
BK~p
t -
{{
p-I-o
=;:y 11 IDu l
P
1
(o+l)(p-l)
IP- Ul
P
X[Ul > :ldxdr
BK~p
<~IIDu P-~-oIIP_l
-
1
P,KlpX(B,t)
.1
( ; (u(a+l)(p-l)x[Ul >
11
1
lldxdr)P •
BK~p
---+
0
as e .....
o.
We examine the lim-sup as e ..... 0 of the first integral on the right-hand side of (6.11). The numbers k E R +, n E N being fixed, if e is small enough. we have the inclusion
Moreover since w~),n E Lfoc (0, T; WI!;.;(R N ))
We write
6. An auxiliary proposition 357 t
ffAoIDW(k)1
(w~),n
+ef (w~),m +e)b (P-1ID(IX(Qe)dxdT
BRN
t
=ffAoIDW~),nl (w~),n
+ef (w~),m +e)b (P-1ID(ldxdT
aRN
(6.13)
t
+f f
AoIDw~)I(n + e)a(m + e)b(P-IID(lx[w~) > nlx(Qe)dxdT
BRN
t
+f f
AOIDw~)lea+b(p-IID(IX(Qe)dxdT = K~l) + K~2) + K~3).
BRN
As for K~l) the integrand tends to AoIDw~),nl(w~),n)a( w~),m)b(P-IID(1
a.e. K2p x (s, t),
in a decreasing way. Therefore t
K~l) -+ f f AoIDw~),nl(w~),nt(w~),m)b(P-lID(ldxdT. BRN
The last integral tends to zero as e -+ O. Indeed
The operation Dw~) coincides with the weak derivative of w~) only on those sets Ai where w~) is bounded by a positive constant i, i.e.,
Dw~)x (At) == Dw~),t. Since Dw~) is not well defined a.e. in the whole strip ET we estimate K~2) as follows: t
K~2) -:; 'Y (m ~ l)b ffiDUl - DU2,kIP-lu~X[Ul > n + U2,k]X(Qe) dxdT aK2p t
-:; 'Y (m
~ l)b ffIDUIIP-IU~X[Ul > n]x(Qe) dxdT aK2p
+ 'Y
(m+l) Up
b
t
a Jff J IDU2,kI P- 1 UIX[UI > n + U2,k]X(Qe) dxdT. aK2p
358 XII. Non-negative solutions in Er. The case I
If 0 E (O,p - 1). write t
JJIDUIIP-IU~X[UI > n]x(ge)dxdr aK2p
t
=JJIDUIIP-IU~(O+l~P-l) ut+1)(~-ll+GP X[UI > n]x(ge)dxdr aK2p
c.!
~ "( (jjIDu:- :-° 1, /hd) •rjj .\0+1 BK2p
')
~BK2P
!
)(,-1 )+«,
Y
xl' 1 > n]dzdT
')
Choose 0 and a> 0 so small that (0 + 1)(P - 1) + ap ~ 1.
(6.14)
Then u~Q+l)(p-l)+ap E Ltoc(ET) and VEE (0,1) t
JJIDUIIP-IU~X[UI > n]x(ge)dxdr ~ 0
(;).
BK2p
Analogously t
JfiDU2'kIP-IU~X[Ul
> n + U2,k]X(ge)dxdr
aK2p
x
(jj,:'u!,°+')('-')xl"
c.!
BK2p
)
~ "( (jfiD'~ I'dzd) .... BK2p
I·
> n + ....]dzdT
)
6. An auxiliary proposition 359
We conclude that
provided 0: and a> 0 are chosen so that (6.14) holds. Combining these estimates and limiting processes as parts of (6.4) we obtain
a+ 1b + 1
J(w(k),m +
)a+b+l
(P dx
RNx{t}
t
+ a(p - 1) JJ AoIDw~),~J (w~),n) a-I (w~),m)" (Pdxdr BRN
(6.16)
$
a+ ~ + 1 Jwt (w~),nr+" (Pdx RNx{a} t
+ ~JJAoIDW~),nl
(w~),nr (w~),m)" (P-1dxdr
BRN
+-y(m+ 1)"0 (~).
6-(iii). The limits as k--+oo and 8--+0 If n E N and k > 0 are fixed, we let
iii{k),n and Dw~),n be arbitrarily selected
but fixed representatives out of the equivalence classes w~),n and Dw~),n and introduce the sets
where C is the constant appearing in the last integral on the right hand side of (6.16). This integral is estimated as follows:
360
xn. Non-negative solutions in ~T. The case I
~ I I AoIDw~),n I (w~),n BRN
r(w~),m)
b(P- 1dxdT
t
$
~IIAoIDw~),nl (w~),nr (w~),m)b (P-l x(tddxdT BRN
t
+ (p ~~)qp I jlDw~),nIP-l
(w~),nr (w~),m) b(p-1 X(t2 )dxdT
BRN
$
a(p-l) 2
jt!AoIDw~),nl 2(w~),n )CI-l (w~),m )b (PdxdT BRN
j!(w+ t
+ aP-1(p4PCP _ l)p(qp)p
(k),n
)P-l+CI (w+(k),m )b dxdT•
BRN
We carry this estimate in (6.16). move the integral involving IDw~),nI2 on the left hand side and discard the resulting non-negative tenn to obtain
(6.17)
-y(P) + (qp)P
It I( w~),n)P-l+CI (+
w(k),m
)b dxdT
B K(1+")p
+ -y(m + l)bO (~) . We let now k - 00 while B > 0, n, mEN remain fixed. Since w~) - w+ in a decreasing way we may pass to the limit under the integrals in (6.17) and obtain the same integral inequality written for w+. In particular the first integral on the right hand side takes the fonn (6.18)
1
a+b+l
jw+(w+)CI+b(Pdx. n RNx{B}
Now letting s - 0. the integral in (6.18) tends to zero since it can be majorised by as B -
O.
6. An auxiliary proposition 361 These limiting processes yield
j(W:at+b+l (Pdx (6.19)
~ 'Y(P)(~;)! +
I)!
RNX{t}
t
j(W:;y-1+ a (W:a)b dxdr
OK(1+")p
+ 'Y(a + b+ l)(m + l)bO(~). 6-(ivJ. Proof of Proposition 6.1 We let n -+ 00 in (6.19), while mEN remains fixed. The integrand in the last integral tends to (w+)p-1+a(w~)b a.e. in K(1+CT)p x (0, t) in an increasing fashion. Moreover if a is so small that p - 1 + a E (0,1),
(6.20)
it is dominated, uniformly in n, by the function
The limit process gives t
j(W~t+b+1 (Pdx ~ 'Y(P)(~;)! + 1) j J(w+)p-1+a(w~)bdXdT.
(6.21)
RNX{t}
OK(l+ .. )p
This inequality holds true "1m E N, Vb ~ 0, "10- E (0,1), Vp > O. The positive number a is fixed, satisfying the restrictions (6.14) and (6.20). The sequence {w~} increases to w+ a.e. in ET . Therefore as m -+ 00, we may pass to the limit under the integrals in (6.21) for those b ~ 0 for which
(w+)p-1+ a+b E Ltoc('ET). If bi
~0
is one such b, letting m -+ 00 we find that
which implies that
(w+)p-1+a+bi+l E Lloc(E T ), Let bo ~ 0 be defined by p - 1 + a
bi +l=bi +2-p>bi .
+ bo = 1. Then the previous remarks show that
(w+)p-1+ a+bo+i(2- p) == (W+)1+i(2- p) E Ltoc(ET), i Interchanging the role of UI and U2 proves the Proposition.
= 0,1,2, ....
362 XII. Non-negative solutions in Er. The case I
7. Proof of the uniqueness theorem From (6.1) by HOlder's inequality, since pE (1, 2)
(7.1)
Let p > 0 be fixed and for n =1,2, ... defme
Pn
=
(t
,=0
2- i ) p,
Kn
= K p.. ,
n-- 2-(n+1) ,
(1
Rewrite (7.1) over Kn and Kn+1 to obtain (7.2)
By the interpolation Lemma 4.3 of Chap. I we conclude that for every q E [1,00) there exists a constant -y=-y(N,p, q), independent of p, such that for all tE (0, T) (7.3)
To prove the theorem we choose q so large that
N(p - 2) + pq > 0 q and then, such a q being fixed. we let p-oo in (7.3).
8. Solving the Cauchy problem We will establish the existence of a unique non-negative solution to the Cauchy is non-negative and merely in L}oc(RN). For n = problem (1.1)-(1.2) where 1, 2, ... consider the sequence of approximating problems
"0
I
Un
(8.1)n
9. Compacbless in the space variables 363 E C (O,Tj
L10c(RN»)nV
/:rUn - div IDun l
Un
( )_ x,O -
p - 2 DUn
(0, Tj W,!;:(RN»)
= 0,
_ {min{uojn}
U on
=
'0
in ET for Ixl < n for Ix I~n.
The initial data are bounded and compactly supported in RN. Therefore the unique solvability of (8.1)n can be established as indicated in §12 of Chap. VI. Since the initial data {uo,n}f1S\l form an increasing sequence of functions in Lloc
't/p>O.
The solution of (1.1 )-( 1.2) will be constructed as the limit of the sequence {u n }f1S\l in a suitable topology. For this we establish flJ'St some basic compactness of {un}f1S\l. LEMMA 8.1. There exists a constant "'( = "'( N, p) independent of n such that for all t,p>O
MoreoverforallaE(O,p-l),
PROOF: The Lloc-estimate follows from (4.1) with s = 0, and the gradient estimate (8.4) is a consequence of (4.2) with s = O. Finally (8.5) is the content of Lemma 3.2.
9. Compactness in the space variables LEMMA 9.1. Let a E (0, p - 1) be so small that (a + 1)(P - 1) < 1. There exists a constant ",(='Y(N,p, a) such that
364 XII. Non-negative solutions in I:T. The case 1
'VO < t
~
T,
'Vk,
'VC > 1,
'Vn
= 1,2, ... ,
t
j jIDunIPu;;Ix[k
(9.1)
OKp
< 'Vk _
_(I-(QHHP-I») p
I
N a 2=.l
P
(t )~{j pP
p
-
U0
dx +
(-
t
)~}P_Q~P_l)
p~
K3p
+ In C
j uoX[Uo > k] dx. K3P
The constant 'Y( 0) /00 as either a'\. 0 or 0/ p - 1. PROOF:
We drop the subscript n for simplicity of notation. If C > 1 is fixed, let
U~~ == {:
Ck
ifO
if k
< u < Ck
if u 2: Ck
and in the weak formulation of (8.l)n, take the testing function
(k)) ( In U~k ((x), where x -+((x) is the standard cutoff function in
K 2p that equals one on Kp. We
obtain t
j
fiDUIP~X[k
OK p
-j
j :T
(i
OKb
2;
t
j jIDuIP-1X[U > k]dxdT OK3p
In
min{~j Ck} de)
((x)dxdT == +
k
Let a be any positive number satisfying
. OE(O,p-1) Then by virtue of (8.5)
and
(o+1)(p-1)<1.
G~l) + G~2).
9. Compactness in the space variables 36S
jjlD IP-l t
G{l) k
2')'
~-
U
p
U
(o+l)(p-l)
(o+l)(p-l)
pup
j xu>kdxdT [
OK2p
')'(a,p) jilDu t
I
.-1-0 P- 1 (0+1)(,-1) PUP
=-p
kjdxd
[ XU>
T
OK2p
(0+1)(,-1)
X{
jU(X,
sup O
T)dx}
P
K2p 1-(0+1)(,-1)
X {
sup
O
J
X[U > kj
dx}
P
K2p
~')'(a,p)(~);{Juodx+(:~)~}
~
P
K4p 1-(o+l)(p-l)
SUP { O
jX[U> kj
K2p
dx}
P
366 XII. Non-negative solutions in 1::,. The case 1
1berefore
As for G~2) it is estimated above by
10. Compactness in the t variable LEMMA
10.1. Let 0
E
(O,p - 1). There exists a constant 'Y = 'Y(N,p,o) such
that VO<s
V8~o+1,
'YP-aN
+ -s -
Vn=1,2, ... ,
{f ( )~}l-Q t
uodx+-X P
K2p
The constant 'Y(N,p, 0) /00 as either 0 '\.0 or o/(p - 1). PROOF: Let 0 < s < t $ T and p> 0 be fixed. Consider the cylinders QoEKpx(s,t),
QIEBtPx(i,t),
and let (x, T) -+ ( x, T) be a non-negative piecewise smooth cutoff function in Ql which equals one on Qo and such that ID(I $ 2/ p and (t $ 2/ s. At first we will proceed formally. The calculations below will be made rigorous later. In the weak formulation of (8.1 )n, take the testing function
10. Compactness in the t variable 367 Un,t (un
+ 1)-8(2,
and integrate by parts over Ql. Dropping the subscript n, we obtain
II{u+
1)-8u~(2dxdr = - IIIDu IP- 2DUD{Ut (U+ 1)-8(2)dxdT
Ql
Ql
=
-t
I I !IDuIP(u + 1)-8(2dxdr Ql
f
+ (J IIDuIP(u + 1)-8-1Ut(2dxdT Ql
- 2 IIIDu IP- 2Duut{u + 1)-8(D( dxdr Ql
~ ~ (p-1) IIIDuIP(u+ 1)-8-1Ut(2dxdr Ql
+ ~ IIIDuIP(U + 1)-8((Tdxdr Ql
+ ~ IIIDuIP-1{u + 1)-1 ({u + 1)-8u~(2) 1dxdr Ql =
n(l)
+ nP) + n(3).
In estimating n (1) we use the regularising effect of Proposition 6.1 of Chap. VI, 1
u
Ut < - - - . - 2-p t
(10.2)
Then,
By Young's inequality n(3)
~ ~ II{u + 1)-8u~(2dxdT + ; Qo
I I IDuI 2(p-l){U + 1)-8dxdr. Qo
Since 1 < p < 2, this last integral is majorised by
Combining these estimates we find that
368 XII. Non-negative solutions in I:T. The case 1
By (8.5), if aE (O,p - I), this is estimated by
; ffiDuIPu-(O+I)(U
+ 1)-[8-(o+l)ldxdr
Ql
~ "Y(a,~)pON JJIDUp-~-a IPdxdr Ql
~
"Y(a,p) {J uodx+ s
(~).,!p} ~
1-0
P
,
K2p
and the lemma follows by fonnal calculations. The calculations are fonnal since 'Un,t (un + 1) -8 (2, need not be an admissible testing functions in (8.1)n. The arguments would be rigorous if (10.3)
Indeed, if so, we may take in the weak fonnulation (8.1)n the testing function
'Un(t + h) - un(t) ( h un The limit as h - t
+
1)-8/"2
.. , hE(O,T-ls),
ls~t
°
is justified and we may proceed as before.
lO-(i). Approximating estimates Therefore to prove the lemma it suffices to establish (10.1) for a sequence of approximating solutions satisfying (10.3). The unique solution of (8.l)n, can be approximated by the solutions of
vn,; E C (0, T; L2 (B;»)nV (10.4)
{ j
(0, T; W!'p (B;)) ,
= n + 1, n + 2, ... ,
!rVn,j - div (I DVn,j IP-2 DVn,j)
=
°
in B j x (0, T),
Vn,j(·,t) 11%I=j= 0, Vn,j(·,O) = Uo,n,j, where B; is the ball of radius j about the origin and {uo,n,j };:n+l' is a sequence offunctions in C':' (Bn+l), such that .
Uo,n,j and
--+
uo,n in L~oc (Bn+t> ,
10. Compactness in the t ¥ariable 369
/Uo,n,jdX
~ 2/uodX
Kp
Vp
> o.
Kp
As indicated in §12 of Chap. VI.
8
8
Xl
Xl
Vn,j, -8 Vn,j -- Un, -8 Un, in
C1!c (ET)
Vl= 1,2, ... ,N, for some Q E (0,1). The unique solvability of (10.4) can be established by a Galerlcin procedure. Such a method also yields
To establish (10.1) for Vn,j is suffices to show that
ID!
(10.6)
Vn,jl
E
L?oc (B j ).
In the remarks below we drop the subscript n, j and write v (10.4) for the time levels t+h and t and set
w = vet + h~ - vet) ,
hE (0, T - !s),
= Vn,j. We write
!s ~ t < T - h.
By difference (10.7)
where Jh
=IDv(t + hW- Dv(t + h) -IDv(t)IP- Dv(t). 2
2
In the weak formulation of (10.7) take the testing function w ishes on Ixi =j and for t ~ ~. This gives T-h
(10.8)
/
T-h
/(t - i) + A ,jlDwl dxdr ~ 'Y / o
! Bj where
2
(t- V+ which van-
t+h
/1 f :r
0 Bj
vex, r)drr dxdr,
t
1
Ao,j = /ID(svn,j(t + h) + (1 - s)vn,j(t))IP- 2 ds. o If /C is a compact subset of B j x (s, T). we have Ao,j ~ 'YIIDvn,j lI~i It follows from (10.8) that
.
370 XU. Non-negative solutions in 1::1. The case I
The last integral is finite by virtue of (10.5) and the lemma follows.
11. More on the time-compactness We record a simple consequence of Lemma 10.1. If x - ((x) is the usual cutoff function in K 2p that equals one on Kp. we find from the weak fonnulation (8.1)n.
VO<s
t
t
ffiUt)-(dxdT - ffiUt)+(dXdT aK2p
=-
ffUt(dxdT
aK2p
aK2p t
=
f f1Du1JI-2 DuD( dxdT. aK2p
1berefore
The fust integral on the right hand side is estimated by (10.2). i.e .•
t-s{f $ 'Yuodx s-
+
(t),!p} p>'
•
K4p
Estimating the second integral by Proposition 8.1 gives LEMMA
(l1.1)
11.1. There exists a constant 'Y ='Y( N, p), such that
VO<s
if
Vn
= 1,2, ... ,
!{~un.tldXdT $ 'Y -t-s{f s - K4puodx +
(t)¢P} p>'
•
12. The limiting process 371
12. The limiting process By construction Un /,1.£ a.e. in ET and by (S.3)
for all 0< t ~ T. Moreover by (11.1) (12.2) p-l-..
By Lemma S.l the sequence {'Un
J>
}
is equibounded in
LP (0, Ti W1,P(Kp ») , Vp > 0, provided
0
E (O,p -1).
Since the whole sequence {unhJEN -1.£ in Lloc(RN), p-l-..
Un
J>
p-l-..
--+ 1.£
weakly in LP(O, Ti W1,P(Kp
J>
», Vp > 0.
This implies that the sequences
Un,A: are equibounded in LP
Un,k
(12.3)
= Un 1\ k = min{un,k}
(0, Ti W1,P(Kp ») , Vp>O, and
--+ 1.£ 1\ k
weakly in LP (0, Ti W1,P(Kp »)
, Vp> 0, Vk > 0.
LEMMA 12.1. DUn,A: - DUA: strongly in Lfoc(ET). PROOF:
In the weak fonnulation of (S.1)n, take the testing function
to obtain (12.4) jjIDUn,A:IPcpdxdT
ET
= jjIDUnIP-2DUn.DUkCPdxdT ET
+ jjlDunlP-2 D(u + v)(UA: -
Un,k)DcpdxdT
ET
+j j
Un,t (Uk - Un,k)cpd.xdr == 10 + It + 12.
ET We first estimate the integrals Ii, i = 1, 2. Let 0 E (0, p - 1) be so small that (0 + 1)(P - 1) ~ 1. Then by Lemma S.l
372 XU. Non-negative solutions in l:r. The case I
j
II 1 I <_ rJriDUn 11'-1 Un-(01+1)7 Un(01+1)7 (Uk - Un.k ) I{) dxdT ET I'
~ IIDu:-~-"IIP-1
(II ET
P.8Upp{.,}
u~+1)(P-1)(Uk - un.k)Pl{J"dXdT) .1
,;;
~(Q,P'U.,
as n ..... oo.
0
We estimate 1/21 by making use of the regularising inequality (10.2). 1/21
~ ;~~ IfUn (Un.k - Uk) I{)dXdT ET --+
2-p
0 as n--oo. p
We return to (12.4) and estimate
10
= IIIDun.klp-1IDUkll{) dxdT ET
~
p;
1 IIIDUn.kIPl{)dxdT +
~ IfIDUkIPl{)dxdT.
ET
ET
Combining these calculations in (12.4) gives
From this. by lower semicontinuity
IIIDUklPl{)dxdT ~ l~~~ IIIDUn.kIPl{)dxdT ET
ET
~ IIIDUkIPl{)dxdT. ET This proves the lemma. Next, by Lemma 10.1 the sequence
1
P
12. The limiting process 373
2-.} nEN { ata (Un + 1)2" is equibounded in L~oAET) for all (J~ 0: + 1 and for all o:E (O,p - 1). Therefore
a (Un + 1)2" 2-' at
-+
a (u + 1)"'2-' at
weakly in L
2{s, t; L 2(Kp) ) ,
for all 0 < s < t :5 T and all p> O. This implies that
{:t Uk,n}
E
L~ocET
unifonnly in n and
(12.5) o
Choose 1/J EXloc (ET) and in (S.I)n consider the testing function r.p= (1/J - u)+. Fix O<s
(1/J - u)+
= (1/J -
U" k)+
o
EXloc (ET),
so that r.p is an admissible testing function. It gives t
(12.6)
!!{
!Un(1/J - u)+ + IDunIP-2Dun ·D(1/J - U)+} dxdr = O.
SRN
Since Un :5 u, Vn EN, we have
Therefore in view of (12.5) t
n~!! :r un (1/J SRN
t
u)+dxdr = ! j
t
== ! !ut (1/J - u)+dxdr. SRN
Analogously,
374 XII. Non-negative solutions in l::r. The case 1
= ID(Un " k)IP-2 D(un "k)D('I/1 - U" k)+ = (IDun.kIP- 2DUn.k -IDuklp-2 DUk) .D('I/1 - Uk) + IDuIP- 2 Du·D('I/1 - u)+. By a calculation similar to that in Lemma 5.2 and leading to (5.6) we have
Therefore taking into account Lemma 12.1 and letting n-+oo in (12.6) gives t
j j {Ut('I/1 - u)+
+ IDulp-2 Du·D ('1/1 - u)+} dxdr = 0,
·aN o
for all '1/1 EX loc (ET)' It remains to prove that U takes the initial datum U o in the sense of Lloc(RN) and that ueS·.
12-(i). Continuity in Lloc(RN) at t=O Fix p > 0 and let u o•e be a net of functions satisfying {
== 0,
uo.e u o•e
--+
uo,
for Ixl > 4p in L1 (K2p )'
Such a family can be constructed by fllSt defining a function that coincides with in K 3p and zero otherwise and then by mollifying the function so obtained. Let also U e be the unique solution of (1.1) with initial datum u o•e • We take the difference of (8.I)n and the equation satisfied by Ue. In the p.d.e. so obtained take the testing function Uo
tp
= [(un -
ue)+ + 6l a (
where (1,6 e (0,1) and x-«x) is the usual cutoff function in K 2p that equals one on Kp. We perfonn an integration by parts and let 6-+0, 8-0, (1-0. to obtain
j(Un(t) - ue(t»+dx
~
Kp
j(Uo.n - uo.e)+dx K2p
+
2;
t
j j (IDunIP-1
+ IDueIP-1) dxdr.
OK2p
We use (8.4), interchange the role of Un and Ue and, for t This gives
> 0 fixed, let n -+ 00.
12. The limiting process 375
jIU(t) -
j
ult(t)ldx $
Kp
Iuo - uo,ltl dx
K2p
From this
jlu(t) - uoldx $ Kp
2
Iuo - uo,ltldx + jlult(t) - uo,ltldx + O(t;)
j
K2p
.
Kp
Letting t '\. 0
lim-suPt'\.o
jlu(t) - uo)ldx $ 2 j Kp
Iuo - Uo,ltldx, 'VeE(O, 1).
K2p
12-(ii). UES· By (10.2). 'Vn E N and for all k > 0
o(U I\k ) < -1- -Un. n - 2-p t
-
at
As n-+oo 1 U (u 1\ k}t $ - - -
(12.7)
2-pt
a.e. in ET.
The limit is flISt taken in 1)'(0, T) and then (12.7) holds almost everywhere in ET in view of (12.5). Next from Lemma 9.1 it follows that 'VC> 1 t
jjlDUnlP ~ X[k < unlx[u < CkldxdT = O(~). sKp
Here we have used the fact that Un / Uimplies [un < Ckl ~ Iu < n -+ 00 for k > 0 and C> 1 fixed yields by lower semicontinuity
Ckl. Letting
t
jjIDuIP~X[k
We conclude by remarking that the requirement u E S· is necessary and sufficient for uniqueness. Indeed. if solutions in S are unique. they can be constructed starting from their traces on t = T E (0, T) to yield u E S·. Vice versa solutions in S· are unique.
376 XII. Non-negative solutions in Er. The case I
13. Bounded solutions. A counterexample Let r 2: 1 satisfy Ar ::= N(p - 2) + rp > O. If U o E L'oc(RN ), then by energy estimates, the sequence of approximating solutions of (8.1)n satisfies
{un} E L'oA~T)
uniformly in n.
Therefore by Theorem 5.1 of Chap. V, {un} E L~(ET) uniformly in n. It follows from the regularity results of Chaps. IV and IX that
{un}, {un.x;} E C;:'c(~T)' j=l, 2, ... ,N, uniformly in n, for some a E (0, 1) depending only upon N and p. This gives a regular solutions to the Cauchy problem (1.1)-(1.2). A similar analysis can be carried if the initial datum is a measure JI. and Al > 0, i.e.,
2N p> N+1'
(13.1)
We show next that if(l3.1) is violated, then initial data in Ltoc(RN) might produce unbounded solutions.
13-(i). A counterexample Let a E (0, 1) be a positive constant and let Be denote the ball of radius a in RN centered at the origin. Consider the functions
z
(13.2)
where {j, h
=
(a 2-lxI2)2
+
IxlNlln Ix12113
and
v = (1 - ht)+ z,
> 1 are to be chosen. One verifies that
Consider also the Cauchy problem {
(13.3)
Ut -
div IDulp-2 Du = 0, in E1 ::=RN x (0,1),
u(·,O)=z.
1be p.d.e. is meant in the sense of (2.1 )-(2.2) and the initial datum is taken in the sense of Lloc(RN). LEMMA
(j, h
13.1. Assume that N(p - 2)
+ p = O. The constants a
E (0,1) and
> 1 can be determined a priori so that v is a non-negative, weak subsolution
0/(13.3) in E 1 • PROOF:
By calculation on the set 0 < Ixl < a,
z
Dz = -lxl 2 Fx,
.
13. Bounded solutions. A counterexample 377 where
2/3 41X12} F = { N + In Ixl2 + a2 _ Ix l2 . We choose a =e -k and k> 1 so large that F> O. Compute .
p-IFp-1 x Ixl p . zp-2 FP-l zp-l FP-l div(lDzlp-2 Dz) = -(p - 1) Ixl p Dz . x + P Ixl1>+1 Dlxl· X IDzlp-2 Dz
=
z
-N
Zp-l FP-l zp-l FP-2 Ixl p -(P-I) Ixl p DF·x.
Using the fonnulae
Dlxl· x = Ixl DF . x = -4/3 + 81xl 2 + 81xl 4 2 2 2 2 2 In 1xl (a -lxI ) (a - Ix12)2'
Dz . x
= -zF,
we obtain
We calculate the expression in braces on the right-hand side using the definition of F and the fact that N(p - 2) + p=O, to obtain
Consider the sets
Cil) == {~e-2k
~
Ixl 2 < e- 2k } ,
ci2) == {lxl2 <
One verifies that on Cil) we have
1t > -
8(2 _!!.) _Nf3. k 2k
~e-2k }, k > 1.
378 XII. Non-negative solutions in I:T. The case I
Therefore 'H. ~O on £1 if k is sufficiently large. On£~2) we have F~ (N - f3/k) > 1. Therefore div(IDzIP-2 Dz) > zp-1 'Y(N,p). - Ixl P In Ixl 2 Finally we compute in {O< Ixl
.c(v) == Vt - div(IDvI P- 2Dv) = -hz - (1 - ht)~-l div(IDzIP-2 Dz). On £(1) .c(v) -< 0 and on £(2) k' k
zp-2 'Y(N,P)] .c(v) ~ z [-h - Ixl p In Ixl2 . By calculation on £~2) •
zp-2 'Y(N,p) - Ixl p In Ixl 2
(a 2 _lxI2)2(p-2)
~ 'Y(N,p) lin IxI21~(p-2)+l '
where we have used the fact that Al == N (p - 2) + p = O. We select f3 > 1 so that f3(P- 2) +1 > O. This gives
zp-2 'Y(N,p) • -lxlP Inlxl2 ~'Y (N,p,k). Therefore
.c(w) Cltoosing h ='Y. ( k) proves that (13.4)
.c(V)
~
~
z( -h + 'Y·(k».
on {O
0
To prove that indeed v is a weak subsolution in the whole E .. multiply (13.4) by a non-negative function x - cp(x) E C~ (E1 ). and integrate over the cylindrical domain with annular cross section Q~ =={e< Ixl
II{
vtCP+IDvI P- 2Dv.Dcp} dxdr
1:1
= lim
~\,O
~ ~~
jrJ{{vtcp+IDvlp-2 Dv.Dcp}
dxdr
Q. I
II
IDvl p- 2Dv·
1:1 tpdtrdr
o{lzl=G-~}
I
-
lim
~ .... "'O
J"J{IDvIP-2 Dv . -ixix tpdtrdr, I
O{lzl=~}
14. Bibliographical notes 319 where du denotes the surface measure on {Ixl =e} and on on the right hand side are zero. In particular we have
V( E C~(RN),
Vt/J E x'oc (Ed, (13.5)
{Ixl =e}. The limits
( ~ 0,
jj{vt(t/J - v)++IDvI P- 2Dv·D(t/J - v)+} dxdr
~ O.
1:1
One also verifies by direct calculation that v satisfies (5.1) and (5.2) and therefore is a subsolution of (13.3) in the class S·. Next we return to (13.3). This problem has a unique solution U E S·, by the construction of §§8-12 and the uniqueness theorem 7.1. By the comparison principle U ~ v and therefore U is not bounded. The comparison principle here is applied as follows. By the definition of weak solution the truncated functions Uk == mint Ui k} are, for all k > 0 distributional subsolutions of (13.3). Setting
w == v -
U
W(k) == v - Uk
and
and using (13.5) we find
VO<s
Vt/JeX,oc (Ed,
V(EC~(RN), ( ~ 0
+ [lDvlp-2 Dv -IDuklp-2 DUk]·D «t/J - v)+() }dxdr
~ O.
Observe that w(t)-O as t'\,O in Lloc(RN). Therefore we may proceed as in the proof of the uniqueness theorem and establish an analog of Proposition 6.1, i.e. VO
Vq>l,
Vp>O,
~
11
Vue (0, 1)
t
j (w+(t»)q dx Kp
_'Y_
(up)p
(w+)P-2+ q dxdr.
OK(1+a)p
Proceeding as in the proof of Theorem 7.1 we find w+ = O. Remark 13.1. If N(p-2)+p>0 then v satisfies (13.4) but it is not a subsolution of (13.3) in the whole E 1 • In particular it does not satisfy the requirement (5.2) of the class S·. If N(P-2)+p<0 then v does not satisfy (13.4).
14. Bibliographical notes Equations of the type of (1.1) arise in modelling of non-newtonian fluids (see Kalashnikov [57], Martinson-Paplov [74,75], Antonsev [5] and Joseph-NieldPapanicolau [56]). Questions of solvability, even though in a different context,
380 XU. Non-negative solutions in ET. The case 1
were fmt investigated by Btizis and Friedman [18J. The notion of weak solution introduced in §2 is taken from [42J. Benilan has infonned us of a more general notion of solution. introduced in [II J. that would include solutions of variable sign. The remainder of the chapter is essentially taken from [42J. It would be of interest to investigate questions of existence/Uniqueness for (1.1) in ET when the initial datum is of variable sign or is a measure. Singular equations are little understood. mostly if p violates (13.1). Preliminary investigations seem to indicate questions of limiting Sobolev exponent (see [19]) and differential geometry.
Bibliography
[1]
R. Adams, Sobolev Spaces, Academic Press, New York (1975).
[2]
L. V. Alfors, Lectures on quasiconformal mappings, Wadsworth & Brooks/Cole, Monterey CA (1987).
[3]
D. Andreucci, A priori bounds for weak solutions of the filtration equation, SIAM J. Math. Anal. 22 # 1 (1991), pp. 138-145.
[4]
D. Andreucci and E. DiBenedetto, A new approach to initial traces in nonlinear filtration, Ann. Inst. H. Poincare Analyse non Lireaire, 7 # 4 (1990), pp.305-334.
[5]
S.N. Antonsev, Axially symmetric problems of gas dynamics with free boundaries, Doklady Akad. Nauk SSSR 216 # 3 (1974), pp. 473-476.
[6]
D.G. Aronson and L.A. Caffarelli, The initial trace of a solution of the porous medium equation, Trans. AMS 280 # 1 (1983), pp. 351-366.
[7]
D.G. Aronsqn and J. Serrin, Local behaviour of solutions of quasilinear parabolic equations, Arch. Rational Mech. Anal. 25 (1967), pp. 81-123.
[8]
G.I. Barenblatt, On some unsteady motions of a liquid or a gas in a porous medium, Prikl. Mat. Mech. 16 (1952), pp. 67 - 78.
[9]
Ph. Benilan and M.G. Crandall, The continuous dependence on <jJ of solutions ofut - Ll<jJ(u) = 0, Indiana Univ. Math. J. 30 (1981), pp. 161-177.
[10]
Ph. Benilan, M.G. Crandall and M. Pierre, Solutions of the porous medium medium equation in RN under optimal conditions on initial values, Indiana Univ. Math. J. 33 (1984), pp. 51-87.
[11]
Ph. Benilan and T. Gallouet (personal communication).
382
Bibliography
[12]
S.N. Bernstein, Collectedworlcs.1II Differential equations. calculus o/variations and geometry (1903-1947), Izdat. Akad. Nauk SSSR, Moscow (1960) (Russian).
[13]
J.G.Berryman, Evolution of a stable profile for a class of nonlinear diffusion equations with fixed boundaries, J. Math. Phys. 18 # 11 (1977), pp. 2108-2115.
[14]
J.G. Berryman and C.J. Holland, Stability of the separable solution for fast diffusion equation, Arch. Rational Mech. Anal. 74 (1980), pp. 379-388.
[15]
L. Boccardo and T. Gallouet, Non linear elliptic and parabolic equations involving measure data, (to appear).
[16]
L. Boccardo, F. Murat and J.P. Puel, Loo estimates for some non linear elliptic partial differential equations and applications to an existence result, SIAM J. Math. Anal.
[17]
B. Bojarski and T. Iwaniec, p-harmonic equations and quasiregular Mappings, Inst. Angew. Universitat Bonn (preprint 1983).
[18]
H. Brezis and A. Friedman, Nonlinear parabolic equations involving measures as initial conditions, J. Math. Pures Appl. 62 (1983), pp. 73-97.
[19]
H. Brezis, Elliptic equations with limiting Sobolev exponents-The impact oftopology, Comm. Pure Appl. Math. XXXIX (1986), SI7-S39.
[20]
L.A. Caffarelli and L.C. Evans, Continuity of the temperature in the two phase Stefan problem, Arch. Rational Mech. Anal. 81 (1983), pp. 199-220.
[21]
L.A. Caffarelli and A. Friedman, Regularity of the free-boundary of a gas in a n-dimensional porous medium, Indiana Univ. Math. J. 29, (1980), pp. 361-369.
[22]
S. Campanato, Equazioni ellittiche del/ /0 ordine e spazi c,2,).., Ann. Math. Pura Appl. 69 (1965), pp. 321-381.
[23]
S. Campanato, Equazioni paraboliche del secondo ordine e spazi C,p,(J (n, 6), Ann. Math. Pura Appl. 73 (1966), pp. 55-102.
[24]
Y.Z. Chen, HOlder estimates for solutions of uniformly degenerate quasilinear parabolic equations, Chin. Ann. Math. 5B (4) (1984), pp. 661-678.
[25]
Y.Z. Chen, HOlder continuity of the gradients of solutions of non-linear degenerate parabolic systems, Acta Math. Sinica, New Series 2 # 4 (1986), pp. 309-331.
[26]
Y.Z. Chen and E. DiBenedetto, On the local behaviour of solutions of singular parabolic equations, Arch. Rational Mech. Anal. 103 # 4 (1988), pp. 319-345.
[27]
Y.Z. Chen and E. DiBenedetto, Boundary estimates for solutions of nonlinear degenerate parabolic systems, J. Reine Angew. Math. 395 (1989), pp. 102-131.
[28]
Y.Z. Chen and E. DiBenedetto, HOlder estimates of solutions of singular parabolic equations with measurable coefficients, Arch. Rational Mech. Anal. 118 (1992), pp. 257-271.
Bibliography 383
[29J Y.Z. Chen and E. DiBenedetto, On the Harnack inequality for non-negative solutions of singular parabolic equations, Proc. of Conf. Non-linear diffusion, in Honour of J. Serrin, Minneapolis May 1990. [30J H. Choe, HOlder regularity for the gradient of solutions of certain singular parabolic equations, Comm. Part. Diff. Equations 16 II 11 (1991), pp. 1709-1732. [31 J H. Choe, HOlder continuity of solutions of certain degenerate parabolic systems, Non-linear Anal. 8 II 3 (1992), pp. 235-243. [32J O. DaPrato, Spazi C(p,8)(fl, 6) e loro proprietA, Ann. Math. Pura Appl. 69 (1965), pp. 383-392. [33J E. DeGiorgi, Sulla differenziabilita' e I'analiticita' delle estremali degli integrali multipli regolari, Mem. Acc. Sci. Torino, Cl. Sc. Fis. Mat. Nat. (3) 3 (1957), pp. 25-43. [34J E. DiBenedetto, Continuity of weak solutions to certain singular parabolic equations, Ann.Mat. Puta Appl. 4 II 130 (1982), pp.131-176. [35] E. DiBenedetto, Continuity of weak solutions to a general porous medium equation, Indiana Univ. Math. J. 32 II 1 (1983), pp. 83-U8. [36J E. DiBenedetto and A. Friedman, Regularity of solutions of non-linear degenerate parabolic systems, J. Reine Angew. Math. 349 (1984), pp. 83-128. [37J E. DiBenedetto and A. Friedman, HOlder estimates for non-linear degenerate parabolic systems, J. Reine Angew. Math. 357 (1985), pp. 1-22. [38J E. DiBenedetto, A boundary modulus of continuity for a class of singular parabolic equations, J. Diff. Equations 6 II 3 (1986), pp. 418-447. [39J E. DiBenedetto, On the local behaviour of solutions of degenerate parabolic equations with measurable coefficients, Ann. Sc. Norm. Sup. Pisa Cl. Sc. Serie IV, XIII 3 (1986),487-535. [40J E. DiBenedetto, Intrinsic Harnack type inequalities for solutions of certain degenerate parabolic equations, Arch. Rational Mech. Anal. 10011 2 (1988), pp.129-147. [41 J E. DiBenedetto and M.A. Herrero, On the Cauchy problem and initial traces for a degenerate parabolic equation Trans. AMS 314 (1989), pp. 187-224. [42J E. DiBenedetto and M.A. Herrero, Non negative solutions of the evolution p-Laplacian equation. Initial traces and Cauchy problem when 1 < p < 2, Arch. Rational Mech. Anal. III II 3 (1990), pp. 225 - 290. [43] E. DiBenedetto, Y. C. Kwong and V. Vespri, Local space analiticity of solutions of certain singular parabolic equations, Indiana Univ. Math. J. 40 II 2 (1991), pp. 741-765. [44J E. DiBenedetto and Y.C. Kwong, Intrinsic Harnack estimates and extinction profile for certain singUlar parabolic equar.i6ns, Trans AMS 330 II 2 (1992), pp.783-811.
384
Bibliography
(45] E. DiBenedetto, J. Manfredi and V. Vespri, Boundary gradient bounds for evolution p-laplacian equations. Proc. Int. Conf. of Evolution Equations and their Ground States, Gregynog, Wales, 1989
(46] E. DiBenedetto, J. Manfredi, On the local behaviour of solutions of degenerate elliptic systems, Amer. J. Math. (to appear)
[47J B. Fuglede, A criterion of non-vanishing differential of a smooth map, Bull. London Math. Soc. 14 (1982), pp. 98-102. (48] M. Giaquinta, Multiple integrals in the calculus o/variations and nonlinear elliptic systems. Ann. Math. Studies 105, Princeton Univ. Press., Princeton N.J. (1983). [49] M. Giaquinta and E. Giusti, Global el,a-regularity for second order quasilinear elliptic equations in divergence form, J. Reine Angew. Math. # 351 (1984), pp. 55-65. [SO]
J. Hadamard, Extension Ii I'equation de la chaleur d'un theoreme de A. Harnack, Rend. Circ. Mat. Palermo Ser. 23 (1954), pp. 337-346.
[51] A.M. I1'in, A.S. Kalashnikov and O.A. Oleinik, Linear equations of second order of parabolic type. Uspeki Matem. NAUK, 17 # 3 (1962). pp. 3-145. [52] A.V. Ivanov, Uniform HOlder estimates for generalized solutions of quasilinear parabolic equations admitting a double degeneracy, Algebra Anal. 3 # 2 (1991), pp. 139-179.
[53] A.V.Ivanov. The classes
Bmf and Ht>lder estimates for quasilinear doubly degenerate parabolic equations. Zap. Nauchn. Sem. St. Petersburg Otdel. Math. Inst. Steklov (LOMI) 197 (1992), pp. 42-70 (Engl. transl: J. Soviet Math.).
[54]
A.V. Ivanov and P.Z. Mkrtchen, On the regularity up to the boundary of weak solutions of the first initial-boundary value problem for quasilinear doubly degenerate parabolic equations. Zap. Nauchn. Sem. St. Petersburg, Otdel. Math. Inst. Steklov (LOMI) 196 (1991), pp. 3 - 28.
[55] T. Iwaniec, Projections onto gradient fields and D' -estimates for degenerate elliptic equations. Studia Math. 75 (1983), pp. 293-312. [56] D.O. Joseph, D.A. Nield and G. Papanicolau, Non linear equations governing flow in a saturated porous medium (preprint).
[57] A.S. Kalashnikov, On a heat conduction equation for a medium with nonuniformly distributed non-linear heat sources or absorbers, Bull. Univ. Moscow, Math. Mech. 3 (1983), pp. 20-24.
[58] A.S. Kalashnikov, Cauchy's problem in classes of increasing functions for certain quasi-linear degenerate parabolic equations of the second order, Diff. Uravneniya 9 # 4 (1973). 682-691.
[59) A.S. Kalashnikov, On uniqueness conditions for the generalized solutions of the Cauchy problem-lou class of quasi-linear degenerate parabolic equations, Diff. Uravneniya 9 # 12 (1973), 2207-2212.
Bibliography 385
[60]
S.N. Kruzkov, On the apriori estimation of solutions of linear parabolic equations and of solutions of boundary value problems for a certain class of quasi-linear parabolic equations, Dokl. Akad. NAUK SSSR # 138 (1961), pp. 1005-1008 (Engl. transl.: Soviet Math. Dokl. # 2 (1961), pp. 764-767).
[61]
S.N. Kruzkov, A priori estimates and certain properties of the solutions of elliptic and parabolic equations of second order, Mat. Sbornik 65 # 107 (1964), pp. 522-570 (Engl. trans.: Amer. Math. Soc. Transl. 2 # 68 (1968), pp. 169-220).
[62]
S.N. Kruzkov, Results concerning the nature of the continuity of solutions of parabolic equations and some of their applications, Math. Zametki 6 (1969), pp. 97-108 (Russian).
[63]
N.V. Krylov, Non-linear elliptic and parabolic equations of the second order. D. Reidel, Dordrecht, Holland (1987).
[64]
N. V. Krylov and M. V. Safonov, A certain property of solutions of parabolic equations with measurable coefficients, Math. USSR Izvestijia 16 # 1 (1981), pp. 151-164.
[65]
O.A. Ladyzenskaja, New equations for the description of motion of viscous incompressible fluids and solvability in the large of boundary value problems for them, Proc. Steklov Inst. Math. # 102 (1967), pp. 95-118 (English transl.: Trudy Math. Inst. Steklov # 102 (1967), pp. 85-104).
[66]
O.A. Ladyzenskaja, and N.N. Ural'tzeva, Linear and quasilinear elliptic equations, Academic Press, New York (1968).
[67]
O.A. Ladyzenskaja, V.A. Solonnikov andN.N. Ural'tzeva, Linear and quasilinear equations ofparabolic type. Transl. Math. Mono. Vol. 23 AMS, Providence, RI (1968).
[68]
G.M. Lieberman, The first initial-boundary value problem for quasilinear second order parabolic equations, Ann. Scuola Norm. Sup. Pisa 13 (1986), pp.347-387.
[69] G.M. Lieberman, Boundary regularity for solutions of degenerate elliptic equations, Non-linear Anal. 12 (1988), pp. 1202-1219. [70]
G.M. Lieberman, Boundary and initial regularity for solutions of degenerate parabolic equations, Nonlinear Anal. TMA 20 (1993), pp. 551-570. (to appear).
[71] G.M. Lieberman, Mean oscillation estimates and HOlder regularity for the gradients of solutions of degenerate parabolic systems (to appear). [72]
Lin Fan Hua, Boundary C 1 ,/3 -regularity of p-harmonic functions (preprint 1988).
[73] J.L. Lions, Quelques methodes de resolution dis problemes aux limites nonlineaires. Dunod, Paris (1969). [74]
L.K. Martinson and K.B. Paplov, The effect of magnetic plasticity in nonNewtonian fluids, Magnit. Gidrodinamika 3 (1969), pp. 69-75.
386 Bibliography [75] L.K. Martinson and K.B. Paplov, Unsteady shear flows of a conducting fluid with a rheological power law, Magnit. Gidrodinamika # 2 (1970), pp. 50-58. [76] V.G. Mazja, Sobolev Spaces. Springer-Verlag, New York, (1985). [77]
[78] [79] [80]
[81]
[82] [83] [84]
[85] [86]
[87] [88] [89]
[90] [91]
[92]
M. Meier, Boundedness and integrability properties of weak solutions of quasilinear elliptic systems. J. Reine Angew. Math. 333 (1982), pp. 191-220. G. Minty, Monotone (non-linear) operators in Hilbert spaces, Duke Math. J. 29 (1962), pp. 341-346. C.B. Money, Multiple integrals in the calculus of variations. SpringerVerlag, New York, (1966). C.B. Morrey, Partial regularity results for non-linear elliptic systems. J. Math. Mech. 17 (1968), pp. 649-670. J. Moser, A new proof of DeGiorgi's theorem concerning the regularity problem for elliptic differential equations, Comm. Pure Appl. Math. 13 (1960), pp. 457 -468. J. Moser, On Harnack's theorem for elliptic differential equations, Comm. Pure Appl. Math. 14 (1961), pp. 577-591. J. Moser, A Harnack inequality for parabolic differential equations, Comm. Pure Appl. Math. 17 (1964), pp. 101-134. J. Nash, Continuity of solutions of parabolic and elliptic equations, Amer. J. Math. 80 (1958), pp. 931-954. M. Pierre, Uniqueness of the solutions of Ut - Llt/>( u) = 0 with initial datum a measure, Nonlin. Anal. 6, # 2 (1987), pp. 175-187. B. Pini, Sulla soluzione generalizzata di Wiener per il primo problema di valori al contorno nel caso parabolico, Rend. Sem. Math. Univ. Padova 23 (1954), pp. 422-434. M. Porzio, A priori bounds for weak solutions of certain degenerate parabolic equations, Nonlin. Anal. 20, # 11 (1991), pp. 1093, 1107. M. Porzio and V. Vespri, HOlder estimates for local solutions of some doubly non-linear degenerate parabolic equations, J. Diff. Equ. (to appear). Y.G. Resetniak, Mappings with bounded distorsion in space. 'Nauka' Novosibirski, Moscow (1982) (Russian). P.E. Sacks, Continuity of solutions of a singular parabolic equation, Nonlinear Anal. 7 (1983), pp. 387-409. M.V. Safonov, The Harnack inequality for elliptic equations and the Holder continuity of their solutions, Boundary problems of mathematical physics and adjacent questions in the theory offunctions, Zap. Nauchn. Sem. Leningrad Otdel. Math. Inst. Steklov (LOMI) 96 (1980), pp. 272-287 (Engl. transl.: J. Soviet Math. (LOMI) 20 (1983), pp. 851-863). J. Serrin, Local behaviour of solutions of quasilinear elliptic equations, Acta Math. III (1964), pp. 101-134.
Bibliography 387
[93] G. Stampacchia, Equations elliptiques du second ordre a coefficients discontinues. S6m. Math. Sup. 16, Les Presses de l'Universite de Montreal, Montreal (1966). [94]
S. Tacklind, Sur les classes quasianalitiques des solutions des ~quations aux deriWe partielles du type parabolique, Acta Reg. Soc. Sc. Uppsaliensis (Ser. 4) 10, # 3 (1936), pp. 3-55.
[95] P. Tolksdorff, Everywhere regularity for some quasi-linear systems with lack of ellipticity, Ann. Mat. Pura Appl. 4 # 134 (1983), pp. 241-266. [96]
N.S. Trudinger, On Harnack type inequalities and their application to quasilinear elliptic partial differential equations, Comm. Pure Appl. Math. 20 (1967), pp. 721-747.
[97] N.S. Trudinger, Pointwise estimates and quasilinear parabolic equations, Comm. Pure Appl. Math. 21 (1968), pp. 205-226. [98] A.N. Tychonov, Tbeoremes d'unicite pour I'equation de la chaleur Math. Sbomik 42 (1935), pp. 199-216. [99]
K. Uhlenbeck, Regularity for a class of non-linear elliptic systems, Acta Math. 138 (1977), pp. 219-240.
[lOO] N.N. Ural'tceva, Degenerate quasilinear elliptic systems, Zap. Nauk. Sem. Leningrad Otdel. Math. Inst. Steklov # 7 (1968), pp. 184-222 (Russian).
[101] V. Vespri, £,>0 estimates for non-linear parabolic equations with natural growth conditions, Rend. Sem. Mat. Univ. Padova (in press). [102] V. Vespri, On the local behaviour of a certain class of doubly non-linear parabolic equations, Manuscripta Math. 75 (1992), pp. 65-80.
[103] V. Vespri, Harnack type inequalities for solutions of certain doubly nonlinear parabolic equations. J. Math. Anal. Appl. (in press). [104] M. Wiegner, On Ca-regularity of the gradient of solutions of degenerate parabolic systems, Ann. Mat. Pura Appl. 4 # 145 (1986), pp. 385-405.
[105] D.V. Widder, Positive temperatures in an infinite rod, Trans. AMS, # 55 (1944), pp. 85-95.