9780203755419
9780203755419
METHODS FOR
PARTIAL DIFFERENTIAL EQUATIONS
PURE AND APPLIED MATHEMATICS
EXECUTIVE EDITORS
EDITORIAL BOARD
Mark Teply
University of Wisconsin,
Milwaukee
MONOGRAPHS AND TEXTBOOKS IN
PURE AND APPLIED MATHEMATICS
Hiroki Tanabe
Otemon Gakuin University
Osaka, Japan
n
MARCEL
DEKKER
MARCEL DEKKER, INc. NEW YoRK • BAsEL
Library of Congress Cataloging-in-Publication Data
Tanabe, Hiroki.
Functional analytic methods for partial differential equations I
Hiroki Tanabe.
p. em. -(Monographs and textbooks in pure and applied
mathematics ; 204)
Includes bibliographical references (p. - ) and index.
ISBN 0-8247-9774-4 (alk. paper)
I. Functional analysis. 2. Differential equations, Partial.
I. Title. II. Series.
QA32l.T36 1996
515'.353-dc20
96-31585
CIP
The publisher offers discounts on this book when ordered in bulk quantities. For
more information, write to Special Sales/Professional Marketing at the address
below.
Neither this book nor any part may be reproduced or transmitted in any form or
by any means, electronic or mechanical, including photocopying, microftlming,
and recording, or by any information storage and retrieval system, without
permission in writing from the publisher.
This book is devoted to the functional analytic method for partial differ-
ential equations, and includes both classical theory and up-to-date results.
The first main object is to present a self-contained proof of Agmon-Douglis-
Nirenberg's LP estimates for elliptic boundary value problems. For that
purpose it is required to discuss the theory of singular integrals of A. P.
Calderon and A. Zygmund. Although this theory is classical, it still main-
tains its importance, and its extension is now being studied vigorously. The
Hilbert transform, which is the case of the singular integral of a single inde-
pendent variable, is also described completely. The Hilbert transform plays
an important role in the study of maximal regularity results. It is one of
the objects of this book to describe such concepts, which generally are not
found in other books on our subject. The second half of the book is de-
voted to evolution equations in Banach spaces. Recent results on equations
of parabolic type and of hyperbolic type, and retarded functional differen-
tial equations together with control theory related to them, are described.
This book is concerned only with linear equations; however, some notes on
nonlinear equations as well as degenerate equations, which are also out of
our scope, are given in the bibliographical remarks.
Chapter 1 includes preliminary materials which will be used in subsequent
chapters.
Chapter 2 is devoted to the most elementary part of the theory of singular
integrals of Calderon and Zygmund and the basic theory of the Hilbert
transform.
Chapter 3 is devoted to the theory of function spaces, such as interpolation
inequalities, the Gagliardo-Nirenberg inequality and Sobolev's imbedding
theorems.
Chapter 4 include Agmon-Douglis-Nirenberg's LP estimates for solutions
of elliptic boundary value problems with a slightly simplified proof of the
original one.
In Chapter 5 adjoint boundary value problems are described following
M. Schechter, and their solvability is discussed following S. Agmon. The
iii
iv
estimates of the kernels of the resolvents of elliptic operators and the semi-
groups generated by them are established by a functional analytic method,
and the result is applied to the problem in £ 1 space.
In Chapter 6 parabolic evolution equations are described following P.
Acquistapace and B. Terreni. Some remarks on A. Yagi's results are also
given.
Chapter 7 is devoted to the study of hyperbolic evolution equations orig-
inated by T. Kato and developed by himself, K. Kobayashi, A. Yagi, N.
Okazawa, and A. Unai.
Chapter 8 is devoted to retarded functional differential equations in Hilbert
spaces. First the solvability is described following G. Di Blasia, K. Kunisch
and E. Sinestrari. Next, the results on control problems of C. Bernier, M. C.
Delfour, and A. Manitius for equations in finite dimensional spaces and of S.
Nakagiri for equations in reflexive Banach spaces are extended to equations
in Hilbert spaces with delay terms that are as unbounded as the main term.
Prerequisites are Lebesgue integration and the elementary concepts of
Banach and Hilbert spaces.
I express my profound gratitude to Professor Angelo Favini of the Univer-
sity of Bologna and Professor Atsushi Yagi of Osaka University who urged
me to write this book and constantly encouraged me during its prepara-
tion. I also thank Professor Yasushi Shizuta of Nara Women's University,
who motivated me to greatly improve the contents of Chapter 3, Profes-
sor Noboru Okazawa of Science University of Tokyo, who kindly offered me
his unpublished paper, and Professor Shin-ichi Nakagiri of Kobe University,
who read the manuscript of Chapter 8 carefully and gave me kind advice.
Thanks are also due to Professor Yoshihiko Yamamoto of Osaka Univer-
sity for his cordial instruction on how to operate the computer to prepare
the manuscript by LATEX.
The contents of this book considerably overlap with my book Functional
Analysis, II, published in Japanese by Jikkyo Shuppan Publishing Com-
pany, Tokyo, in 1981. I express my deep gratitude to Jikkyo Shuppan for
permitting me to reproduce the relevant parts of the book.
I also would like to express gratitude to the staff of Marcel Dekker, Inc.,
in particular to Ms Maria Allegra for their assistance.
Hiraki Tanabe
Contents
1 Preliminaries 1
1.1 Preliminaries on Measure and Integration 1
1.2 Preliminaries from Functional Analysis · 3
1.3 Semigroups · · · · · 3
1.4 Interpolation Spaces · · · · · · · · · · · 7
2 Singular Integrals 13
2.1 Singular Integrals of A. P. Calderon and A. Zygmund 13
2.2 J. Marcinkiewicz's Interpolation Theorem 15
2.3 Case of Bounded Kernels · 18
2.4 Case of Continuous Kernels 21
2.5 Hilbert 'fransform · · · · · 29
2.6 Equimeasurable Functions · 31
2. 7 Hilbert 'fransform (Continued) 37
2.8 Case of Odd Kernels · 40
2. 9 Riesz Kernels · · · · · 43
2.10 Case of Even Kernels · 47
2.11 General Case · · · · · 64
2.12 Derivatives of Homogeneous Functions 65
3 Sobolev Spaces 67
3.1 Sobolev Spaces · · · · · · · · 67
3.2 Interpolation Inequalities (1) 68
3.3 Interpolation Inequalities (2) 72
3.4 Interpolation Inequalities (3) 75
3.5 Sobolev Spaces in General Domains 99
3.6 Uniformly Regular Open Sets · · · · 102
3. 7 Sobolev Spaces in Uniformly Regular Open Sets · 105
3.8 Embedding Theorems · · · · · · · · · · · · · 110
v
vi CONTENTS
Bibliography 397
Index 413
FUNCTIONAL ANALYTIC
METHODS FOR
PARTIAL DIFFERENTIAL EQUATIONS
Chapter 1
Preliminaries
lim - 1
n---+oo 1en 1
1
en
f(y)dy = J(x).
lim v; 1 v
p--+O
r
vP Jlx-yi<P
f(y)dy = f(x),
1
2 CHAPTER 1. PRELIMINARIES
lim
p->O
v. 1 v r
vP J1x-yj <p
lf(y)- f(x)ldy = 0 (1.1)
Proof. The assertion is obtained by comparing the sum of the area of the
figure surrounded by the three curves x = a, y = 0, y = xP- 1 and that of
the figure surrounded by x = 0, y = b, x = yq- 1 with ab.
f lf(x- Y)llg(y)IPdy
= llfllf- 1 }Rn
over Rn we readily obtain the desired result.
1.3. SEMIGROUPS 3
x = w- lim Xn
n--+<XJ
1.3 Semigroups
Let X be a Banach space with norm II · II·
Definition 1. 2 A family of bounded linear operators {T(t); t > 0} is
called a semigroup in X if the following conditions are satisfied:
(i) T(t + s) = T(t)T(s) for t > 0, s > 0.
(ii) T(t) is strongly continuous in t > 0.
If moreover the following condition is satisfied, it is called a Co -semigroup.
(iii) limt--+o T(t) =I in the strong operator topology.
4 CHAPTER 1. PRELIMINARIES
(1.4)
uniformly in any bounded subinterval of [0, 00) in the strong operator topol-
ogy of X, where An = A(1 - n- 1 A)- 1 .
(i) p(A) ::J ~={A; -Oo < arg,\ < Oo, 1,\1 > C1},
(ii) 11(,\- A)- 11 ::; C2/l,\l, ,\ E ~.
Let r be a smooth path running from ooe-i0 to ooei0 in ~~ where rr /2 < () <
Oo. Set
(1.7)
II! I
T(t) = IIAT(t) II ::; c~wt' t >0 (1.8)
(1.11)
6 CHAPTER 1. PRELIMINARIES
{.:\; >. = re-i0 , r ~ 1/t} U {.:\; 1>.1 = 1/t, Iarg >.I :::; B} U {.:\; >. = rei0 , r ~ 1/t},
etAX = ~
27r2 Jr
r eAt(>.- A)- 1 A- 1Axd>.
l l
21l"2 Jr >.
=-.
1 e-At
-(>.-A)- 1Axd>.+-.
1 e-At
-xd>.
21r2 r >. 21r2 r >.
1 r e-At
= 27ri Jr T(>.- A)-1 Axd>. + x.
1:::;p<oo
p= 00
p= 00
and
This equality follows from the fact that if u(O) =a, u E V(O, p; X, Y), then
u>.(O) =a, U>. E V(O,p; X, Y), A> 0, where U>.(t) = u(.At), and Lemma 1.1.
V(1jp, p; X, Y) = {u; u E £P(O, oo; X), u' E £P(O, oo; Y)}, (1.14)
where LP(O, oo; X) is the set of all strongly measurable functions in (0, oo)
with values in X such that
As is easily seen LP(O, oo; X) is a Banach space with norm (1.15). The norm
of V(1jp,p; X, Y) is
p I p )1/p
llullvc1/p,p;X,Y) = ( lluiiLP(O,oo;X) + llu IILP(O,oo;Y) ·
= 1 00
(llu(t + T)- u(s + T)ll)c + llu1(t + T)- u 1(s + T)ll~) dT--> 0
as t --> s. Hence we have
where C([O, oo); (X, Yh!v,p) is the set of all continuous functions in [0, oo)
with values in (X, Yh!v,v·
We denote by W 1,P(O, oo; Y) the set of all functions u such that u,u 1 E
LP(O, oo; Y). W 1 ,P(O, oo; Y) is a Banach space with norm
p I p ) 1/p
llullw 1 .P(O,oo;Y) = ( lluiiLP(O,oo;Y) + llu lbco,oo;Y) ·
If X and Y are Hilbert spaces, then £ 2 (0, oo; X) and W 1 ,2 (0, oo; Y) are
Hilbert spaces.
If X is a dense subspace of Y and the imbedding X C Y is continuous,
then in view of (1.14),(1.17) we have
and
p p )1/p
sup llu(t) llcx,Yh;p,p ::; ( lluiiLP(O,oo;X) + llullwl.P(O,oo;Y)
tEIO,oo)
=lluiiLP(O,oo;X)nWl.P(O,oo;Y) (1.19)
where r is the path running from ooe-iiJo to ooeiiJo along the boundary of
E.
Lemma 1. 6 lfO < p < 1- e, then
APx = ~
27f2
r
Jr
,\P- 1 A(,\- A)- 1 xd>..
Singular Integrals
h K(x)d(}" = 0, (2.2)
13
14 CHAPTER 2. SINGULAR INTEGRALS
1 1
Jlx-yl>< Jlvl><
= { 00
K(ta)f(x- ta)tn- 1dtda = { K(a) 00
f(x- ta) dt da.
}E < }E < t
(2.5)
where C,,p = (p- 1)CP- 1l/Pc 1/P. For a fixed a E 2: write x = z- sa, s E
Rl, (z, a) = z1a1 + · · · + Znan = 0. ChooseS' C Rn- 1 and a, b so that
1 00
TP- 1 qy(E(T))dT < 00. (2.8)
In this case
(2.9)
1::
Then we have
p 1
TP- 1 qy(E(T))dT 2: qy(E(Tj))(Tj- Tj+l)
2: Tj
{j ( Tjp - p
Tj+l ) = {j ( 1- (Tj+l
--:;:; )p) 2: ({j 1- 21p ) > 0,
16 CHAPTER 2. SINGULAR INTEGRALS
r
Jn f(x)P</>(dx) =-lim
,_.o
1'
00
TPd¢>(E(T))
=!!To [EP</>(E(E)) + p 1 00
TP- 1¢>(E(T))dT] 2 p 1 00
TP- 1</>(E(T))dT,
Theorem 2. 1 Let 1 ::::; p < q < r and T be a linear mapping from LP(O) +
U{O) to a set of measurable functions defined in 0. If T is of weak type
(p,p) and also of weak type (r,r), then Tis of type (q,q).
if(x)i ::::; T
ft(x) = { f(x) , h(x) = f(x)- ft(x),
Tsignf(x) if(x)i > T
{y; i(Tf)(y)i > T} C {y; i(Tft)(y)i > T/2} U {y; i(Tf2)(y)i > T/2}.
2.2. J. MARCINKIEWICZ'S INTERPOLATION THEOREM 17
Therefore by (2.10)
Noting (ft)a = (f)a for a < T, (fda = 0 for a ~ T, (h)a = (f)a+r for any
a~ 0, we get in view of Lemma 2.2
1
lift II~= r 00
ar-l(ft)adn =r lr ar-l(f)ada, (2.12)
llhll~ = 1 P
00
aP- 1 (h)ada
= 1
p
00
aP- 1 (f)a+rda =p 100
(a- T)P- 1 (f)adn. (2.13)
(2.16)
Write
J.LP (e-iscos,P - e-s) ds = Il + I2i, (2.17)
1 p s
J.LP ds 1J.LP ds
I1 = 1 (cos(scos¢)- e- 8 ) - , h =- sin(scos¢)-.
p s <p s
For 0 <a< b
b coss 1b+1r/ 2 cos(s- 7r/2) 1b+1r/ 2 sins
1 --ds = ds= ds
a+1r/2 S-7f/2 a+1r/2 S-7f/2
1 - -1)
S
. .
Smce hm
b->oo
Hence if cos¢
1b·
smx . .
--dx eXIsts, we see from (2.18) that hm
f= 0,
X b->oo a
1b cos8 .
--d8 eXIsts.
8
lia
b cos 8
--d8
8
I< 2A + lb+n/
- a+n/2
2
( 1
8-7r/2
- -1) d8
8
1 1
icos(8cos¢)- e- 8 1-
d 8
1
8
:S 1
1 ds +
(1- cos(scos¢))-
1
(1- e- 8 )d8
-
1
8 0 8
::; 1
1 d8 +
(1- coss)-
8 0
1
(1- e- 8 )d8
- =B.
8
(2.21)
Hence
(i) if p,p < 1, II11 ::; B,
(ii) if Ep > 1, in view of (2.20)
lhl= 11
J.Lpcos </> cos 8
-d8-
1J.LP e -s -d8 I
<pcos<f> 8 <p 8
1
1 8
00
::; 2A +log ( 1 + -1r- ) + d8,
e- 8 -
2cos¢ 1 8
The case cos¢ < 0 can be estimated similarly. Summing up we see that
there exists a constant C such that
11<p 1-'P
(e-i8cos¢- e-8)- ::;
s
dsl c +log--.
1
Icos¢1
(2.22)
Consequently
(2.23)
As f..t--+ oo, K<J-t converges strongly to K. in L 2 (Rn), and hence FK<J-t tends
to FK. strongly in L 2 (Rn). On the other hand in view of(2.16),(2.22) for
anyC~ 0
Therefore
a. e. and also in the strong topology of £ 2 (Rn ). Therefore as It --+ 0 {Kt 11 *!}
is a Cauchy sequence in L 2 (Rn). The limit is Kt * f since Kt 11 * f tends to
Kt * f a.e., and
Since :FKt <Ff is strongly convergent to :FK ·:Ff in L 2 (Rn) as E--+ 0, Kt*f
is also strongly convergeent in L 2 (Rn). We denote the limit by K *f. Then
Consequently
Then there exists a constant C independent of E and f such that llftll2 :::;
Cllfll2·{it} is stron11ly convergent in L 2 (Rn) as E --+ 0. The mapping
f H K *f =lim{-to ft is a bounded linear operator from L 2 (Rn) to itself
The Fourier transform of K * f is expressed as
(2.28)
(2.33)
as III ---+ oo, there exists a positive number v such that if III 2:: v
~ f f(x)dx < s.
lr"
- I
1
I1 , k l,k
2.4. CASE OF CONTINUOUS KERNELS 23
Denote by {I2,k} the sequence of cubes obtained by dividing each I~:k into
2n equal parts, and we classify it as follows:
I I'~2,k I r,
J12,k
f(x)dx < s.
lhl::;- 11
s h
f(x)dx::; 1 (1
-lhi 1- 1/P
s h
f(x)Pdx ) 1
/P ,
we get
Hence
It is easy to show that (2.33) holds. Let x 0 be a Lebesgue point off which
does not belong to D 8 • Then for any m ;::: 1 there exists an integer k(m)
such that Xo E I~,k(m)" Since {I~,k(m)} is a sequence of regular closed sets
tending to x 0 , we get by Theorem 1.1
s> II'' 1
m,k(m)
1
1,
=,k(=l
f(x)dx---+ f(xo).
(2.34)
where Ds is the set in Lemma 2.3, and [f(x)]s is the function defined by
f(x) :::; s
[f(x)]s = { ~(x)
f(x) > s.
Then s :::; h(x) :::; 2ns in D 8 , and h(x) = f(x) = [f(x)]s in Rn \ D 8 • For
each k
r
g(y)dy = o,
Jh
(2.35)
then
E 8 CE1UE2. (2.36)
With the aid of the proof of Theorem 2.2
f ih,(x)l 2 dx =
}Rn
(2n)n f I(.1"K,)(~)(Fh)(~)l 2 ~
}Rn
:::; (2n)nM 2 r I(Fh)(~Wd~ =
}Rn
(2n)nM 2 r
}Rn
h(x) 2 dx.
Hence
(2.37)
2.4. CASE OF CONTINUOUS KERNELS 25
Letting Sk be the ball centered at the center of h and of radius the diameter
of h we put Ds = uksk, s~ = Rn \ sk, b~ = Rn \ Ds. Then
(2.39)
Noting
we have
Let x be fixed in 8~. Denote the center of h by Yk· In case where {y; ly-xl ~
E} n h is empty we get in view of (2.35)
(2.42)
26 CHAPTER 2. SINGULAR INTEGRALS
Noting
Ilx - Yly
X- X - Yk I
lx - Yk I
< - I
X-- y - X- y
- lx- Yl lx- Ykl
I+ I X- y
lx- Ykl
- I
X- Yk < 2ly- Ykl < --'vnlhl
lx- Ykl - lx- Ykl - lx- Ykl '
1/n
-:----'-----'----:-
In ( lxx-y)
1
(X-Yk)l (Vnlhl /n) (2.44)
- Yl - n lx - Yk I :::; w lx - Yk I .
Combining (2.42),(2.43),(2.44) and using the latter inequality in (2.31) we
get
IK(x- y)- K(x- Yk)l
11 1
< Clhil/n + 1 w (vfnllkl n) < C w (Vnlhl /n) .
- lx- Ykin+l lx- Ykin lx- Ykl - lx- Ykln lx- Ykl
It follows from this inequality and (2.41) that
Next consider the case where {y; IY - xi :::; f} n h is not empty. Note that
in this case
h C {y; IY- xi :::; 3f}. (2.46)
Let "f be the characteristic function of the interval [0,3]. If y E h, then
"'(ix- yjjf) = 1 in view of (2.46). Hence, noting that IK.(x- y)i:::; ccn
Since
(
lb~
jg<(x)ldx:::; c2: J1kr lg(y)ldy = c Jv.
k
r lg(y)ldy. (2.50)
( lg<(x)ldx:::; CsiDsl·
Jv~
28 CHAPTER 2. SINGULAR INTEGRALS
(2.52)
(T,g)(x) ={
Jlx-yl>l
K(x- y)g(y)dy + 1 <<lx-vl<l
K(x- y)(g(y)- g(x))dy.
(2.55)
2.5. HILBERT TRANSFORM 29
Since K E £P( { x; Ixi > 1} ), g E £ 1 (Rn), the first term on the right of (2.55)
belongs to LP(Rn) in view of Lemma 1.2. The second term on the right
of (2.55) is a function with support contained in a fixed compact set, and
converges uniformly as E ---+ 0 since g satisfies a uniform Lipschitz condition.
Hence it converges strongly in LP(Rn). Combining this with (2.54) we
conclude that Td is strongly convergent in LP(Rn) as E---+ 0. Hence using
(2.53) we obtain
IlK* fllv ::; Cvllfllv·
!
7r
1 00
f(t) dt =
-oo X - t
!
7r
lim
E--+0
r
llx-tl>•
f(t) dt
X- t
(2.56)
(pr.!) (¢) =
X
lim
<--++O
r
llxl>•
¢(x) dx.
X
(Fh.~)(~) = _1_1
...j2if •<lxl <,u
e-ixe dx =-
7rX ;: 7r 1"' sin(x~) dx
v~!._ X
~<0
30 CHAPTER 2. SINGULAR INTEGRALS
(2.57)
g(x) = -1 hm
.
1f f--->0
1 lx-tl>•
J(t)
--dt
X- t
(2.59)
Consequently
llgll2 = 11!112, (2.61)
(:FJ)(E;) = i(:Fg)(E;)sign£;. (2.62)
By virtue of (2.62)
J(x) = --1 hm
.
1f f--->0
1 lx-tl>•
g(t)
-
X-
dt
t
(2.63)
- fn(x) =! lim
1f f--->0
r
Jlx-tl>•
gn(t) dt
X- t
holds in the strong topology of L 2 (R) and the right hand side is the Hilbert
transform of gn, the above limit exists also in the strong topology of LP(R).
2.6. EQUIMEASURABLE FUNCTIONS 31
Hence letting n ---+ oo we see that (2.63) holds also in the strong topology
of LP(R).
Suppose f E LP(R), IE LP' (R),p' = pf(p- 1), and g,g are the Hilbert
transforms off, I respectively. Let fn E LP(R) n L 2 (R), In E u' (R) n
L 2 (R), fn ---+ f in LP(R), In ---+ I in u' (R), and gn, §n be the Hilbert
transforms of fn, In respectively. Then, gn E LP(R) n L 2 (R), fin E u' (R) n
L 2 (R),gn---+ gin LP(R),fln---+ gin LP' (R). Since the Hilbert transform is
a unitary operator in L 2 (R) in view of (2.61) and (2.63), we have
Put
to= m(O), To= sup{T; m(T) > 0}. (2.67)
Clearly 0 < to :::; oo, 0 < To :::; oo.
Lemma 2. 6 The function J* defined by
j*(t) = inf{T;t 2:: m(T)}, j*(O) =To
is the unique monotone decreasing, right continuous equimeasurable function
of f.
Proof. First we show that T 2:: f*(t) and t 2:: m(T) are equivalent. It is
obvious that t 2:: m( T) implies T 2:: f* (t). Conversely, if T > f* (t) then
t 2:: m(T) by the definition of J*. Suppose T = f*(t). If Tk l T, then
t 2:: m(Tk)· Since m(T) is right continuous, we get t 2:: m(T). Thus, we see
that T < f*(t) and t < m(T) are equivalent. Hence for any T > 0
{t;j*(t) > T} = [O,m(T)).
Consequently if m*(T) is the function defined by (2.66), then we have
m*(T) = m(T). Clearly J*(t) is monotone decreasing. For each T > 0
we have t 0 2:: m(T), or T 2:: f*(t 0), and hence J*(t 0) = 0. Therefore, if
to < oo, then f*(t) = 0 for any t > t 0 • If t < to, then t < m(T) for
some T > 0. Since T < J*(t) then, we have J*(t) > 0. Hence, J*(t) > 0
for 0 < t < to. Suppose 0 < t < to and tk l t. If 0 < T < J*(t),
then t < m(T). Hence tk < m(T) if k is sufficiently large, which implies
T < J*(tk):::; J*(t). This shows f*(t) = limk-texl f*(tk)· Consequently!* is
right continuous. Finally suppose g* is another monotone decreasing right
continuous equimeasurable function of f. Let t 1 be an arbitrary positive
number. Put T = J* (t1), t2 = min{ t; J* (t) = T} = inf{ t; J* (t) = T}. Since
{t; f* (t) > T} = [0, t 2), we have
i{t;g*(t) > T}l = m(T) = l{t; j*(t) > T}l = t2.
Since g* is monotone decreasing and right continuous, we have {t; g* (t) >
T} = [0, t 2). Hence
g*(t1):::; g*(t2):::; T = j*(t1).
Similarly we can show J* (t1) :::; g* (t1). Thus J* (t) = g* (t).
2.6. EQUIMEASURABLE FUNCTIONS 33
r
}A f(x)dx::;
riAl
Jo f*(t)dt. (2.69)
Proof. Let h be the function such that h(x) = f(x) for x E A and
h(x) = 0 for x f/:. A. Since h(x)::; f(x) we have
m1(r) =l{x; h(x) > r}l::; l{x; f(x) > r}l = m(r).
Therefore if ft is the monotone decreasing right continuous equimeasurable
function of h, then
1 A
fWd:c= 1 Rn
hWd:c= la
o
oo flW&= !alAI flW&::; !alAI f*W~
0 0
In what follows in this section we suppose that 0::; f E LP(Rn), 1 ::; p <
oo, and J* is the monotone decreasing, right continuous equimeasurable
function of f. For t > 0 we put
(2.71)
Proof. By virtue of Lemma 2.7 J* E LP(O, oo). For 0 < a< b we get by
integrating by parts
1b f3J(t)Pdt =
1b (Jot
a CP j*(8)d8
)p dt::; pal-p (r
_ 1 Jo j*(8)d8
)p
+p ~ 1 1 b
t 1-p f*(t)
(
1 t
j*(8)d8
)p-1 dt. (2.72)
The first term of the right hand side of (2. 72) tends to 0 as a ---? 0 since
F,(x) = - 11'
f_ 0
J(x + y)dy, G(x) = supF,(x).
<>0
(2.73)
Then
1 00
-00
G(x)Pdx::; (
p
~ 1 )P 1 00
-00
f(x)Pdx. (2.74)
2.6. EQUIMEASURABLE FUNCTIONS 35
Proof. First note that G(x) is measurable since the supremum of the right
hand side of the second equality of (2. 73) may be taken only over rational
c:'s. Put H(T) = {x; G(x) > T} forT> 0. Since
y>x
1
G(x) =sup--
Y- X
1y
X
f(t)dt,
Since H(T) is an open set, it is the sum of disjoint open intervals: H(T) =
U(ak, bk)· With the aid of HOlder's inequality we see
We show -oo < ak < bk < oo for any k. Suppose ak = -oo for some k.
Then ( -oo, bk) C H(T). By (2.76) we have F(c) > F(bk) for some c < bk.
Let c1 be such that F(c1) = maxc:S:x:S:h F(x), c1 E [c, bk]· Then c S c1 < bk
since F(cl) 2 F(c) > F(bk)· Hence c1 E ( -oo, bk) C H( T). If c1 < x S bk,
then F(x) S F(c1). If x > bk, then F(x) S F(bk) < F(cl) since bk rt. H(T).
Hence F(x) S F(c 1) for any x > c1 . This contradicts c1 E H(T). Next
suppose bk = oo. Then (ak,oo) C H(T). Let c > ak. In view of (2.76)
F(c1) = maxx;:::c F(x) for some c1 2 c. Then F(x) S F(c1) for x > c1.
This is a contradiction since c1 E ( ak, oo) C H (T). Thus we have proved
-oo < ak < bk < oo.
Next we show F(ak) = F(bk) for any k. Since ak rt. H(T) and bk > ak,
we have F(bk) S F(ak)· Suppose F(bk) < F(ak) for some k. Then F(bk) <
F(c) for some c E (ak, bk)· Let c1 be such that F(cl) = maxc:s:xSbk F(x), c S
c1 S bk. Since F(c 1) 2 F(c) > F(bk), we have c S c1 < bk. Hence
c1 E (ak, bk) C H(T). If c1 < x S bk, F(x) S F(c1). If x > bk, F(x) S
F(bk) < F(c1) since bk rt. H(T). Hence F(x) S F(c1) for any x > c1. This
contradicts c1 E H(T). Thus we conclude F(ak) = F(bk)·
Consequently
36 CHAPTER 2. SINGULAR INTEGRALS
and hence
Therefore
Consequently
1 {IH(r)l
T::; IH(T)I Jo j*(t)dt = ,BJ(IH(T)I),
1 00
-oo
G(x)Pdx = p roo Tp-liH(T)IdT
Jo
::; p 1oo Tp-l,Bf(T)dT 181 ,Bf(T)dTP.= (2.77)
Hence making the change of the independent variable t = ,Bf (T) in the last
integral of (2. 77)
1-00
00
G(x)Pdx::; -1 h
00
td,B1(t)P =- [t,B1 (t)J: + 1h
00
,BJ(t)Pdt
1
fiJ(t)Pdt = 1
00
fiJ(t)Pdt.
With the aid of this inequality and Lemma 2.9 we obtain (2.74).
2.7. HILBERT TRANSFORM (CONTINUED) 37
f(x) =sup -2
e>O E
11€ -E
f(x + y)dy.
1
Then
1 00
-00
f(x)Pdx:::; 2 (
p
~
1
)P
00
-00
J(x)Pdx. (2.78)
Let H(T) be the set in the proof of Lemma 2.10 and H-(T)
= {x;G-(x) > T}. Then by the proof of Lemma 2.10 we get IH-(T)I:::;
fj/(T). Since f(x) :::; (G(x) + c-(x))/2 we have E(T) c H(T) n H-(T).
Hence
d r ¢(t) dt d ¢(x- t) dt r
dx Jlx-tl>e -t-X-t = dx }ltl>e X- t t
r f) ¢(x- t) dt d ¢(t) dt r
= lltl>e OX X- t t = llx-tl>e dt -t-X-t'
we see that
_!!:_ 1/J (X)
dx
= lim .!.
E--+0 7r
r .!!_ f/J (t) __!:!___
llx-tl>e dt t X- t
exists and is continuous. It is also easily seen that 1/J is an even function.
Next we show that
(2.79)
38 CHAPTER 2. SINGULAR INTEGRALS
1r'lj;(x) =
. lim
N--->oo, (1-1 10
t--->0 -N + _ +
11o
+ lx-t + 1N ) -
¢(t) dt
x+t t - - ,t
1- 1-
1 1 X-
1 1
¢(t)-dt
- -= dt = --1 [log--
N +log(x+ 1)] ,
1
-N t x - t -N t(x - t) x x+N
1° -1
¢(t)- -
- dt -
t X- t
--
0
1 ¢(t)- -
-
t
dt
X+ t
,
l x-t -
</J(t) dt
-- =
t X- t
lX-t dt =-1 [ log--
1 t(x - t) X
X-
+log(x -1) ,
E
E ]
= .! (log__!!__ -log X+ E) .
1x+tN<jJ(t) __!!:!:__ = 1N
t X- t
dt
x+t t(x - t) X N -X E
Hence we have
1
1r'lj;(x) =-log--+
x x+1
X- 1 10
1
(
2¢(t)
)(
x-t x+t
)dt
for E > 0. Then, there exists a constant Cp depending only on p such that
As E---+ 0, {]t} converges both almost everywhere and in the strong topology
of LP(R).
h- ' .(x) = 1
--
7rE
1 '1/J (X-- t)
_
00
00 E
g(t)dt
= _ __!__
7rE
roo '1/J (!) (g(x- t) + g(x + t))dt.
lo E
(2.82)
Set
I(x; t) = 1 t
-t
g(x + y)dy, g(x) =sup -2 11<
<>0 E -<
ig(x + y)idy.
According to Lemma 2.11 g E £P(R). Let x be a point such that g(x) < oo.
Then
By virtue of (2.83),(2.85)
li2,<(x)l $.! 1.
7r </4<lx-tl<<
¢(X- I I E
t)
X-
j(t) dt $
t
_!
7rE
r
l1x-tl<<
IJ(t)idt.
Hence if we put
f(x) =sup -21
<>0 E -<
if(x + y)idy, 1<
40 CHAPTER 2. SINGULAR INTEGRALS
we have
- 8 -
l/2,.(x)l:::; - f(x). (2.87)
7r
- 2
sup lf.(x)l:::; -g(x)
100 tl'l/J'(t)ldt +-8-J(x).
<>0 7r 0 7r
Applying Theorem 2.4 and Lemma 2.11 to the right hand side of the above
inequality we conclude (2.80).
The strong convergence of {f.} in LP(R) was already shown. Let f be~
arbitrary element of LP(R) and g E CJ (R). Set h = f- g. If we define g., h.
as we defined]., then by the argument at the end of the proof of Theorem
2.3 we see that g. converges uniformly. Consequently
lim sup ].(x) -liminf ].(x)
<-->0 <-->0
= limsuph.(x)
<-->0
-liminf ii.(x):::; 2sup jh.(x)l
<-->0 <>0
(2.88)
1: 1:
By virtue of (2.80),(2.88) we get
The right hand side of this inequality can be made arbitrarily small by
choosing g appropriately. Therefore the integrand of the left hand side
vanishes almost everywhere.
(2.90)
exists both almost everywhere and in the strong topology of £P(Rn). The
mapping f 1-t K * f is a bounded linear transformation from LP(Rn) to
itself
Proof. As was shown in the proof of Lemma 2.1 we have
j,(x) = 1 1
E
K(a)
,
00 dt
f(x- ta)-da.
t
- = 211 1
f,(x)
E
K(a)
ltl>•
dt
f(x- ta)-da.
t
With the aid of Holder's inequality
: :; ~ (l IK(a)ida)
1/p' (
h Ihi>•
IK(a)l f(x- ta) ~t
p
da
) 1/p
Hence
d
r IK(a)l }Rn
r sup r f(x- ta)_!:.t
p
X dxda. (2.91)
jE <>0 jiti>•
r sup 1r
}Rn <>0 lltl><
f(x _ ta) dt lp dx
t
42 CHAPTER 2. SINGULAR INTEGRALS
= r
}Rn-1 1 00
sup 1
<>0
r
lttl><
J(y + (s _ t)a) dt lp dsdy
t
L"
-00
1
<<lx-yi<2M+l
:::; L r
ltx-yl<<
lx- YIIK(x- y)jdy = fL
JE
r IK(a)jda.
Hence, j, converges uniformly to some function j as f ---+ 0. By virtue of
(2.89)
}Rn
r j](x)jPcb;:::; }Rnr sup jf,(x)jPcb; < 00.
<>0
jj],- ill~= r
ltxi<M+l
j],(x)- ](x)jPcb;---+ 0.
2. 9 Riesz Kernels
The Riesz kernels are functions defined by
r((n + 1)/2) Xj
Rj(x) =- 7r(n+1)/2 lxln+1 (2.92)
= r
Jlxl<1
lxl 1-n cos(x~)dx = r
Jlxl<1
lxl 1-n cos(l~lxt)dx. (2.96)
44 CHAPTER 2. SINGULAR INTEGRALS
rIm 1
E->O E<lxl<l
ln+l dx = -1 -1 ( - z
e -ixe I Xj
X - n
. ,- ~j 1 . (I 'I )dB
1<, 1 lxl=l x 1 sm ., x 1
+i~j r
Jlxl<l
lxll-n cos(l~lxl)dx). (2.97)
Hence, if we set
(2.99)
Evidently
(2.100)
Hence
2.9. RIESZ KERNELS 45
.
lIm 1
JL->00 l<ixJ <JL
e -ix~ I Xj
X
ln+l d x- a
2£lC. f(ICI)-
- . . ~j !'(ICI)
'> - 2-lcl
U<,J
'> •
':.
holds when 1~1 = 1 where c3 = c1 + c2. Since the left hand side of (2.105) is
a homogeneous function of ~ of degree 0 we have
lim
e->O,JL->oo
1 <I xi <JL
. X·
3 -dx
e- 2 x~--
lxln+l
= c3 ...1...
~·
1~1
(2.106)
(2.107)
(2.108)
46 CHAPTER 2. SINGULAR INTEGRALS
Since
.
hm
t-+O,IJ.-+oo
1 J1. •
sm ra1 1r .
- - d r = -2 s1gna1,
r
1 a1do- =On {
}o
1
t(1- t 2 )(n-J)j 2 dt
11
a1>0
1
=-On (1- s)(n-3)/2ds = o
_n_.
2 0 n-1
Hence
. On 1ri 27r(n-1)/2 7r(n+1)/2i
ca = -7r'l-- = --- = - .
n -1 n- 1 f((n -1)/2) f((n + 1)/2)
Thus the Fourier transform of the Riesz kernels are
(2.109)
gj(X) =-lim
t-+O Jix-yi>t
r Rj(X- y)f(y)dy = -(Rj * f)(x).
Then in view of (2.109)
n n
(:FLRi * gj)(~) = (27r)n/2 L(:FRj)(~)(:Fgj)(~)
j=1 j=1
n
= -(27r)n L(:FRj)(~)2(:Ff)(~) = (:Ff)(~).
j=1
Hence
n
- L Rj * (Rj *f) = f. (2.110)
j=1
By virtue of Theorem 2.3 we see that (2.110) also holds for f E LP(Rn), 1 <
p< oo. Thus we have established the following theorem.
2.10. CASE OF EVEN KERNELS 47
(2.111)
Here
logx x>l
log+x ={ 0 (2.112)
If S is a measurable set of Rn with JsuppjJ < JSJ < oo, where suppf stands
for the support of j, then there exist constants C3, C4 SUCh that forE> 0
(2.115)
r IJ(x)Jdx =
}Rn
1
lfl>e
lf(x)Jdx + 1lfl~e
lf(x)Jdx
r lie(x)Jdx =
Js Jo
to IE~Jds s JSJso + 1 00
so
IEslds. (2.117)
In view of Lemma 2. 7
From Lemmas 2.2 and 2.8 we get IDs IS j3f(s). In view of this and Lemma
2.4
1so
00
JEsJdssC1 roo~
Jo S
r [j(x)J~dxds+C2 rooj3f(s)ds,
JR, Jso
(2.119)
roo
}o S
~ r [j(x)j~dxds = r
}Rn }Rn }o
roo S
~ [j(x)]~dsdx
1 00
j3f(s)ds = 1St j3f(s)ds = ltl tdf3 (t) 1
so so lSI
2.10. CASE OF EVEN KERNELS 49
l r + 1 ,6j(t)dt
iS I [ t lSI
] it
= [t,6J(t)Ji11 + ,6j(t)dt = j*(s)ds
1 }o lSI t1
t1 liS! 11SI
=l j*(s)ds- f*(s)ds+ ,61 (t)dt.
0 h
Since J*(s) = ,61 (s) = ,61 (t 1 ) for 0 < s :::; h, the last side of the above
equalities
=l iSI 11t
-
t 0
f*(s)dsdt
0
dt
= liSI j*(s) 1ISI -ds
8 t
lSI II lSI (I 1)1/2
= 1 f*(t)log ~ dt=21 j*(t)log ~ dt.
With the aid of Lemma 2.12 we can show that this does not exceed
ls lfoo(x)ldx
In the general case dividing f into its positive and negative parts we can
show that (2.115) holds with
+ log+ ,6,
log+ (a,6) :::; log+ a (2.121)
r o
}Rn If- !J]kldx < 4log+(2/b).
1
(2.124)
r
}Rn
lf-!f]kllog+lf-!f]kldx-5,
D/2 Dj2 }Rn D/2
r
lf-[f]kllog+lf-[f]kldx
r
+ }Rn
1f -b/2[f]k 1 log+ -gdx
2
< 1. (2.125)
r
}Rn
lg-[f]kllog+lg-[f]kldx<
D/2 D/2 - }Rn
lg-[f]kl2dx<l.
D/2
r (2.126)
j
lf0 2gllog+ If~ gl 5: (a+ (3) log+ a ; f3 5: a log+ a+ (3log+ f3
< If- [f]kllog+ If- [f]kl + l!f]k- gllog+ l!f]k- 91. (2. 127)
- b/2 b/2 b/2 b/2
2.10. CASE OF EVEN KERNELS 51
r
}Rn 0/2
~log+ 0ldx < 2.
0
(2.128)
Thus we conclude
~
0 ~ t ~ 1/4
¢(t) ={
t > 3/4
Let R(x) = (R 1 (x), ... , Rn(x)) be the Riesz kernels. Set
Lemma 2.16 The right hand side of(2.129) converges in L[0 c(Rn \ {0})
and that of (2.130) in Lioc(Rn). K1 and K2 are both odd functions, and
K1 is homogeneous of degree -n. If K E Lq(E) for some 1 < q < oo, then
K1 E U(E) and for some constant Cq
(2.131)
52 CHAPTER 2. SINGULAR INTEGRALS
we have
1111 =I r }lyl<1/4
(R(x- y)- R(x))K(y)dyl
:::; I 1~+1
x
r
}IYI<1/4
IYIIK(y)ldy = I 1~+1
X J~
IK(o-)ldo-. r (2.134)
If we set
1/4 < lxl < 2
f(x) = { :(x)
otherwise
then
r
Jn,.
IJ(x)pog+ lf(x)ldx = r
J1/4<lxl<2
IK(x)llog+ IK(x)ldx
= h1~
2
1/4
dt
IK(o-)llog+ (eniK(o-)1) -do-
t
= h ~
IK(o-)llog+ IK(o-)loo 1 h
2
-dt +
1/4 t ~
IK(o-)loo
2
1/4
log+ en_
dt
t
1
:::; C ~ IK(o-)llog+ IK(o-)ldo- + C ~ IK(o-)ldo- < oo.
2.10. CASE OF EVEN KERNELS 53
r
Jl/2<lxl<l
IIllqdx, r
Jl/2<lxl<l
lhlqdx::; c r IK(o-Wdo-.
JE
(2.136)
r
JR"
II2Iqdx::; Cq r
jl/4<lxl<2
IK(xWdx = Cq r IK(o-Wdo-.
JE
(2.137)
r
Jl/2<lxl<l
IKl(xWdx::; Cq rIK(o-Wdo-.
JE
From this inequality and the homogeneity of K 1 the inequality (2.131) fol-
lows.
Finally we investigate the convergence of (2.130). Let N be an arbitrary
positive number. If lxl < N, 0 < f < 1, then
{ R(x- y)K(y)¢(1yl)dy
Jlx-yi>E
lis I::; r
}IYI>N+l
I cYIn IK(y)ldy
X-
::; c r
}lyi>N+l
(NI ~n1 )n IK(y)ldy::;
Y
eN r IK(o-)ldo-.
}E
54 CHAPTER 2. SINGULAR INTEGRALS
for some constant Cq, and (2.130) holds in the strong topology of Lq(Rn).
Proof. In view of Lemma 2.16 K1 E Lloc(Rn \ {0} ), Kz E Lloc(Rn), and in
Lloc(Rn \ {0})
1lx-yl>£
R(x- y)K(y)</>(!yl)dy =¢(!xi) 1 lx-yl>£
R(x- y)K(y)dy
2.10. CASE OF EVEN KERNELS 55
= f K(y)(</>(lyl)- ¢(1xl))dy
}IYI<1/16
+ { K(y)(</>(lyl)- </>(lxl))dy
J1x-yl >e,1/16< IYI <1
= f K(y)(</>(lyl)- ¢(1xl))dy
Jlx-yl>e,1/16<IYI<1
~ { K(y)(¢(1yl)- </>(lxl))dy =0
}1/16<IYI<1
as E~ 0. Hence in view of (2.142) if 1/8 :::; lxl :::; 1
if 1/8 :::; lxl :::; 1, IYI :::; 1. If 1/8 :::; lxl :::; 1, IYI > 1, then lx- Yl :::; 2lyl, and
hence
(2.146)
holds for 1/8 ::; lxl ::; 1. Now we show that
r
}1/2<lxl<3/2
r
}Rn
IYI1/21K(y)llx- Yl-n+1/2dydx < ()(). (2.147)
From this result it follows that the last integral of (2.146) is finite for almost
every x. We have
r r
}1/2<lxl<3/2 }1/4<IYI<3
IYI 112 IK(y)llx- Yl-n+l/ 2dydx
r r
}1/2<lxl<3/2 }iyl>3
IYI 112 IK(y)llx- Yl-n+l/ 2dydx
::; 2n-1/2 r.
J1/2<lxl<3/2
dx r
JIYI>3
IYI1-niK(y)ldy < ()().
r (r
}1/2<JxJ<3/2 }JyJ<1/4
IYI1/21K(y)JJx- Yl-n+1/2dy)q dx
~ (}JyJ<1/4
r IYI1/21K(y)Jdy)q J1/4<Jxl<7/4
r Jxl(-n+1/2)qdx
r IYI1/21K(y)JJx-
(}1/4<JyJ<3 Yl-n+l/2dy)q
~ r
}1/4<JyJ<3
(1Yil/21K(y)l) q lx- yrn+1f2dy ( r
}JyJ<9/2
IYI-n+1/2dy)q-1
we have
( ( ( JyJ1f2JK(y)JJx _ yJ-n+1/2dy)q dx
J1/2<lxJ<3/2 Jl/4<JyJ<3
58 CHAPTER 2. SINGULAR INTEGRALS
r
: :; Jl/4<lvl<3 (1Yi 112 IK(y)i)q dy ( r
Jlvl<9/2
IYI-n+l/ 2dy)q
Analogously
r
Jl/2<lxl<3/2
(r Jlvl>3
IYI1/21K(y)ilx- Yi-n+l/2dy) q dx
:::; c r
Jl/2<lxl<3/2
(rJlvl>3
IYil-niK(y)jdy)q dx
1 -oo
00
(supf1
e>O e
00
J(t+s)s- 2ds)P dt:::; (
P
~
1
)Pjoo f(t)Pdt.
-oo
(2.154)
Proof. For f > 0 define the functions Fe and G by (2.73). Then we have
With the aid of Lemma 2.10 and (2.155) we obtain (2.153). Since EFe(t):::;
fl-l/pilfllv, we have
00
f 1 f(t + s)s- 2ds = f 100 d (sF8 (t)) s- 2ds
e ds
= -Fe(t) + 2f 1 00
s- 2F8 (t)ds:::; 2EG(t) 1 00
s- 2ds = 2G(t). (2.156)
(2.157)
where R( x) = ( R 1 ( x), ... , Rn (x)) are the Riesz kernels. Then in view of
Theorems 2.6 and 2. 7
Hence
Co(N+1)niK(x-y)1¢(1x-yl) lg(z)l .
E (IYI + 1)n
lim
ti-+0
j"}ly-zl>ti
{ K(x- y)¢ ( lx- Yl) R(y- z)dyg(z)dz
E
= E-n lim Jr
ti-+O
r
Jl(x-z)/<-yl>ti/<
K(y)¢(1yi)R (X- E
z - y) dyg(z)dz
lgl(x)l + L
00
= lh(x)l + L
00
The first term of the right hand side of this inequality is finite for almost
every x by virtue of Lemma 1.2 and
The second and third terms are also finite almost everywhere by Lemma 2.1
and 1.2 respectively. Hence applying (2.158) to fk, gk and letting k ---> oo
we see that (2.158) holds in the general case. In view of (2.158)
}nn
(x-
=E-n { K2
E
y) g(y)dy- {
Ax-yl<€
K(x- y)¢ ('x- Yl)
E
f(y)dy
=en r (X-
Jlx-yl>€
Kl
E
y) g(y)dy
+en { (x-
lix-yi>€
(K2
E
y) - K1 (x-
E
y)) g(y)dy
+E-n r (X-
Jlx-yl<€
K2
E
y) g(y)dy
4
- { K(x- y)¢ ( lx ~ Yl) f(y)dy = :2.: Ii.
Jlx-yl<€ i=l
I1 ={ K1(x -y)g(y)dy.
Jlx-yl>€
(2.162)
Hence
2.10. CASE OF EVEN KERNELS 63
Making the change of the variables x = y-ta, 2:;= 1 y1a1 = 0, and applying
Lemma 2.18
00
r (supE1 s- 2 ig(x- sa)ids)p dx
1-oo
}Rn t>O t
= r
00
(sup E1
00
s- 2 ig(y- (t + s)a)ids)p dtdy
} Rn-1 t>O t
: :; (~)P f
p-1 }Rn-1
1oo ig(y- ta)IPdtdy =
-00
(~)P f
p-1 }Rn
ig(x)IPdx.
Hence we obtain
Therefore
Next
(r
:::; }1:; G(a)da
)1-1/p[r ( r
}1:; G(a) en }o ig(x- sa)lsn- 1ds
)p do-]1/p .
By virtue of Lemma 2.18
Hence
r
}Rn t>O
sup lhiPdx:::; ( - p
p- 1
)p (}1:; r G(a)da)p r
}Rn
ig(x)IPdx. (2.164)
64 CHAPTER 2. SINGULAR INTEGRALS
Finally
1141 =I {
}</4<lx-yl<<
lx- Yl-nK ( 1x = yl) ¢ (lx- Yl)
X Y f
f(y)dyl
: ; (~)nl
f lx-yl<<
IK(Ix=yl)llf(y)ldy
X Y
where :E is the unit sphere of Rn and da is the areal element of :E. For
f E LP(Rn), 1 < p < oo, E > 0 set
}.(x) = 1
lx-yl><
K(x- y)f(y)dy.
Then there exists a constant Cp which does not depend on f such that
(2.167)
Proof. Clearly DiL is homogeneous of degree -n. Let 0 < a < b < oo.
Since
we have
1 a<ixl<b
DiL(x)dx = {
Jlxl=b
L(x) xbi dS- {
Jlxl=a
L(x) Xi dS
a
= 0.
On the other hand using the polar coordinates x = rCJ
1 <lxl<b
DiL(x)dx ={
JE a
1b DiL(rCJ)rn- 1 drdn
= { DiL(CJ)dn
}E
1b
a
dr
r
= { DiL(CJ)dCJ log~.
}E a
Hence we see that DiL satisfies (2.2). We have for f E CJ(Rn)
Di { L(x- y)f(y)dy
}Rn
= j'E{ L(CJ)CJidCJ f(x) + (DiL * f)(x),
and (2.167) holds.
Chapter 3
Sobolev Spaces
In particular
llullo,oo,n = lulo,oo,n =sup lu(x)l. (3.3)
xEfl
If a = m + h with an integer m and 0 < h < 1 we set
67
68 CHAPTER 3. SOBOLEV SPACES
Bm(O.), Bm(O.), Ba(O.), Ba(O) are Banach spaces with norm (3.2) or (3.5).
If 0. = Rn we write I lm,CXJ, II llm,CXJ, I la,CXJ, II lla,CXJ instead of I lm,CXJ,R",
I llm,CXJ,R", I la,CXJ,R", I lla,CXJ,R" respectively.
Proof. For the sake of simplicity we write I Ia and "' omitting oo and a, b, c
in I la,CXJ and "fa,b,c respectively.
(i) Case 0 :::; a < b < c:::; 1. Since
For u E B 1 (Rn)
ju(x)- u(y)i = 11 !1
u(y + t(x- y))dtl
= 11 t 1
Diu(y + t(x- y))(xi- Yi)dtl
n
: :; 2:.:: IDiulolxi- Yil:::; iuhvnlx- yj,
i=l
which implies
iuh :::; sup ju(x)- u(y)j :::; vnluh. (3.7)
xi-Y lx- Yi
From this and ju(x) -u(y)i:::; 2julo we see that (3.6) also holds in case a= 0
or c = 1.
(ii) Case 0:::; a< b = 1 < c:::; 2. If n = 1, we have for p > 0
u'(x) =-
11x+p (u'(x)- u'(y))dy + -(u(x
1
+ p)- u(x)),
p X p
3.2. INTERPOLATION INEQUALITIES(1) 69
lulaPa a>O
lu(x + p) - u(x)l :::; {
2lulo a=O
lu'(x)- u'(y)l:::; lulc(Y- x)c-l.
Hence if a> 0
(3.10)
(3.11)
If m = 2 (3.11) is
11/2 luo
lull:::; Clu2
11/2
, (3.12)
which follows from (ii) with a = 0 and c = 2. Suppose (3.11) is true for
m - 1 in place of m. Then
which implies
(3.14)
70 CHAPTER 3. SOBOLEV SPACES
(3.11) follows from (3.13) and (3.14). Finally we consider the general case.
Suppose (3.10) is true with j replaced by j + 1. Then
(3.15)
In view of (3.11)
luJ·J<
-
CJuJi/Ci+l)JuJ
i+1
1/U+ 1)
0 • (3.16)
The desired inequality follows from (3.15) and (3.16).
(iv) Case 0:::; a< b = 1 < c = m, man integer. We proceed by induction.
The case m = 2 is already proved in (ii). Suppose the desired inequality is
true form:
JuJt :::; CJuJ~-a)j(m-a) JuJ~m-1)/(m-a). (3.17)
By the previous step we have
IUIm<- Cl U lm+1
(m-1)/mJ J1/m
U 1 •
The desired result for m + 1 follows from this and (3.17).
(v) Case 0 =a< b = j < c:::; j + 1,j an integer. The case j = 1 is proved
in (ii). Suppose j > 1. Since 1 < c- j + 1 :::; 2 we get by (ii)
JDi-1uJ1:::; CJDi-1uJ~~~+f+1)JDi-1uJ6c-j)j(c-i+1)'
which implies
(3.18)
In view of (iii)
Juli-1 :::; CJuJ)i-1)/iJuJ~Ii.
o:::;a<b=1<m<c<m+1
JDuJm-1:::; CJDuJ~~;:-1)/(c-1)JDuJ6c-m)/(c-1)
or
JuJm :::; CJuJ~m-1)/(c-1) JuJ~c-m)/(c-1).
The desired inequality follows from this and (3.17).
(vii) Case 0 :::; a < b = j < c :::; j + 1, j an integer. If j - 1 :::; a, we
3.2. INTERPOLATION INEQUALITIES(l) 71
have 0 :::; a - j + 1 < 1 < c - j + 1 :::; 2, and hence applying the result of
(ii) to ni- 1 u we get the desired inequality. Suppose a < j - 1. If we put
k = [a]+ 1, then 0 < j - k < c- k:::; j - k + 1. Hence, applying the result
of (v) to Dku we get
which follow from (i) and (viii). The case a;:::: j, c $ j + 1 is reduced to (i).
l
Let 0 be a nonempty open subset of Rn. Following A. Friedman [65] we
define
(fniujP£tt) lfp O<p<oo
(3.29)
jujp,n = lul-nfp,<Xl,n -()() < p < 0
lulo,<Xl,n p=±oo
When n= Rn' we write I IP instead of I jp,R".
Lemma 3. 1 There exists a constant C such that for -oo < p $ -n, q > 0
Proof. Suppose first p < -n. Then 0 < -njp < 1, and hence
Therefore
When q ;:::: 1, integrating (3.31) over {y; lx- Yl < p} and applying Holder's
inequality to the last term we get
where Vn and On are the volume of the unit ball and the area of the unit
shere in Rn. Dividing both side of (3.32) by VnPn and taking the supremum
of the left hand side we get
(3.33)
3.3. INTERPOLATION INEQUALITIES(2) 73
Minimizing the right hand side of (3.33) with respect top we obtain (3.30).
When q < 1, the result follows analogously starting from
Proof. Noting that 0 < pjr < 1, 0 < -njr < -njp::; 1 and (3.7)
I < Cl u1/JL
IU_n_ l(nv+1)/n(v-JL) I ~-(nJL+1)/n(v-JL)
u1jv •
I < Cl u1/A
Iu1/JL- l(nJL+1)j(nA+1) I 1-n(JL-A)/(nA+1)
u_n •
Iu1/JL-
I < Cl 1n(v-JL)/(nv+1)l
u_n
l(nJL+1)j(nv+1)
u1/v '
u _
I lm,p,fl -
{
(
L2:supxEniD,u(x)l
max ess
IDauiPdx
lal=m
)
1::; p < oo,
p= oo,
(3.39)
lal=m
m ) 1/p
l!ul!m,p,n = {
(
~ lu11,v,n 1::; p < oo,
(3.40)
max
k=O, ... ,m
lulk,oo,n p=oo,
if the values of the right hand sides are defined and finite. If 1 ::; p <
oo, lulo,v,n coincides with lulv.n defined by (3.29). For u E Bm(n), lulm,oo,n
coincides with the one defined by (3.1). When n = Rn, we write lulm,p,
l!ul!m,p short for lulm,p,Rn, l!ul!m,p,Rn·
The totality of functions whose distribution derivatives of order up to m
all belong to LP(n) is denoted by wm,v(n) which is a Banach space with
norm (3.40).
Lemma 3. 4 Let 1 ::; p < oo, 1 ::; q < oo, 1/r = (1/q + 1/p)/2, and
I = [a, b] be a finite interval with III = b - a. Then for any function
u E C 2 (I)
w'(x) = w'(Yl2) + 1x
Yt2
w"(y)dy = w(x 2)- w(xl)
X2 - X1
+ r
lY12
w"(y)dy.
The first term of the right hand side of (3.42) does not exceed (ju(x2)l +
iu(xl)i)j2a since x2- x1 ~ 2a.
Consider the case x ::; x 12 < y 12 . The second term of the right hand side
of (3.42) is not greater than
::;1X
iu"(y)jdy +
Xt2 1Y12 lw"(y)jdy::; 1Y12 iu"(y)jdy::; 1b iu"(y)jdy.
X12 X a
Other cases are handled similarly, and we see that the inequality
is true for a ::; x ::; b. Integrating both sides over a ::; x 1 ::; a +a and
a + 3a ::; x 2 ::; b we get
Lemma 3. 5 Let 1 :::; p:::; oo, 1 :::; q :::; oo, 1/r = (1/q + 1/p)/2. Then for
any function u in C 2 ( [0, oo)) vanishing outside some bounded set
(!-==lu'lrdx) 1/r
:::; 4V2
(!=-= lu"IPdx
) (J=-= lulqdx)
l/2p l/2q (3.45)
Proof. First consider the case 1 < p < oo, 1 :::; q < oo. Let l be a positive
number such that u(x) = 0 for x > l, and k be a natural number;::: 2. If
the first term of the right hand side of (3.41) with I = [0, ljk] is greater
than the second term, we let It = [0, a 1 ] = [0, ljk]. Otherwise, we choose
It = [0, a 1 ] so that It :::> [0, ljk] and both terms of the right hand side of
(3.41) with I= It are equal. That is possible since 1 + 1/r -1/p > 0. Then
we have
(
1. lu'lrdx
)
1/r
(1. lulqdx) 1~
On the other hand, noting r j2q + r j2p = 1 and using Holder's inequality
(3.46)
Then the volume of G is cdn with some positive constant c depending only
on n. Integrating both sides of
we get
= (p = nn)
P
1
n
(p-1)/p
{ pn-nfp
Jo
d (
{
Jlz-xi<P
IY'u(z)IPdz
) 1/p
dp
p- 1
::::; ( --On
) (p-1)/p ~+1-n/p
/
(1 IY'u(z)IPdz
)
1/p
.
p-n n+l-np Rn
Since
u(x) = u(x1, o o o, xn) = /_: Dju(x1, ... , Xj-1, t, Xj+1, ... , Xn)dt
= -1 Xj
00
Dju(x1, oo., Xj-1, t, Xj+1, ... , Xn)dt,
80 CHAPTERS. SOBOLEVSPACES
I:
we have
Therefore
(2lu(x)l)n/(n-1) = [(2lu(x)l)n]1/(n-1)
Repeating this process we obtain (3.49). When p > 1, we put v = lul(n- 1)P/(n-p).
Since (n -1)pf(n- p) > 1, v E CJ(Rn) and
IDivl = 1Di(lul 2 )(n- 1)p/ 2 (n-p) I
3.4. INTERPOLATION INEQUALITIES(3) 81
= (n- 1)plul(np+p-2n)/(n-p)IRe(uDi'u)l
n-p
::; ( n - 1)p luln(p-1)/(n-p) IDiul.
n-p
Hence
( )
IDivl1 ::; n- 1 p (
n-p
r
hn lulnpf(n-p)dx )
(p-1)/p (
r
hn IDiuiPdx
) 1/p
- (n -1)pl ln(p-1)/(n-p)ID· I
- n- p u np/(n-p) ~up·
IV In/(n-1) = IU lnpf(n-p)
(n-1)p/(n-p)
we obtain (3.48).
Now we prove Gagliardc:rNirenberg's inequality ([67], [68], [118]).
Theorem 3. 3 Let 1 ::; p ::; oo, 1 ::; q ::; oo, and let j, m be integers sat-
isfying 0 ::; j < m. If m- j- njp is not a nonnegative integer, then for
any a satisfying j j m ::; a ::; 1 there exists a constant 1 depending only on
n, m, j, p, q, a such that
(3.51)
1 m
-:;: = ;:
(jm ) + p+
-a
a 1-a
-q- ::;
a 1-a
p + -q- ::; 1.
Hence, either r < 0 or r 2: 1. If r 2: 1 (3.50) is
lulj,r ::; llul~,p lul6~a.
Iu Ij,p-< I Iu lm,p
j/ml 11-j/m
u O,p • (3.52)
82 CHAPTER 3. SOBOLEV SPACES
Proof of Theorem 3.3. (i) Case a= jfm. This case (3.51) reduces to
!r = i!
mp
+ (1- m !.
q
i)
Since r ~ 1 what should be proved is
_ "f IU lj/ml
IU Ij,r < 11-j/m .
m,p U o,q (3.53)
(3.54)
(3.55)
1:
p < oo,q < oo,
ID1u(x1,x'Wdx1
! = _!_! +
r mp
(1- _!_) !,
m q
_!_- _1_! + (1- _I_)!
P1 - m - 1 p m- 1 r·
3.4. INTERPOLATION INEQUALITIES(3) 83
or
!r = imp
!+ (1- i) !,
m q
then
1 j-11 ( j-1)1
r= m - 1 p+ 1 - m - 1 q1 .
or
lui·J,r <
-
Clul(j-1)/(m-1)1ul(m-j)/(m-1).
m,p 1,q1 (3.58)
In view of (3.54)
(3.59)
(3.60)
for1/r = jfn+ 1/p- mjn. We begin with the case j = 0, i.e. with showing
(3.61)
84 CHAPTER 3. SOBOLEV SPACES
(3.63)
If r > 0, then r > r 1 > p ~ 1. So, with the aid of (3.61) for the case of
m=1weget
(3.64)
We obtain (3.61) from (3.63) and (3.64). Next consider the case r < 0. If
r1 determined by (3.62) is positive, then r1 > n. In view of Lemma 3.6 we
get
The inequality (3.61) follows from this and (3.63). The proof of the case
j = 0 is complete.
3.4. INTERPOLATION INEQUALITIES(3) 85
~
r1
= 1_! +
mp
(1- ~) !, m q
1
-r2 =-+-
n p
j
--,
n
1 m I-a
0=1 -J· m
;'
Since 0 < 0 < 1, 1/r = Ojr 1 + (1- O)jr2 , we have in view of Theorem 3.2
(3.66)
where
xa)
Ka(x) = (m- 1l)!On ¢(x)Df3 ( lxln (3.68)
L..J a
k=O
1 = ( a ) k(tk a ) · u(x- ta)dt
-
at --¢(ta)
k! at
86 CHAPTER3. SOBOLEVSPACES
rXJ tm-1
= Jo (m _ 1)! ¢>(ta) 2: a 0 D 0 u(x- ta)dt
lal=m
-2:
m-11oo
k=O
.J (-{))
2: (k) 0 j=O
k
{)t
k-j tk
1 . -
k.
( {)
{)t
)j+1
¢>(ta)·u(x-ta)dt
roo tm-1
= Jo (m _ 1)! ¢>(ta) 2: a 0 D 0 u(x- ta)dt
lal=m
Integrating over E
Onu(x) = h1 L: 0
oo
(
tm-1
m
_ )I ¢>(ta)
1.
2:
lal=m
a 0 D 0 u(x- ta)dtda
- 2: 2: (k). "":j"
m-
1
k=O j=O
k
J
11 IYI-n
J· Rn
2:
ial=i+1
Y0 D 0 c/>(y) · u(x- y)dy.
(3.69)
for ally E B
for all x E A,
then
(i 1
I(Gf)(xWdx) /r::; K (L lf(y)IPdy)
1
/P.
~r = in +a(~-
p
m)
n
+q 1- a = (1- a) (i +~) .
nq
(3.71)
Proof. Put s = mnqj(m- j)(n + jq). Then the set of values of r when a
ranges over [j jm, 1) is [s, oo ). So we are going to show (3. 70) for s:::; r < oo
with a defined by (3.71). In view of Theorem 3.3 we know that
lui·J,s-< Cluli/mlul(m-i)/m
m,p O,q (3.72)
is true (the case a= jfm). Here we note that s ~ 1 by Remark 3.1. Since
1/s is a convex combination of 1/p and 1/q, we have
s:::; max{p, q}. (3.73)
Suppose max{p,q} ::=; r < oo. We use Lemma 3.8:
Df3u= L Ka *D 0 u+L*u,
iai=m
where 1,61 = j. Let q1 be a real number defined by 1/r = 1/p + 1/q1 - 1.
Then, we have
r
}Rn
IKa(xWldx:::; c r
Jlxl$.1
ixi(m-n-j)qldx < oo.
3.4. INTERPOLATION INEQUALITIES(3) 89
Minimizing the right hand side with respect to .A we conclude (3. 70).
Next, supposes< r < max{p,q}. Lett be a number such that t ;:::
max {p, q}. Then, by what was just shown above
luli,t :::; Clul~,p lul6~b, (3. 77)
1
-=(1-b)
t
(j-+-.
n
1) q
(3.78)
j
-+a
n
(1
---
p
m) + - - a) (j- +-
n
1- a = (1-
q n q
1)
Theorem 3. 5 Let m, j be integers satisfying 0 ::::; j < m, and let 1 ::::; p ::::;
oo, 1 ::::; q::::; oo. Suppose m- j - njp > 0. Then, for any a satisfying
!
r
= L
n
+a (! - m) + 1 - a.
p n q
(3.82)
!s = i_!
mp
+ (1- j_) !.
m q
j
( ;;: + q a < 1, (3.83)
or
j 1 m 1
-n +---
p n
<- < 0.
r
(3.84)
Lemma 3. 10 Let m be a positive integer and 1 ::::; p ::::; oo, 1 ::::; q ::::; oo.
Suppose m- njp > 0. Then for each integer k satisfying 0::::; k < m- njp
there exists a constant C such that for u E Clf(Rn)
(n+kq)pf(mpq+np-nq) I l(mp-n-kp)q/(mpq+np-nq)
IU l m,p U O,q
1 ::::; p < oo, 1 ::::; q < 00
lulk,oo ::::; C lul~,~q)f(n+mq) lulb:';-k)qf(n+mq) P = oo, 1 ::::; q < 00
kp/(mp-n) I l(mp-n-kp)/(mp-n)
IU l m,p U O,oo 1 ::::; p < oo, q = 00
k/m I l(m-k)/m
IU l m,oo p=q=oo
U O,oo
3.4. INTERPOLATION INEQUALITIES(3) 91
!Df3u(x)- Df3u(y)!
Df3u(x)- Df3u(y) = L
lal=m
1
R"'
(Ka(x- z)- Ka(Y- z)) Dau(z)dz
{
IJl:z:-zl~l:z:-yl/2 (Ka(x- z)- Ka(Y- z)) Dau(z)dzl
:$ r
Jl:z:-zl~l:z:-yl/2
IKa(X- z)DO!u(z)idz
+ r
}ly-zl ~3lx-ylf2
IKa(Y- z)DO!u(z)idz
1/p'
:$ ( r
Jl:z:-zl~l:z:-yl/2
IKa(X- z)IP' dz) IDO!ulo,p
1/p'
+( r
}ly-zl91x-yl/2
IKa(Y- z)IP' dz) IDO!ulo,p· (3.88)
1/p'
{
IJl:z:-zl~l:z:-yl/2 (Ka(x- z)- Ka(Y- z)) Dau(z)dzl :$ Clx- Yiiuim,p·
(3.89)
It is easy to see that this inequality is true also when p = 1. By the same
method as above
Next, we estimate
I{
Ax-zl >lx-yl/2,ly-zl >lx-yl/2
(Ka(x- z)- Ka(Y- z))Dau(z)dzl.
In the region
lx- zl > lx- Yl/2 and IY- zl > lx- Yl/2 (3.91)
we have IY- zl/3 < lx- zl < 3ly- zl. In what follows for the time being
we consider in the region (3.91).
Pa(X- z)
Ka(x-z)-Ka(y-z)=(¢(x-z)-¢(y-z)) Ix-z lk
+¢(y _ z) (Pa(X- z) _ Pa(Y- z)), (3 .92)
lx - zlk IY - zlk
IPa(x- z)l/lx- zlk :::; Glx- zlnfp+l-n. (3.93)
Since "V Pa is homogeneous of degree 2m- njp- 2 ;::: 0, it is easy to see that
IPa(x- z)lx- zl-k- Pa(Y- z)IY- zl-kl:::; Clx- YIIY- zlnfp-n. (3.94)
Suppose lx- Yl :::; 2. With the aid of (3.95) we see that if 1 < p:::; oo
::::; Glx - yj ( r
Jlx-zl<3
jx - zjP'-ndz) julm,p
1/p'
It is easy to see that this inequality is true also when p = 1. Hence, com-
bining (3.89),(3.90) and this inequality we conclude that if jx- yj ::::; 2
As is easily seen
jD!3u(x)- Df3u(y)j
Finally consider the case jx- yj > 2. In view of Lemma 3.10 or its proof
Theorem 3. 6 Let m, j be integers satisfying 0 :::; j < m, and let 1 :::; p :::;
oo, 1 :::; q :::; oo. Suppose that m- j- njp is a positive integer. Then for
any a satisfying
( ;;:+-q
j 1) I (m 1 1) <a<1
~-p+q (3.98)
there exists a constant "' depending only on m, j, n, p, q, a such that for any
u E C[J"(Rn)
(3.99)
where
! = j_ +a(!_ m) + 1- a. (3.100)
r n p n q
Juli -n/r,oo
:::; CJul~,p Jul6~a,
where a= (n + jq- nq/r)pj(mpq + np- nq), with a suitable modification
when p = oo or q = oo. It is easily seen that a satisfies (3.98) and (3.100).
Next consider the case where -n/r is not an integer. First suppose that
where
.
IU IJ-n/r,oo <
-
Cl lj-nfr-kl lk+l-j+n/r
U k+l,oo U k,oo · (3.105)
where
Theorem 3. 8 Let m, j be integers satisfying 0 ::; j < m and 1 ::; p < oo.
Suppose m- j- njp = 0. Then for any r satisfying p::; r < oo, we have
wm,P(Rn) c Wi,r(Rn) and
(3.113)
where a is a number such that 1/r = jjn + 1/p- amjn, i.e. jjm ::; a =
1-njmr < 1.
Theorem 3. 9 Let m, j be integers satisfying 0 ::; j < m, and let 1 ::; p ::;
oo. Suppose m- j- njp > 0. Then for any r satisfying p::; r::; oo we have
wm,P(Rn) C Wi,r(Rn) and for any u E wm,P(Rn)
'Dl U
1 < 1 l(n+lp+hp)jmpl U l(mp-n-lp-hp)/mp
h,oo _ 'Y U m,p o,p · (3.117)
Hence for 0:::; s :::; m - njp
llulls,oo :::; 'Y (iul~,tsp)jmplulb;p-n-sp)jmp + iulo,p) · (3.118)
In particular
llullm-njp,oo :::; 'YIIullm,p· (3.119)
(ii) If njp is an integer, then for each s satisfying 0:::; 8 < m- njp we have
wm,p(Rn) c B 8 (Rn). (3.116) holds for each integer j such that 0:::; j :::;
l = m- njp- 1. For 0:::; h < 1 (3.117) holds with a constant 'Y depending
also on h. For 0:::; 8 < m -njp (3.118) holds with a constant 'Y depending
also on 8.
Proof. We follow the proof of Theorem 6.3 of A. Friedman [65]. For a> 0
set
fla = {x E 0; dist(x, ofl) > a-1, lxl <a}. (3.120)
For each natural number k let ak, a~ be the sets defined by
a1 = 03, ai = fls/3• ak = nk+2 \ Ok, a~= nk+S/3 \ Ok+1/3 for k 2:: 2.
It is easy to show that {au is an open covering of n, G~ c ak and any
three of {ak} have an empty intersection. In case ai. = 0 8 ; 3 is empty
we renumber {Ok} appropriately. Let 'f/k be a function in Cff'(Rn) with
support contained in ak such that 'f/k = 1 in a~ and 0 :::; 'f/k :::; 1 in Rn.
Set 'fJ = 2::~1 'f/k· For each X E n at least one of {au contains X and at
most two of {ak} contain x. Hence, we have 1 :::; ry(x) :::; 2. Therefore if
we set (k(x) = 'f/k(x)jry(x), then (k E Cff'(O), supp(k C ak, 2::~ 1 ((x)
i.e. {(k} is a partition of unity subordinate to {ak}· Let u be an arbitrary
1, =
element of wm,P(fl) and f_ > 0. Set Wk = P<k * ((ku), where P< is a mollifier.
If Ek is sufficiently small, then the support of Wk is contained in fl4 if k = 1
and in nk+3 \ nk-1 if k ;::: 2, and
llwk - (kullm,p,O < 2(2 -k)/p- 2 E. (3.121)
Set w = 2::~1 Wk. Since five of the sets nk+3 \ nk-1 have an empty inter-
section, wE C 00 (0) and for lal ::'S m
2: li(ku- wkii~,p,n
00
Therefore
= 1~Diu.(x+t(y-x))(yi-xi)dt.
1 n
102 CHAPTER 3. SOBOLEV SPACES
n
lu,(x) - u,(y)l ::; :2::: IDiu<lo,oo,n. lxi- Yil
i=l
wm,oo(Rn) = Hm,oo(Rn).
Remark 3. 5 From the proof of Lemma 3.13 it follows that wm,oo(n) =
Hm,oo(n) is true for any convex open set n.
{4>i} of Oi onto the unit ball {y; IYI < 1} in Rn, and an integer N such that
the following conditions are satisfied:
(1) Let OI = 4>i 1 ( {y E Rn; IYI < 1/2} ). Then U~ 1 OI contains the N- 1
neighborhood of 80..
(2) For each i
4>i(Oi n 0.) = {y; IYI < 1, Yn > 0}, (3.126)
4>i(Oi n 80.) = {y; IYI < 1, Yn = 0}. (3.127)
(3) Any N + 1 distinct sets of { Oi} have an empty intersection.
(4) The family { Oi} is locally finite, i.e. only a finite number of Oi have a
nonempty intersection with some neighborhood of each point of Rn.
(5) Let wi = 4>i 1 be the inverse mapping of 4>i. Then for each i = 1, 2, ...
and IYI < 1
(3.128)
Let 4>ik(x), wik(Y) be the kth components of4>i(x), wi(Y) respectively. Then
1Da4>ik(x)l:::; M, IDawik(Y)I:::; M, l4>in(x)l:::; Mdist(x,80.) (3.129)
for Ia I :::; m, X E oi, IYI < 1, k = 1, .. . 'n, and i = 1, 2, ....
When m 2:: 2 or also when m = 1 if 8wik/8Yi are equicontinuous, then (4)
is implied by (3) and (5) as is shown in the following lemma.
Lemma 3.14 Let f(y) = (ft(y), ... , fn(Y)) be of class C 1 in the unit ball
of Rn and suppose the Jacobian D f / Dy is different from 0 at y = 0. Then
there exists a constant 8 depending only on the norm of the inverse of the
Jacobian matrix fv = 8ff8y at y = 0 and the moduli of continuity of
8fif8yj, i, j = 1, ... 'n, at y = 0 such that
{f(y); IYI < 1}:) {x; lx- f(O)I < 8}.
Proof. Denote the norm of the matrix A be IAI. Let E be a positive number
such that lfv(Y)- fv(O)I:::; 1/(2lfv(0)- 1 1) for IYI:::; E. Set
g(y) = y- fv(o)- 1 (f(y)- x),
f(y) - f(z) = fv(O)(y- z) + h(y, z)(y- z),
h(y, z) = 1 1
(fy(z + t(y- z))- fv(O)) dt.
Then lh(y, z)l :::; 1/(2lfv(o)- 1 1) for IYI:::; E, lzl:::; E. Put 8 = E/(2lfv(o)- 1 1).
If lx- f(O)I :::; 8, then for each y such that IYI :::; E
lg(y)l= IY- fv(o)- 1 (f(y)- f(O))- fv(o)- 1 (!(0)- x)l
= 1- fv(o)- 1 h(y, O)y- fv(o)- 1 (!(0)- x)l
:::; lfv(o)- 1 llh(y, O)IIYI + lfv(o)- 1 18:::; f_,
104 CHAPTER 3. SOBOLEV SPACES
Furthermore if IYI ::; E, lzl ::; E, then lg(y)- g(z)i ::; IY- zl/2. Hence, if
lx- f(O)I::; 8,g has a unique fixed pointy which clearly satisfies x = f(y).
Then {Oi; i = -1, 0, 1, 2, ... } is an open covering of Rn. Let >. be a function
in C{f"(Rn) satisfying supp>. C {y; IYI < 1}, >.(y) = 1 for IYI < 1/2,0 ::;
>.(y) ::; 1 in Rn. If we set
SUPPT/o c 0, SUPP'Tl-1 c Rn \ 0,
'flo(x) = 1 for x E 0 and dist(x, 80) > 3j(4N),
'flo(x)=O for xEO and dist(x,80)<1/(2N),
T/-1(x) = 1 for X rj. 0 and dist(x,80) > 3/(4N),
'fl- 1 (x)=0 for xrj.O and dist(x,80)<1/(2N).
Put 11(x) = 2::::_ 1 T/i(x). Since {Oi; i = -1, 0, 1, 2, ... } is an open covering
of Rn such that at most N + 2 of Oi have a nonempty intersection, we have
1::; 'fl(X) ::; N + 2 in Rn and 'fl E cm(Rn). If we put
(3.130)
(3.131)
k=1
Xn <0
(3.132)
Then
(i) u E cm(Rn) ifu E cm(R~),
(ii)u E C[f(Rn) if u E C(f(R+)·
There exists a constant Cm depending only on m such that for any 1 :::; p :::; oo
and 0:::; j:::; m
(3.133)
Proof. The existence of ,\ 1 , ... , Am+l follows from the nonvanishing of the
determinant of Vandermonde. The remaining part of the lemma is easily
shown.
Theorem 3. 14 Let m be a natuml number. If n is an open set uniformly
regular of class C 1 , then wm·=(n) = Hm·=(n).
Proof. We may confine ourselves to the case m = 1. In view of Lemma
3.12 it suffices to show that W 1 ·=(n) c H 1 ·=(n). Let u be an arbitrary
element of W 1 ·=(n). Then by Lemma 3.13 u is Lipschitz continuous on
each compact subset of n if we modify the values of u on a null set, and
(3.124) holds for ix - Yi < dist(x, &n). Let X and y be two points of n
belonging to some oi, i ~ 1. If we set
then 'Y = {x(t); 0:::; t:::; 1} is a path of class C 1 connecting X andy in Oi.
In view of (3.129) there exists a constant C independent of i such that
Taking points xo = x,x1,·· ·,xk-1,xk = yon "f so that lxi+1- xil <
dist('Y, 0) we get in view of Lemma 3.13 that
Hence,
k-1
iu(y)- u(x)l ::; E lu(xH1)- u(xi)l
i=O
k-1
::; A E lxi+1- xi I ::; AI'YI ::; ACix- Yl· (3.135)
i=O
(3.137)
108 CHAPTER 3. SOBOLEV SPACES
Proof. Since u E em- 1 (R'+), it follows from Lemma 3.15 that u E cm- 1 (Rn).
If X= (x1, ... , Xn), y = (yl, ... , Yn), Xn < 0, Yn;::: 0, Ia I :::; m- 1
=L
m+l
Dau(x)- Dau(y) .>..k( -k)a" (Dau(x1, ... , Xn-1, -kxn)- Dau(y)).
k=1
Proof. First consider the case 1 :::; p < oo. In view of Theorem 3.13 it
suffices to define Eu for u E e 0 (0). Let { Oi}, { oa, {
<I>i}, {wi}, N, M be
as in the definition of uniform regular domains of class em, and {(i} be the
family of functions defined by (3.130). Put Ui = (iu. Let vi, i > 0, be the
functions defined by
Yn > 0
Yn <0
then in view of Lemma 3.15 viE ef!"(Rn), suppvi C {y; IYI < 1},
(3.140)
3.7. UNIFORMLY REGULAR OPEN SETS 109
Next, if we put
Set u =E:o ui. Let In I ::; m. Since for each x only at most N + 1 of
D<>ui(x) are different from 0,
(3.143)
(3.144)
llull~,p = r L
}Rn lal::;m
IDau(x)IPdx
(3.145)
Since N +2 of {Oi} have an empty intersection, the last side of (3.145) does
not exceed
c rL
Jnlal:c;m
jDau(x)IPdx = Cllull~,p,fl'
Evidently uln = u. Thus, by putting Eu = u, we complete the proof of the
case 1 ::; p < oo.
Next suppose p = oo. For u E wm,=(n) let the functions Vi, Vi, Ui be
110 CHAPTER 3. SOBOLEV SPACES
defined as in the case 1::; p < oo. Since u E Hm,oo(O) in view of Theorem
3.14, it is clear that ViE Hm,oo(R'+), and
(3.146)
(3.148)
we have
(3.149)
(3.151)
3.8. EMBEDDING THEOREMS 111
Hence
(m-2)/(m-1) I 11/(m-1)
II U II m-2,p,!l:::; C (I U lm-1,p,!l U O,p,!l + IU IO,p,!l ) · (3.153)
m I cm-1)/ml 111m m- 2 I I
:::; 2(m- 1) u 1m,p,n u o + 2(m- 1) u o,p,n,
lcm-2J/cm-1JI
Ium- 1 p" 11/(m-1)
Uop"
<
_
m- 2 I I
--EUm-1p!l + - -1E2-ml Uop!l·
I
, ,o~~ ' ,u; m- 1 ' ' m- 1 ' '
112 CHAPTER3. SOBOLEVSPACES
(3.155)
Applying Young's inequality to the first term in the bracket of the right
hand side of (3.153) we get
(j+1)/ml U 11-(j+l)/m
II U II j+1,p,!l:::; C (I U lm,p,!l O,p,!l + IU IO,p,!l ) . (3.157)
Replacing m by j + 1 in (3.151)
j/(j+1) 1/(i+1) + lulo,p,n ) ·
llullj,p,n :::; C ( luli+l,p,nlulo,p,n (3.158)
(3.159)
By Theorem 3.16
+lul;,:;,nlul6::n1)/m + lulo,p,n]
-< c(lulb+(1-b)/mlul(m-1)(1-b)/m
m,p,O O,p,O + lulbm,p,O lul1-b
O,p,O
+lul;,:;,nlul6::n1)/m + lulo,p,n)
Since b + (1- b)/m =a, 1- b = m(1- a)j(m- 1), we get
Noting b:::; a, 1/m :::; a and applying Young's inequality to the right hand
sides of
b IU 11-b
IU lm,p,O O,p,O = (1 U Iam,p,O IU 11-a
O,p,O )b/a IU l(a-b)/a
O,p,O '
1/m (m-1)/m = ( lulm,v,nlulo,p,n
lulm,v,nlulo,p,n a 1-a ) 1/am lulo,p,n
(am-1)/am
'
we get from (3.162)
:::; C (lul(m-l)b/mlulb/m+l-b
m,p,O O,p,O
+ lulo ,p,n)
Case 1/m:::; a:::; 1, r < oo. Lets be a number such that 1/s = 1/n + 1/r.
Then 1/s = 1/n + 1/p- amjn,p :::; s < r. Since m- 1- njp is not a
nonnegative integer, by what is already proved in case j > 0
On the other hand from the result of the case m = 1 (note that 1 - nj s =
-njr < 0)
lulo,r,n :::; Cllulh,s,n· (3.166)
The inequality (3.164) follows from (3.165) and (3.166).
Case 1/m :::; a :::; 1, r = oo. In this case a = njmp < 1 since otherwise
we would have m- njp = 0 contrary to the hypothesis. Let 1/s = 1/n +
1/p- mjn. Then n < s < oo. Applying Theorem 3.3 with 1, 0, s,p, njmp
as m,j,p, q, a we get
IEulo,oo:::; CIEui~:SmpiEul~;;nfmp,
where E is the operator of Theorem 3.15 for m = 1. Hence
Case 0 ::; a < 1/m. Put b = amj(m- 1). Then 0 ::; b < 1 and 1/r =
1/p- b(m- 1)/n. Hence by induction assumption
lulo,r,n::::; C ( lulm-1,p,nlulo:;;,n
b 1 b
+ lulo,p,n ) · (3.169)
where a is the number satisfying 1/r = jjn + 1/p- amjn = mjn- amjn,
i.e. jjm::::; a= 1- njmr < 1.
Proof. The proof of the case m = 1 and of the case j > 0 under the
assumption that the conclusion of the theorem is true for m - 1 is the same
as that of the previous theorem. Supposing that the theorem has been
proved for m - 1 we are going to show that the assertion of the theorem is
true for m and j = 0:
(3.172)
for njm = p ::; r < oo. First we consider the case r 2 nj(m- 1). Let
1/s = 1/n + 1/r. Noting 1/m ::::; 1- njmr we apply Theorem 3.17 with
= =
j 1,p njm, a= 1- njmr to obtain
The following two theorems are verified with the aid of Theorem 3.9,
Theorem 3.10 and Theorem 3.16.
Theorem 3. 19 Let 0 be an open set of Rn uniformly regular of class
C 2 • Let m, j be integers satisfying 0 :::; j < m, and let 1 :::; p :::; oo.
Suppose m - j - njp > 0. Then for any r satisfying p :::; r :::; oo we
have wm,P(O) C Wi,r(O) and for any u E wm,P(O)
In particular
JJuJJm-n/p,oo,n :S 'YJJuJJm,p,!l·
(ii) Ifnjp is an integer, then for each s satisfying 0:::; s < m-njp we have
wm,P(O) c B 8 (0). (3.175) holds for each integer j such that 0:::; j:::; l =
m- njp- 1. For 0:::; h < 1 (3.176) holds with a constant depending also
on h. For 0:::; s < m- njp (3.177) holds with a constant 'Y depending also
on s.
(i) If m- j -njp is not a nonnegative integer, p::; r ::; oo, j jn+ 1/p-mjn::;
1/r, then wm·P(O) c Wi,r(O), and there exists a positive constant 'Y such
that for u E Wm•P(O)
(3.178)
Proof. (i) It suffices to prove the theorem for j = 0. We begin with the case
m = 1. What is to be shown is that if 1- njp is not a nonnegative integer,
p::; r::; oo and 1/p- 1/n::; 1/r::; 1/p, then W 1•P(0) c U(O). In view
of Theorem 3.7 we have W 1 ·P(Rn) c U(Rn). Let E be the operator of
Theorem 3.15 form= 1. If u E W 1 ·P(0), then Eu E W 1·P(Rn) C U(Rn).
Hence u E Lr(O). Next, suppose that the conclusion of the theorem is
true for m - 1, i.e. if m - 1 - njp is not a nonnegative integer, p ::; s ::;
oo, 1/p-(m-1)/n::; 1/s, then wm-l,P(O) c £8(0). Assume that m-njp
is not a nonnegative integer, p ::; r ::; oo, 1/p- mjn ::; 1/r. Then, clearly
m - 1 - njp is not a nonnegative integer. Put
!
s
= max {! - 1,!} .
p
m-
n r
(a) If 1/p- (m- 1)/n > 1/r, then 1/s = 1/p- (m- 1)/n < 1/p. By
the induction hypothesis we have wm-l,p(O) C £8(0). Hence Wm•P(O) C
W 1•8 (0). Since 1- n/s = m- njp is not a nonnegative integer and 1/s-
1/n = 1/p- mjn::; 1/r < 1/s, we have W 1•8 (0) c Lr(O) by the result
shown in case m = 1. Hence wm,P(O) c Lr(O).
(b) If 1/p- (m- 1)/n ::; 1/r, then wm-l,P(O) C Lr(O) by the induction
hypothesis. Hence wm,P(O) C Lr(O).
(ii) The conclusion in case m = 1 is established with the aid of Theorem
3.8 in place of Theorem 3.7 in the proof of (i). Suppose that the theorem
has been proved form- 1. Assume that m- njp is a nonnegative integer
and p::; r < oo. If m- 1- njp is a nonnegative integer, then Wm•P(O) C
wm-l,P(O) c Lr(O). If m- njp = 0, then m- 1- njp = -1 is not a
nonnegative integer. Hence in view of the first part (i) we have wm,P(O) C
W 1 •n(O). If r ~ n, W 1 •n(O) C U(O) by Theorem 3.8. Hence wm,P(O) C
U(O). It is evident that this inclusion relation also holds for njm = p::;
r < n since wm,p(O) c LP(O).
n
For a nonempty open set of Rn, a nonnegative integer m and 1 ::; p < oo,
we denote by ~·P(n) the closure of C(f(n) in wm,v(n).
Theorem 3. 25 Let n be an open set of Rn uniformly regular of class
em, m > 0, and 1::; p < oo. An element u ofWm,v(n) belongs to ~·P(n)
if and only if
"foU ="flU=···= "fm-lU = 0.
If the following conditions are satisfied, then n is said to have the re-
stricted cone property.
There exist an open covering { Oi; i = 1, 2, ... } of an and a sequence of
open cones {Ci; i = 1, 2, ... } with vertices at the origine such that x+Ci C n
for each i and X E n n oi. There exists a positive number r such that for
each X E an the ball {y; IY -xi ::; r} is contained in some oi. There exists
a natural number N such that N + 1 of Oi has an empty intersection. If
we denote the opening and the height of Oi by fh and hi respectively, then
inf ei > 0, inf hi > 0, sup hi < oo and diamOi ::; hi.
If n has the restricted cone property, then imbedding theorems and Rel-
lich's theorem hold if 1 < p < oo. The proof is based on Calderon's extension
theorem which is established with the aid of Theorem 2.10.
Chapter 4
121
122 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
if
L(x, D) kK(x, y)f(y)dy = f(x) (4.3)
and if n is even,
where
_t.(n+q)/2 r
}Rn
lx-ylqf(y)dy=.t.
}Rn
r _t.(n+q)/2-llx-ylqf(y)dy
if n > 2 and
q is odd
(4.8)
q is even
r
}1~1=1
(x~)q log X~ da~ =
2
r
}l~l=1,x~>O
(x~)q (log(x~) - ii) M~
+ r
Jl~l=1,x~ <0
(x~)q (log lx~l + ii) da~
= f (x~)q (log(xO- ii) da~
Jl~l=1,x~>0
+( -l)q r
}l~l=1,x~>O
(x~)q (log(x~) + ~i) da~
2
124 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
= (1 + ( -1)q) r
Jl~l=1,x~>O
(x~)q log(x~)do-~
+((-1)q-1)ii r
Jl~l=1,x~>O
(x~)qdo-~
= 1+ ~1)q r
}1~1=1
lx~lqlogjx~ldo-~ + ((-1)q -1) 7r4i r
}1~1=1
lx~lqdo-~.
Next we show
and
r
}1~1=1
lx~lq log lx~ldo-~
= 27r(n- 1)/2r ( q; 1 ) lxlq (log lxl + Cn,q) j r ( n; q), (4.10)
r
}1~1=1
lx~lqdo-~ = lxlq r
}1~1=1
l6lqdo-~. (4.11)
r
}1~1=1
l6lqdo-~ = 2 r
}1~1=1,6>0
~~do-~
= 20n-1 1 1 tq(1- t 2 )(n- 3 )12 dt = On-1 1 1 s(q- 1)1 2 (1- s)(n- 3 )12 ds
= 0 n_ 1 B ( q; 1, n; 1) = 27rcn-1)/2r ( q; 1) I r ( n; q) .
Analogously (4.10) follows from
r
}1~1=1
lx~lq log lx~ldo-~ = r
}1~1=1
(lxll6i)q log(lxll61)do-~
r (- 2
1)
q +- r (q 2) - 1
-+2- -n-12q2-
q!
we have
K(x) = K1(x) + c~,qlxlq,
where c~,q is a constant depending only on n and q. By virtue of Lemma 4.1
K1(x) is a fundamental solution of b.(n+q)/2. Since lxlq is a polynomial of
degree q, we have b. (n+q)f 2 lxlq = 0. Hence K(x) is a fundamental solution
of b. (n+q)/2.
By virtue of Lemma 4.2 we have for¢ E C 0 (Rn)
1
</>(x) =- (27!"2")n q.1
W(x) =
1 r (x.;)m+q x.;
(4.14)
(2ni)n(m + q)! }1~1=1 L(~) log Td~~
(-dd)m
Since
(m+q)l s
F(s) = sq log + constsq,
1 "7
s q. 2
we have
Hence,
L(D)W(x) =
=- ~n i).(n+q)/ 2
(2nz) q!
r ¢(y) r
} Rn }lf.l=l
[(x-y)~]qlog(x~y)~duedy.
z
By (4.12) the last side is equal to ¢(x). Thus K(x) is a fundamental solution
of L(D).
Next we show that K(x) is analytic in x f:- 0. Let Tf be a fixed vector in
Rn such that I'Tfl = 1. For x such that lxl + X'Tf > 0 put
-
- lxl
m+q r ((Tf)m+q
log lxl }lc';l=l L(T((, x)) dac; + lxl
m+q r ((Tf)m+q ('T/
}lc';l=l L(T((, x)) log i dac;.
This show that W (x) is analytic in lx I + X'Tf > 0. Since Tf is arbitrary, W (x)
is, and hence K(x) is analytic in x f:- 0.
We denote by Kq(x) the fundamental solution constructed by (4.13),(4.14),
and investigate its dependence on q. Letting one of fl. operate under the
integral sign
'lj;q(x) =
2m+ 2q - 1 6. (n+q-2)/2 r
(x~)m+q-2 d
(4.16)
(2ni)n(m + q)! }l~l=l L(~) a~.
If n is odd, then so is q- 2. Hence, the integral of (4.16) vanishes since the
integrand is an odd function then. If n is even and m < n, the right hand
side of (4.16) vanishes, since the integral is a polynomial of degree m + q- 2.
If n is even and m ~ n, 'lj;q is a homogeneous polynomial of degree m - n.
Therefore, in any case we have
(4.17)
q is odd
q is even
Hence, if n is odd
Wx =
1
( ) 4(2ni)n- 1 (m + q)!
1 lel=l
jx~jm+q
L(~) dCJ,
e
(4.18)
and if n is even
1 r (x~)m+q
(4.19)
W(x) = - (2ni)n(m + q)! Jlel=l L(~) log lx~jdrJe.
Hence if we put
we have
W(x) = '~h(x) + 'I/J2(x) log lxl,
'I/J1(x) is homogeneous of degree m + q, and 'lj;2(x) is a homogeneous poly-
nomial of degree m + q. Thus, we conclude the proof of the theorem.
- 1
K(x)-- (2 ')n ,~
n/21 (x~)m I I
L(C) log x~ da~. (4.20)
7r'l m. 1~1=1 .,
Since for lo:l = m
Da [(x~) m log lx~IJ = (m! log lx~ I + const )~a,
1
we get
Da 1 (x~)m
-(C) log lx~ld~ =
1~1=1 L ., 1~1=1
(m! log lx~l
~a
+ const) L(C) da~
.,
= m! 1 1~1=1
~a
L(C) log lx~lda~
.,
+ const
= m!
{ ~a { ~a I I
Jl~l= 1 L(~) da~ log lxl + m! Jl~l= 1 L(~) log j;f~ da~ + const.
X
With the aid of this relation and (4.20), and noting ~nf 2 log lxl = 0 we
obtain
a
D K x -
1_An/2
() _ _ _
(27ri)nu
{ L1 ~~C~d
Jl~l=1 L(~) og lxl"' a~.
The right hand side of this equality is obviously homogeneous of degree -n,
and satisfies (2.2) by Theorem 2.10.
Next, we show that for u E Clf(Rn)
f f K(x- y)L(D)u(y)dy¢(x)dx
JR" JR"
= f L(D)u(y) f K(x- y)¢(x)dxdy
JR" JR"
= f u(y)L(-D) f K(x- y)¢(x)dxdy = f u(y)¢(y)dy.
JR" JR" JR"
This implies that (4.21) is true.
We use the same notation I · lm,p,n, etc. as those introduced in section
3.4.
130 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
(4.22)
(4.23)
L 0 (x,D) = L aa(x)Da:.
lo:l=m
Let ~' 'f/ be linearly independent real vectors. Owing to the ellipticity of L
the polynomial L 0 (x, ~ + T'fl) of the variable T has no real roots. In what
follows we assume the following conditions.
SMOOTHNESS CONDITION on 0. 0 is uniformly regular of class em.
SMOOTHNESS CoNDITION on L. For lal = m aa: is bounded and uniformly
continuous inn, and for lal < m aa: is bounded and measurable inn.
ELLIPTICITY CoNDITION. L is uniformly elliptic in n, i.e. there exists a
positive constant c such that for any X E n and ~ E Rn
(4.24)
RooT CoNDITION. For every pair of linearly independent real vectors~. 'f/
the polynomial L 0 (x, ~ + T'fl) of the variable T has equal number of roots
with positive imaginary part and with negative imaginary part.
Due to the Root Condition the order m of L is even, and L 0 (x, ~ + T'fl)
has exactly m/2 roots with positive imaginary part. It is easy to verify that
if n ~ 3 all elliptic operators satisfy the Root Condition, since if T is a root
for~' 'f/ then -Tis a root for -~, -ry and a sphere in Rn- 1 is connected.
4.3. ORDINARY DIFFERENTIAL EQUATIONS 131
l (d) =~
dt u
m
J=O
diu
am-j dti = 0, t > 0, (4.26)
Let .A 1 , ... , Ap and Ap+l, ... , Ap+q be the distinct roots of l(T) with negative
and positive real part respectively, and Vj be the multiplicity of Aj· The
132 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
As is easily seen u(t) given by (4.28) belongs to £ 2 (0, oo) if and only if
Cj,k = 0 for j > p:
p Vj
l(djdt)u(t) = 0. (4.30)
If the m/2 coefficients cj,k in (4.29) are uniquely determined by the initial
conditions (4.27), then the problem (4.30),(4.27) has a unique solution. We
wish to express this condition in an easily visible form.
_1_1
27r2. "!
PJL-1-j(T) kd _
( ) T T -
p T
$:.
UJk• (4.31)
obtain (4.31). If k = j,
The desired result in this case is obtained as in the case k < j. If k > j,
( ) k J-L-1-j
PJ-L-1-j T k T ~ K
p(T) T = p(T) ~ (XJ-L-1-j-KT
k-j-1 ( j ) k-j-1 j
= ~(T) p(T)- l:aJ-L-KT" = Tk-j- 1 - ~(T) l:aJ-L-KT".
p K=O p K=O
1
- 27ri
1 k-j-1
-y T p(T)
j
~ (XJ-L-KT"dT.
Hence, we obtain the desired resuslt also in this case as in the case k < j.
We set
m/2
~A k
= L...,; am/2-kT
A
l(T) ,
k=O
and for j = 0, ... , m/2- 1
j
A
k=O
-21 . 1 1-lmj2-k(T)T3"-1 dT
A
= Djk, (4.32)
1r'l -y [ ( T)
-A
134 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
where "f is a rectifiable Jordan curve enclosing all the roots of [ Conse-
quently the function u defined by
(4.33)
(
d
dt
)j-l u(O) = Cj, j = 1, ... , m/2. (4.35)
m/2
:2::: ckbJk = gj, j = 1, ... , m/2, (4.37)
k=l
is a necessary and sufficient condition in order that the initial value problem
(4.26),(4.27) has a unique solution belonging to £ 2 (0, oo) for any g1, ... , gm/2·
The condition (4.38) is equivalent to the condition that bi (T), ... , b~ 12 (T)
are linearly independent or b1(T), ... , bm; 2(T) are linearly independent mod-
ulo the polynomial l(T), i.e. a linear combination ..\1b1 (T)+ · ·+.Am;2bm;2(T)
4.4. CASE OF CONSTANT COEFFICIENTS 135
(4.39)
It is easy to show
(4.40)
where
where f,' = (~1, ... • ~n- 1 ) E Rn- 1. The partial Fourier transform of func-
tions u E L 2 (R~_) with respect to x' is defined by
1
2ni
1
"Y
T
k g
U
L(~ 1 , T) aTL(~ 'T)dT
1
m~
~
= ~ Tj(~)
I k
(4.48)
(imj-k+lbjk(~')rl = w-mk-llJ.ik(e))'
and hence im/ 2 -m3- 1Nj(e, -iT) in place of nj(T). Let 'Y be a rectifiable
Jordan curve enclosing all the roots of M+(e, T) for a fixed i- o. Then i'Y e
encloses all the roots of M+(~', -iT). Applying (4.39) to the present case
we get
u(e
'
X)=~
n
___!__1 Nj(e,T) ei:r:,.TdT·i-m3g·(~').
L...J 21ri M+(CI T) J
(4.49)
j=l "( "' '
___!___
21ri
11
Ni(e, T)Bk(~', T) dT
M+(~',T)
= O·k·
3 (4.50)
(4.53)
138 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
where"' is a Jordan contour enclosing all the roots of M+(.;, r). If u(x, t) is
the solution of (4.51),(4.52) belonging to wm• 2 (R~), then its partial Fourier
transform with respect to x is by (4.49)
The functions Kj, j = 1, ... , m/2, called Poisson kernels, are defined in R~
as follows: for mj 2 n - 1
Kj(X, t) = - 1
(2ni)n(mj - n
r
+ 1)! Jlel= 1
dne
where dae is the area element of the unit sphere in Rn- 1 and"' is a Jordan
contour in the half plane Imr > 0 enclosing all the roots of M+(.;, r) for all
1.;1 = 1.
Let C>.,J.L be the constant such that
:>.
( _!}__)
dz
[z>-+J.L (log~z + C>. ,J.L )] = (A+
~-t!
~-t)! zJ.L log~z (4.57)
for nonnegative integers A, f.t. The existence of such a constant is easily seen.
It is also easy to show that for f.t < 0, A+ f.t 2 0
X 1"'
Nj (.;, T) m +q (
M+(.;, r) (x.; + tr) 3 log
x.; + tr
i
) d
+ Cn+q-1,m;-n+1 T,
4.5. POISSON KERNELS 139
1
we have
D 1Kj,q(X, t) = r F(f,, r)(xf, + tr)mj+q-lda-edT,
l1e1=1 "~
_ ( -1)l-m3-q _ . _ _ I Nj(f,, T) l
F(f,, T)- (27ri)n (l mJ q 1). M+(f,, r) (f,, r) '
where (f,, r) 1 is the value obtained by replacing Di, Dt by f,i, Tin D 1 respec-
tively. Hence D 1Kj,q(x, t) is homogeneous of degree mj + q- l. The proof
will be complete if we show that this is bounded on the hemishere :E. For
that purpose it suffices to show in view of Lemma 4.4 that the inequalities
IDk D 1Kj,q(x, t) I~ Cjt, k = 0, 1, 2
holds on :E. Replacing k + l by l we are going to show that for l 2:: mj + q + 1
ID 1Kj,q(x, t)l ~ Cjt, (x, t) E :E. (4.65)
If t 2:: 1/2, then (4.65) clearly holds. Suppose 0 < t < 1/2. Let ( be a
function in c=([-1, 1]) such that ((r) = 1 for lrl ~ 1/2 and ((r) = 0 for
3/4 ~ lrl ~ 1. We write
D 1Kj,q(x, t) = I1 + I2,
11 = r
llel=1 "'
1(~(f,, T)) ((xf,)dnfne,
+ tT
1(~(f,,
X J.1.
h = r
llel=1 "' X
T\ (1- ((xf,))dTdrYe,
+ tT J.1.
4.5. POISSON KERNELS 141
I1 = 11 1711=1 'Y
F(Tx-1'fl,T) (I I ) d
(I I
X 'T/1 + tT
Y' ( x 'T/1 dT a71 •
Since 0 < t < 1/2 we have lxl ~ ..j3!4. Hence the integrand of the above
integral vanishes for I'T/1I > ..j3!4. Therefore writing 'f1 1 = ('T/2, ... , 'T/n-1) we
have
I1 - -1 171'1=1
da
71 ,
1..j374
-v'3;4
1 d'T/1
-y
F(T;- 1 iJ, T)((lxi'T/1)
(lxi'T/1 + tT)
J-L
( 1 _ 'T/2)n/2-2 dT,
1
r,
where = ('T/1. (1- ,.,n 112'T/'). Integrating by parts f-L- 1 times with respect
to 'T/1 yields
II11 = 1
(t-L- 1)!jxl~-'- 1 }171'1=1
1 r c1a 71' r-.fi74 d,1
J--.fi74
X i (lxi'T/1+tT)- 1 (a~JJ-L- 1 [F(T;- 1 fJ,T)((Ixi'T/1)(1-'fl~r/2 - 2 ] dT'
Noting lxl ~ ..j3!4, llxi'T/1 +tTl > timT and that (8 ;a,.,l)~-'- 1 [ ] is bounded
we obtain III :::.; C ft. Combining this with (4.66) we conclude (4.65).
Ln-t
m/2 m/2
u(x, t) =~ Kj(X- y, t)gj(y)dy = ~ Kj * gj (4.67)
(4.68)
142 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
Let q be the largest integer with the same parity as n - 1 and satisfying
q ::; l - mi + 2. Since n + q - 1 ::; n + l - mi + 1 we get with the aid of
(4.61) and integration by parts
Uj(X, t) = r
}Rn-1
~~n+q- 1 )1 2 Kj,q(x- y, t)gj(y)dy
= { Kj,q(x- y, t)~ (n+q- 1)1 2gi(y)dy. (4.69)
}Rn-1
X 1N~(~,
"' M
r)
(~, r)
Bk(~, r)(x~ + tr)m3+q-mk (log x~: tr +canst)
z
dr.
(4.70)
Bk(D)uj(X, 0) = Ln- 1
Bk(D)Kj,q(X- y, 0)~ (n+q- 1)f 2gj(y)dy
Bk(D)Kj(x, 0) = 0. (4.72)
Ln- 1
Bk(D)Kj(X- y, 0)</J(y)dy = 0.
Let ( be a function in CQ" (Rn- 1 ) such that ((x) = 1 for lxl < p where p is
a positive constant. If we set
W1 (x, t) = Ln-
m/2
~ 1
Kk(X- y, t)((y)Dm-mj gk(y)dy,
= ~ Ln-
m/2
Wz(X, t) 1
Bj(D)Kk(X- y, t)(1- ((y))Dm-mjgk(y)dy,
then
(4.74)
Since
(Dm-m3gk E c;+Hmo-mk+mj(Rn-1) C c;:+Hmo-mk(Rn-1),
Suppose lxl < p/2. If 1- ((y) # 0, then IYI 2:: p, and hence IYI/2 :::; lx- Yl :::;
3IYI/2. Therefore, in view of (4.73)
Consequently
k=1 }IYI>P
1Yimk-mrn(1 + pog IYID
This shows that w2(x, t) -+ 0 as t -+ 0 for lxl < pj2. Combining this
with(4.74),(4.75) we obtain Uj(x, t)-+ Dm-m3gj(x) in lxl < p/2. Since pis
arbitrary we complete the proof.
K(x, t)
Kp,(x, t) = { 0 (4.78)
{ Kp,(x, t)e-ix€dx
l
}Rn-1
l 1
L:
11-P . 8 n-2ds
= il(a-)da- e-Mcoscj> _ _ _--:---::.,..-;=-
L: 0 (s2 + t2p2)(n-1)/2
= l L:
il(a-)da- 1o
11-P .
(€-MCOScj> _ €-8)
(s2
sn-2ds
+ t2p2/n-1)/2
• (4.79)
146 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
Dividing the inner integral into the real and imaginary parts
1
o
J.LP .
(e-Mcos¢- e-s)
(s2
sn-2ds
+ t2p2/n-1)/2
= 11 + I2i, (4.80)
1
~ ~~~
It= (cos(scos¢)- e-s) ( 1);2 ,
(s2 + t2p2) n-
12 =- 1 J.LP
sin(scos¢)
sn-2ds
( 1);2 ·
(s2 + t2p2) n-
1
If p,p:::; 1
II1I:::;
1
icos(scos¢)- e-sl d: :=:; B, (4.81)
+roo
:::; B
} 1
e_ 8 ds
s
+I t"p
}1
cos(scos¢) sn- 2 ~:-1)/21·
(s2 + t2p2)
(4.82)
Suppose cos¢ > 0. Making the change of the variable s ---+ s /cos¢ and
setting b = tp cos ¢
1 J.LP
cos(scos¢)
8 n-2ds
( _ 1)/ 2 =
(s2 + t2p2) n cos¢
1J.Lpcos¢
coss
8 n-2ds
(s2 + b2)
(n- 1)/2 .
(4.83)
If p,pcos¢:::; 1, the absolute value of the right hand side of (4.83) does not
exceed
{1 ds = log _1_.
lcos¢ s cos¢
If p,pcos¢ > 1, we divide the integral of the right hand side of (4.83) into
the part over (cos¢, 1) and that over (1, p,pcos¢). As for the first part
1 J.LP cos</>
cos s
8 n-2 ds
(s2 + b2/n-1)/2
= 1
1
a ds
cos s - -
s +b
By virtue of (2.19),(2.20) the first term of the right hand side of (4.85) is
estimated as
lo oo I---...,---;-;-;::-
n-2
8
(s2 + b2)(n-1)/2
- -1- ds -
s+ b -
I loooo ----;----;-;-;::-
Tn-2
(T2 + 1)(n-1)/2
- - - IdT
+ 1
T
1
'
ll 1
J.LP
cos(scos¢)
8 n-2ds I 1
( )/ ::; const +log --:i:·
(s2 + t2rJl-) n- 1 2 cos 'I'
I2 = - lo asin s ----,----,-,--=-
sn-2ds
(s2 + b2)(n-1)/2
- - r sin s-d_s_
s+b }
- r sins ( sn- 2
(s2 + b2)(n-1)/2
- - 1-) ds
s+ b '
1r·
- }0 0
II sins 8 ~ bl ~ sin(s- b) ~I
= Icos b lb a+b sins-;
ds la+b cos s-;ds I
-sin b b
< lo oo I n-2 8
- -1- Ids = const.
- (s2 + b2)(n-1)/2 +b 8
148 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
rp (e-is
Jo
cos c/>
-e
-s) sn- 2ds 1
(s2+t2p2/n-1)/2 :::;const+loglcos¢1' (4.87)
=lim
JL--+oo
1 JLP .
(e-Mcosc/>_e-s)-
ds
!)
S
(K(·, t) * f)(x) = r
} Rn-1
K(x- y, t)f(y)dy = lim r
JL--+00 } Rn-1
KJL(x- y, t)f(y)dy
Next we consider the following more general integral kernel defined in the
half space R'J:_:
K(x, t) = 0 ( jPj'
X t ) /( lxl 2 + t 2)(n-1)/2 ,
jPj (4.89)
where P = (x, t), IPI = (lxl 2 + t 2) 112 . O(x, t) is a function defined and
continuous on the hemisphere lxl 2 + t 2 = 1, t ~ 0, and satisfies a uniform
Holder condition at points on the planet= 0: for lxl = 1, IYI 2 +t2 = 1, t ~ 0
IO(x, 0)- O(y, t)l ::; c1 (lx- Yl 2 + et12 ' c1 > 0, 0 < p::; 1. (4.90)
Furthermore it is assumed that
K1 ( x, t ) = 0 ~· 0
X ) /(
lxl 2 + t 2)(n-1)/2 ,
K2(x,t)= [ 0 (
X t ) -0
jPj'jPj
Then
K(x, t) = K1(x, t) + K2(x, t). (4.92)
Since
we have
Hence
r
}Rn-1
IK2(x, t)l dx::; 2P/ 2C1tP r
}Rn-1
d~n-1+
(lxl2 + t2)
)/2 ::; c2.
P
(4.93)
u(x, t) = Ln- 1
K(x- y, t)f(y)dy.
150 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
Then
Here by definition
we have
IG(x, t)l < f!(x/IPI, t/1~1)' p = (x, t).
- (lxl2 + tzt 2
For v E LP(R~), 1 < p < oo, set
Jkn +
iu(x, t)IPdxdt:::; C Jkn +
lv(x, t)IPdxdt.
Jk.n
iu(x, t)l:::; M(x- y, t + s)iv(y, s)idyds
= Jkn
+
M(x- y, t + s)iv(y, s)idyds = u*(x, t).
By virtue of Lemma 2.1 the above integral exists almost everywhere in R'f-.
Applying Theorem 2.6 we conclude
Jk.n+
iu(x, t)IPdxdt:::; Jk.n iu*(x, t)IPdxdt:::; const Jk.n +
lv(x, t)IPdxdt.
Then for some constant C independent off the following inequality holds:
(4.95)
Since
we have
(Ln- 1
1
lv(x, t)IPdx) /p:::::; (Ln- 1
1
lf(x)IPdx) /p + t 1- 11Pivh,v,R+. (4.97)
Noting (4.96)
u(x, t) = kn- 1
K(x- y, t)v(y, O)dy
+ kn- 1
K(x- y, t + T)v(y, T)dy
=- { {T D 8 K(x- y, t + s) · v(y, s)dsdy
}Rn-1 Jo
- { {T K(x- y, t + s)D8 v(y, s)dsdy
}Rn-1 Jo
+ kn- 1
K(x - y, t + T)v(y, T)dy.
Since
(4.99)
4.6. PRELIMINARIES ON INTEGRAL KERNELS 153
it follows that
(r
1/p'
IDiK(y, t + T)lp' dy) :::; const(t + T)- 1-(n- 1)/P.
}Rn-1
-J.L.
+
DiK(x- y, t + s) · D 8 v(y, s)dsdy. (4.100)
+
Analogously to (4.99) we have
Jk+
1/p
( )
IDiu(x, tW dxdt :::; constlvh,v,R+ :::; constlfh-1/p,p,R"-t.
Remark 4. 1 In the proof of Theorem 4.7 the condition (4.91) is not nec-
essary. It is shown in [11] that if DlK(x, t) exists and is bounded on the
hemisphere :E, then the inequality (4.95) also holds for Dtu.
We verify that the theorems of this section can be applied to the kernel
+L
n-1
Df' K(x, t) ckDkDa(k) K(x, t) = 0. (4.102)
k=1
154 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
{ DtK1(x, t)dx = 0.
}Rn-l
{
j Rn-t
DtK1 (x, t)dx = {
j Rn-l
0 (-lxl,
X
o) Dt (lxl 2 + t 2 ) ( 1 -n)/2 dx
hO(a, la +
}Rn-l
oo rn-2dr
= (1- n)t O)da ( +1 );2 •
~ o (r2 t2) n
h
Hence we conclude
O(a, O)da = 0.
4. 7. NONHOMOGENEOUS BOUNDARY CONDITIONS 155
f(x, t) t;:::o
X t - {
f( ' ) - t;
N+1
>..kf(x, -kt) t<O
(4.108)
N+1
2)-k)i>..k = 1, j = 0, 1, ... ,N,
k=1
then v E cN+m- 1 (Rn) and satisfies L(D)v =f. Furthermore, vis infinitely
differentiable outside suppf and by Theorem 4.1
(4.110)
(4.111)
(4.112)
L(D)(u-v) = 0, t > 0,
Bj(D)(u-v)=gJ-hj, j=1, ... ,m/2, t=O,
156 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
Ln-
m/2
u(x, t) = v(x, t) +~ 1
Kj(X- y, t) (gj(Y)- hj(y)) dy.
However, the convergence of the integral of the right hand side is not evident.
Therefore, we show the following theorem instead.
Theorem 4. 8 Let u be a function in CQ"(R~) satisfying (4.106), (4.107).
Then the relation
Dmu(x, t) = Dmv(x, t) + ~
m/2
Ln- 1
DmKj(X- y, t) (gj(Y)- hj(y)) dy
(4.113)
holds in the half space t > 0. Here v,hj are functions defined by (4.109),
(4.111) respectively.
If we put
u- v = w, gj - hj = BjWit=O = Wj, (4.114)
then what is to be shown is
Ln-
m/2
Dmw(x, t) = ~ 1
DmKj(X- y, t)wj(y)dy. (4.115)
Suppose that u and its derivatives of order up tom are absolutely integrable
on each hyperplane t = canst > 0, and those integrals are uniformly con-
vergent in t in every finite interval 0 < E :::; t :::; R. Moreover suppose that u
4. 7. NONHOMOGENEOUS BOUNDARY CONDITIONS 157
then there exists a function g E cm+l(Rf-) such that for every il, 0 0 0 'im =
1, ... ,n
wit, ... ,i,. = Dit ... Dim. g.
We can choose such a function g so that all of its derivatives of order up to
m-1 vanish at the origin, and under this condition g is uniquely determined.
158 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
g(x)
nlax;
= g(x1, ... , Xn) = 2.:::::: wi(x1, ... , Xi-1, Yi, 0, ... , O)dyi,
i=1 °
then
N 2 m + n + 1 2 m + 3, N 2 mo + n + 2. (4.123)
4. 7. NONHOMOGENEOUS BOUNDARY CONDITIONS 159
Ln- 1
D 1Kj(X- y, t)wj(y)dy
then wit, ... ,i., E cmH(.R+) and we can apply Lemma4.9 to the set {wit, ... ,i,J
to find that there exists a function g E C2m+ 1 (R'+) satisfying
Ln-
m/2
Dmg(x, t) =~ 1
Dm Kj(X- y, t)wj(y)dy. (4.125)
Dm(w-g)=O. (4.126)
(4.127)
ID
(iii) for m + 1 ::; l ::; 2m+ 1 the integral fRn- 1 1g(x, t)l dx converges
uniformly in any finite interval 0 < E ::; t ::; R < oo.
Then we can prove (4.126) as follows. Since in view of (4.110) we have
160 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
form:::; l:::; 2m+ 2(:::; N + m- 1), the above statements (i),(ii),(iii) holds
also for w. If we set h = w- g
From (4.128) it follows that DtD';- 1 L(D)h = 0. Rewriting this like (4.102)
we have
k=1
(4.131)
0 = Di D;"- 2 ( Df + ~ ckDkDa(k)) h
n-1
= Df+2 Dr;"- 2 h +I: ckDi Da(k) D;"- Dkh 2
k=1
and using (4.131) we get Df+2 Dr;"- 2 h = 0. Combining this with (4.131) we
obtain Dm+2Dr;"- 2 h = 0. Proceeding in this manner we conclude D 2 mh =
0. This implies that his a polynomial. However, in view of (i) Dmh belongs
to L 2 (Rn- 1 ) on each hyperplane t = const. This implies Dmh = 0, and
(4.126) is established.
4.7. NONHOMOGENEOUS BOUNDARY CONDITIONS 161
Dlg(x, t) =
m/2
~ kn- 1
Dl Kj(X- y, t)wj(y)dy.
Hence setting
r
}Rn-1
IIj(X, t)l 2 dx::; const, t ~ 0, (4.132)
Jinn +
IDxlj(X, t)l 2 dxdt < 00, (4.133)
r
}Rn-1
IDij(X, t)i dx is uniformly convergent
in 0< E ::; t ::; R if m ::; l ::; 2m. (4.134)
The theorems of the previous section can be applied to this kernel according
to the remark at the end of the section. With the aid of (4.64),(4.117) we
can integrate by parts in
to derive
Ij(X, t) = r
}Rn-1
K(x- y, t)w(y)dy
r
Ax!?_>.
IDij(X, t)i dx = r Ir
Ax!?.>. }Rn-1
DK(x- y, t)w(y)dyl dx
$ C { {
}!y!::;_l-' Jlx!?.>.
(lx- Yl 2 + t 2 rn/ 2 dxiw(y)idy
The right hand side is independent of t and tends to 0 as .:\ ---+ oo. Thus
(4.134) is established. In case l - mi is odd, we set
K-(x
t !
t) = DlD·fl(n+q-l+mj-
t X
2 )1 2 K· (x t)
J,q ' '
Wi(Y) = Dill~-mj- 1 )1 2 wi(y).
=I: h
Then
n-1
Ij(x, t) ki(x- y, t)wi(y)dy.
R n-1
i=1
I·J,k (x l t) = 1
Rn-1
DlD k jj.(n+q-l+mr2)/2K·
X J,q
(x-y l t)jj.(l-mj-1)/2w·(y)dy
J '
(4.136)
l
vanishing for lx I > p the following inequality holds:
llullm,p,L:R : : ; C [ IILullo,p,L:R + m~
~[Bju]m-mr1/p,p,O'R + llullo,p,L:R ·
(4.137)
where L 0 , BJ are the principal parts of L, Bj and L 1, BJ are the lower order
parts of L, Bi respectively. Then in view of Theorem 4.9
(4.138)
4.8. PROBLEMS IN UMFORMLY REGULAR OPEN SETS 165
As is easily seen
(c) ifil!i,k(x), Wi,k(Y) are the kth components ofil!i(x), wi(Y) = il!i 1 (y), then
for any i, k, lnl:::; m,x E Oi,Y E Bo
(4.143)
lif!i,o(x') -if!i,o(x)l :::; Molx' -xl, l'~~i,o(y')- Wi,o(Y)I :::; MolY' -YI· (4.144)
For 0 < d < min{Mo/No, 1/2} we set sd = {y ERn; IYI < 1/2, IYnl < d}.
Then U~ 1 wi,o(Sd) contains the d/Mo neighborhood of 80 as is shown as
follows. Let dist(x, 80) < d/M0 • Since d/Mo < N0- 1 we have x E 0~ 0 =
Wi,o( {y; IYI < 1/2}) for some i. If we set y = if!i,o(x), then '
If y E Sdu then y' = {Yl, ... , Yn-l, 0} E P 1. Let d1TJ' be the nearest point
toy' with ry' E Y'. Then IY'- d1TJ'I < -./n- 1dl. Hence
IY- d1TJ'I = {Y; + IY'- d1TJ'I 2}112 < {~ + (n -1)dn 112 = vnd1,
or y E STJ'·
In view of (4.144) we have diamwi,o(STJ'):::; 2y'nd1Mo. We have also
Proof. For 8 > 0 let {Oi}, {<l>i} be the families of open sets and mappings
satisfying the conditions (a), (b), (c) of Lemma 4.11. We construct the par-
tition of unity {(i} subordinate to the families {Oi}, {<l>i} as was done in
section 3.6 with {y; IYI < 8} in place of {y; iYi < 1}. We set ui = (iu for
each i. In case Oi n an is not empty the images of the operators under
the homeomorphism x = wi(Y) satisfy the conditions of section 4.2 in the
half ball {y; iYi < 8, Yn > 0}. Hence, if 8 is sufficiently small we can apply
Lemma 4.10 to ui(wi(Y)), and pulling back to the original coodinates x we
get
Hence following the proof of Theorem 3.15 we conclude the proof of the
present theorem.
168 CHAPTER 4. ELLIPTIC BOUNDARY VALUE PROBLEMS
l
l 2:: max:j=l, ... ,m/2{ m, mi + 1} the estimate
169
170 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
Theorem 5. 1 Under the hypotheses stated above there exists a normal set
of boundary operators {Bj(x, D)};f; such that a necessary and sufficient
condition in order that u E cm(n) satisfies
cj = l::rjkD~-1, (5.8)
k=1
where rk! are operators with the same property as those of (5.8). Therefore
k-1
D nk-1 -_ r-1c
kk k
_ r-1 ~ r
kk L....t kl
nt-1
n ·
!=1
It is easy to show
j
j j k j j
L = L ap.kDJ.L D~,
IJ.LI+kS:m
where f.t = (f.t 1 , ... , f.tn- 1 , 0). With the aid of (5.10)
L L
k
IJ.LI+kS:m i=1
1 D~- u·
O'R
1 (-Dn)k-i(-D)P.(ap.kii)dx'
(5.11)
5.1. ADJOINT BOUNDARY CONDITIONS 173
where
m
Niv = - L L (-D)~'( -Dn)k-i(a~'kv).
k=i II' I:5;m-k
Ni is of order at most m - i. The ellipticity of L implies aom -::/:- 0. Hence
N i _-(- 1)m-i-1-aom Dm-i
n + ... (5.12)
Dni-1 = "" -
L...JAilBl, (5.13)
!=1
where Au are tangential differential operators of order i -l at the most and
Aii is a nonvanishing function. Denoting the formal adjoint of Au by A~ 1 ,
we set
m
Cj = L A~,m-j+1Ni (5.14)
i=m-j+1
for j = 1, ... , m. Ci is of order at most j - 1, and by (5.12)
I ' I - '-1
Ci = Am-J+1,m-i+1 Nm-i+1 + · · · = ( -1)3 Am-i+1,m-J+1 aomDh + ····
Hence Cj is of order j - 1 and O"R is not characteristic with respect to Cj.
In view of (5.11),(5.13),(5.14)
1R ~AuB1u
m i
(Lu, v)- (u, L 1v) = ~ · Nivdx 1
= fl
!=1 fiR
B1u· tA~Nivdx1 =
i=l
fl
!=1 fiR
B1u· Cm+1-lvdx 1•
Hence we obtain
j = 1, ... ,m/2
on rJR.
j = m/2 + 1, ... , m
We can choose v so that v = 0 near lxl = R. Hence with the aid of (5.15)
1R ( 1R
m/2 m/2
~ 2 2
1Biul dx' =~ Bju · Cm-m3 vdx'
= t1
j=l IJR
Bju · Cm-m3 vdx' = (Lu,v)- (u, L'v) = 0.
Biv = 0, j = 1, ... , m, on an
if and only if
Biv = 0, j = 1, ... , m, on an.
Lemma 5. 3 Let {Bi}J= 1 , {Bj}J-; 1 be normal sets of boundary operators.
Denote the orders of Bi, Bi by mi, mi. If these two sets are equivalent,
then m = m and there exist tangential differential operators Aik such that
m
Bi = 2::.:: AikBk, j = 1, ... , m. (5.17)
k=l
k
ak(z, () = 2::>k-i(i-1, ao(z, () = 0.
i=l
=
For a polynomial P(z) 'E~=o akzk of a complex variable z and a complex
vector w = (wo,wl, ... ,wm) set
m
P(w) = 2::: akwk.
k=O
If we set m
R(z, () = P(a(z, ()) = 2::: akak(z, (), (5.19)
k=O
as is easily seen
If we set
k
f)
(k) -
Rz (z, () - ( f)z ) R(z, (), pk(z) = ( :z) k P(z),
then we have
Proof. By definition
m
P(CT(z,w)) = :~:::>kCTk(z,w) = R(z,w).
k=O
Let { zi} be the distinct roots of P2, the multiplicity of Zi being denoted by
vi. The condition (5.22) holds if and only if
LbiQi +HPl = 0.
Since H is of order less than m 2 , there exist constants aik such that H =
2::::: aikMik· Hence
2::::
bjQj + aikpik 2::::
o, =
which implies b1 = · · · = bm = 0. 1
178 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
Proof. We consider in the situation of the proof of Theorem 5.1 and follow
the notations there. We denote the principal parts of L, L' by L 0 , (L') 0 :
Let ~ = (6, ... , ~n-1, 0) and v = (0, ... , 0, -1) be a tangential and the
outward normal vector at the origin, and set
We write
l i
-
Bt = """"
LJ rliDni-1 , l = 1, ... , m, n~- 1 =I: AikBk, i =1, ... 'm,
i=1 k=1
If we set "fli = rpi (0, ~), Aik = Afk (0, ~), then by (5.26) we have
l
.2:: "fliAik = Dtk· (5.27)
i=k
5.1. ADJOINT BOUNDARY CONDITIONS 179
then
m
N?(T) = (-1)i- 1 l : l : aJlk(o)eTk-i, (5.28)
k=i IJJ-I=m-k
m
CJ(T) = (-1)j l: (-1)i- 1,\i,m-J+1Nf(T). (5.29)
i=m-j+1
Suppose that
=
m
l:.Bie!-J+ 1(T) 0 modulo !Vr(T), (5.30)
j=1
.Bm3 +1 = 0 for j = 1, ... , m/2. (5.31)
If we show that ,81 = · · · = .Bm = 0, then the proof will be complete. For
i = 1, ... ,m set
L iillk(O)~~"a-k(T,w) = £ 0(a-(T,w)).
l~£1+k=m
L 0(a-(T,w)) =
0 modulo M-(T). (5.32)
Hence u E wm,p(n), lluj -ullm,p,n ---+ 0. Therefore u E D(Ap), and Apuj ---+
Apu, Apu= f.
In this section following S. Agmon [9] we show that under some natural
assumptions the resolvent set p(Ap) of Ap is not empty.
Let fJ be an angle such that 0 :::; fJ < 271". Introducing an auxiliary real
variable t we set
1, ... , m/2, satisfying Bi(·, D)u = 9i on an, and a complex number.\ sat-
isfying arg.\ = 0, l.\1 > Cp the following inequality holds:
Proof. Let (be a function inc=( -oo, oo) such that ((t) = 0 for ltl > 1 and
((t)= 1 for ltl < 1/2. For r > 0, u E wm,p(n) set v(x, t) = ((t)eirtu(x).
Then applying Theorem 4.10 to £, {Bj} j!i in Q we get
Hence
m-1
lal+kS::m -oo
tW dxdt
5.2. EXISTENCE OF SOLUTIONS 183
If r is sufficiently large, the second and fourth terms in the bracket of the
right hand side of this inequality are small compared with the left hand
side. Thus putting A= rmei 0 , we complete the proof.
Letting gi = 0 in Lemma 5. 7 we obtain the following theorem.
In view of Theorem 5. 3 if
is shown to hold, we see that arg.\ = () is a ray of the minimal growth of the
resolvent of AP' In [9] it is announced that the proof of (5.47) will be given
somewhere. However, the proof does not seem to have appeared. In Chapter
3 of [149] the proof of (5.47) is given in case n is bounded. The outline is as
follows. If the coefficients are sufficiently smooth, (5.47) can be shown using
M. Schechter's result on the Fredholm alternative between L- .\, { Bj}, and
its adjoint L'- ..\,{Bj} ([134]). In the general case we approximate the
operators L, {Bj} by a sequence of operators £Ck), {BY)} with smooth
coefficients. Then (5.47) holds with constant Cp = C~k) possibly depending
also on k. However, (5.40) holds for £(k), {BY)} with constants independent
of k. Hence, the inequality
holds for arg.\ = (), l.\1 > C~k) with some constant C independent of k,
where A~k) is the operator defined by (5.34) with L(k), {B?)} in place of L,
{ Bj }. Consequently with the aid of Neumann series expansion the resolvent
(A~k) - .\)- 1 can be continued analytically to a fixed sector
is strongly elliptic. If~. 77 are linearly independent real vectors, then the
roots of the polynomial L~(x, ~ + T'f7) are continuous functions of s, and
if s = 0 the exactly m/2 of them have positive imaginary parts. Hence
L(x, ~ + rry) = L 1 (x, ~ + rry) has exactly m/2 roots with positive imaginary
parts.
That L(x, D) is strongly elliptic is equivalent to saying that for () E
[11"/2, 371" /2]
(5.48)
is elliptic. In what follows in this section we assume that
(iii) L(x, D) is strongly elliptic in 0,
(iv) for any() E [11"/2, 371"/2] Co(x, Dx, Dt), {Bj(x, Dx)}jJ; satisfy the Com-
plementing Condition in Q.
From Theorem 5.3 we obtain the following theorem.
Theorem 5. 5 Let n be an open set of Rn uniformly regular of class em.
Assume that L(x, D), {Bj(x, D)}jJ; satisfy the conditions listed in section
4.2 and (iii),(iv) of this section. Then for each 1 < p < oo there exists a
positive constant Cp such that for any u E wm,P(O), gj E wm-m3,P(0)
satisfying Bj(x, D)u = gj, j = 1, ... , mj2, on 80, and a complex number,\
satisfying Im,\ :=::; 0, 1,\1 > Cp the following inequality holds:
If the assumptions of Theorem 5.5 are satisfied and furthermore if for some
,\satisfying Im,\:::.; 0, 1,\1 > Cp (5.47) holds, then -Av generates an analytic
semigroup in LP(O). Note that D(Ap) is dense in LP(O) since it contains
C[f(O). By what was stated after Definition 5.3 -Av generates an analytic
semigroup if n is bounded.
We make the following assumption in order to consider the adjoint bound-
ary value problem.
(v) The coefficients of the lower order terms of the formal adjoint L'(x, D)
of L(x, D) are bounded and measurable.
186 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
respectively for some i = 1, ... 'n and a C 2 m function 1/J, then n is called
an open set locally regular of class c 2 m.
5.2. EXISTENCE OF SOLUTIONS 187
It is possible to show the following result following the idea of Browder [21].
In addition to the assumptions made so far we assume that 0 is locally
regular of classcz.m. Then for ImA:::; 0, IAI > Cp
The proof of this statement is very lengthy, and so we state only the out-
line. Since by Theorem 5.5 Ap -A has a continuous inverse, R(Ap -A)
is closed. Hence it suffices to show that R(Ap - A) is dense. This is the
same for R(A~, - :\). If we approximate the coefficients of L, {Bj} by
smooth functions, then the inequality (5.40) holds with common constants
for this approximating sequence. Hence it suffices to consider only the case
of smooth coefficients. Let p be in a compact subinterval of (1, oo) contain-
ing 2. For a complex number A satisfying ImA :::; 0 and with sufficiently
large absolute value we replace L by L - A and show
(5.55)
In this case for u E Wm•P(O), 9i E wm-mj,P(O) such that Bju = 9i on 80
for j = 1, ... , m/2 the inequality
(5.56)
m/2 )
li¢Rullm,p,O:::; C ( IIL(¢Ru)llo,p,O + ~ IIBi(¢Ru)- ¢RBiullm-mj,p,O ·
(5.59)
By Leibnitz' formula
:::; C ( k. 1Da¢Ri2p/(2-p) dx )
(2-p)/2p (
in 1Df3ul2 dx
) 1/2
= CRn(l/p-1/2)-!al ( k. 1Da¢12p/(2-p) dx )
(2-p)/2p
11Df3ullo,2,0·
1/p1 < 1/p:::; 1/pl + 1/n with some P1 satisfying 1/2 < 1/P1 ::; 1/2 + 1/n.
Continuing this process we can verify that (5.55) holds for 1 < p:::; 2.
Next, if 1/2 - mjn :::; 1/p, 2 < p < oo, then in view of Theorem 3.19
Wm• 2 (0) C LP(fl). Hence if for f E C8"(r2) f = Azu, then u E LP(O) n
cm(O). By virtue of Lemma 5.7 u E wm,P(fl), and hence u E D(Ap), f =
Apu. If m < n/2, set 1/p1 = 1/2 - mjn, and we can prove by the same
argument as above that for p satisfying 1/PI - mjn :::; 1/p :::; 1/Pl (5.55)
holds. Continuing this process we can show that (5.55) is true for 2 < p <
oo.
In view of (5.50),(5.53),(5.54) we see that
If u is an arbitrary element of D( (Ap)*) and Im,\ :::; 0, I.AI > Cp, then in
view of (5.64) there exists a function v E D(A~,) such that
(5.66)
(5.68)
(5.71)
As was stated in the proof of (5.54) the inequality (5.56) holds. Suppose
1/p- 1/n::; 1/q. Let¢ be a function in C(f(Rn) such that ¢(x) = 1 for
lxl ::; 1 and ¢(x) = 0 for lxl 2: 2. Set ¢R(x) = ¢(x/ R) for R 2: 1. Set
u = Aq- 1f. If we apply (5.56) to ¢Ru, then by the same calculation used in
deriving (5.62) we get
A-1f
P
= A-1f
Pt
= ... = A-1 f = A-1f.
Pk-1 q
that {Sg; ll9llo,2,n :::; 1} and {T*h; llhllo,2,n :::; 1} are equicontinuous in 0.
Then, ST is an integral operator with kernel K(x, y):
Hence
ess supyEniK(x, y)- K(x', y)l ::; liT* IIB(£2,L=)w(lx- x'i). (5.82)
exists for any y rf. N. It is obvious that the limit does not depend on the
choice of {xiJ· For x, x' E 0, y rf. N we have
IK(x, y)l ::; "f, IK(x, y)- K(x', y)l ::; liT* IIB(£2,L=)w(lx- x'i). (5.84)
(5.85)
sup \K(x, y)-K(x, y')\ =sup \K'(x, y)-K'(x, y')\ :::; \\S\\B(L2,L"")w(\y-y'\).
xEO xEO
Therefore rewriting K(x, y) as K(x, y) we see that (5.72) holds. Using (5.80)
For ann-dimensional complex vector 'T/ = (ry 1 , ••. , 'T/n) the operators A~, A'~
are defined as follows.
D(A~) = { u E wm,P(O); Bj(·, D + ry)u = 0, j = 1, ... , m/2, on 80},
(5.90)
for u E D(A~) A~u + ry)u in the sense of distributions,
= L(·, D
D(A'~) = {u E wm,P(O); Bj(·, D + ry)u = O,j = 1, ... , m/2, on 80},
(5.91)
for u E D(A'~) A'~u = L'(·, D + ry)u in the sense of distributions.
Since
we have
From the proof of Theorem 5.1 we see that there exist normal sets of bound-
ary operators {Cj(x,D)}j!f~, {Cj(x,D)}Ti~ such that
In (L(x,D)u · v- u · L'(x,D)v) dx
m/2
= L { Bi(x, D)u · Ci(x, D)vdS
i=l Jan
m/2
+ L f Cj(x,D)u · Bj(x,D)vdS. (5.94)
i=l Jan
By virtue of (5.92),(5.93),(5.94)
:E r
m/2
= Bj(x,D)(eX11u). Cj(x,D)(e-X11v)dS
i=l Jan
m/2
+ :E { Cj(x,D)(ex'~~u) · Bj(x,D)(e-xfiv)dS
i=l Jan
5.3. ESTIMATES OF KERNELS 195
m/2
=:E { Bi(x,D+77)u·Ci(x,D-77)vdS
i= Jan1
II (L(x, D) - -X)ullo,p,n
:::; II (L(x, D + 77) - -X)ullo,p,n + II (L(x, D + 77) - L(x, D) )ullo,p,n
m-1
:::; II(L(x, D + 77)- -X)ullo,p,n + C 2: l77lm-kllullk,p,n,
k=O
ffij-1
L I.XI(m-k)/mllullk,p,n
m
k=O
m/2
+ L I.XI(m-mj)/m{j L
mi-1
I.XI(mrk)/mllullk,p,O
j=1 k=O
m/2 m/2
+ ~ I.XI(m-mj)/mllhillo,p,O + ~ llhillm-mi,p,n]
m/2 m/2
+ ~ I.XI(m-mj)/mllhillo,p,O + ~ llhillm-mi,p,O ·
Lemma 5. 13 Let L(x, D), { Bj (x, D)} ;'l: be opemtors satisfying the con-
ditions of section 4.2. Suppose in addition that {Bj};'l: is normal and for
any u E wm,p(n) the following inequality holds:
Moreover suppose that 0 E p(Ap) for the opemtor Ap defined by (5.34). Then
for any f E LP(n), 9i E wm-mr 11P,P(an), j = 1, ... , m/2, the solution of
the boundary value problem
m/2 l
llullm,p,O ::S Cp,>. [ II (L(x, D + TJ) - .A)ullo,p,n + ~ I hi llm-mJ ,p,n ·
Replacing the right hand side by the greatest lower bound with respect to
hi yields
+ ~[B;(x, D + •J•Jm-m,->/,,,,an]·
then we obtain
exists. If we set uTJ,h = (u<:- uTJ)jh, where ( = (ry 1 + h, 'f/2, ... , 'f/n), then
II
l
I(T*h)(y)- (T*h)(y')l:::; CIAtlh'/m IAjlar 1llhllo,2,niY- y'lh'. (5.128)
j=s+1
Hence if we denote the kernel of (A2 -.-\ 1)- 1 · · · (A 2 -.-\t)- 1 by K>. 1 , ... ,>.1 (x, y),
then we have
K At, .. -,>.t (x ' y) -- eCx-y)n K At,
71 (x y)
... ,>.t ' (5.130)
for a pure imaginary 'f/· By Lemma 5.15 ST is a holomorphic function of
'f/ in l'fll::; 8min{l.-\1l 1/m, ... , l.-\tl 1/m}, and hence so is K1
1 , ••• ,>. 1 (x,y) as is
easily seen using Morera's theorem. Therefore (5.130) holds also if 'f/ is
not pure imaginary. In what follows we consider only real 'f/· Owing to
Remark 5.4 if n is bounded, we need not consider nonreal 'f/· It follows from
(5.129),(5.130) that
l
IK>.t, ... ,>.t (x, y)l :=; Ce(x-y)n II l.-\ilar1.
j=1
Minimizing the right hand side of this inequality with respect to 'f/ we obtain
l
:=; C exp [ -8 min (l.-\1! 1/m, · · ·' l.-\tl 11m) lx- Yl] II l.-\ilar 1
j=1
l l
::; c:Eexp ( -8l.-\kl 11 mlx- Yl) II
l.-\ila3 - 1· (5.131)
k=1 j=1
The following lemma is easily shown.
Lemma 5. 16 For any positive number a there exists a constant C such
that ta :=;Get for any t ~ 0.
Let r be a smooth contour running from ooe-i9o to ooei9o in the closed
angular domain .E = {A; arg ,\ ~ ( -00 , 00 )}. Then
holds for X' y E n, I arg t I :::; 7r I 2 - Bo. For fixed X' y' t we deform the integral
contour r to the following path r x,y,t:
r x,y,t = {-\;I arg -\I = Bo, l-\1 2:: a} u {A; A= aei(J' IBI 2:: Bo},
where
lx- Ylm/(m-1) Ep lx- Ylm/(m-1)
a= E ltlm/(m-1) = ltf' p= ltjl/(m-1) ' E > 0. (5.134)
= rRe t (cos () 0 =f sin ()0 ~::) 2:: rRe t (cos () 0 - sin Bo ~~: :1) .
Hence if t is in the closed sector
lim tl < ( 1 _Eo) cos Bo (5.135)
Ret - sin 00 '
where 0 <Eo < 1, then Re-\t ~ rRet · Eocos00 • Therefore there exists a
positive constant c such that fort in the sector (5.135) and_\= re±iOo
l l
X I: exp ( -<5l-\kl 1/mlx- Yl) IJ l-\ilaj- 1ld-\1 · · · d-\tl. (5.137)
k=1 j=1
The term with k = 1 in the right hand side of (5.137) is
t. y,t e-Re>.jtl-\ilar1ld-\il
= r
J1>.j I=a
+ r : :;
J1 Aj I?_a
ealtlaaj-127ra + 21a
00
e-crltlraj-1dr.
204 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
Using the definition (5.134) of a, p and with the change of the variable
s = rltl in the last integral we get with the aid of Lemma 5.16
hx,y,t e-Re>.jtl.\jlartld.\jl
< 27r (Ep)aj e<P +
- ltl
_2_
1tla3
roo e-cssartds -< Ce2<p.
Jo IW 3
(5.139)
Next if we put
then
It :::; 27raa 1 exp(altl - oatfmlx- Yl)
00
12 :::; 21 exp( -crltl - ortfmlx- yl)ra 1 -tdr (5.142)
Making the change of the variable r = as in the right hand side of (5.142)
and substituting (5.134)
I2 :::; 2aa 1 1 00
sa 1-t exp( -cEps- & 11m pstfm)ds
The terms with k = 2, ... , l in the right hand side of (5.138) are estimated
similarly. Hence, choosing E so small that 2lE- & 11m < 0 we find that there
exist positive constant C, c such that in the sector (5.135) the following
inequality holds:
C ( lx- Ylm/(m-1))
IG(x, y, t)l::; ltlnfm exp -c ltjlf(m-1) . (5.145)
and
llullk,oo,n::; Cllull~,~~.~mllull~~~;nk/m, k = 0, ... , m- 1. (5.147)
Hence by (5.114),(5.123),(5.124) we have for lal <m
s
IID~Sfllo,oo,n::; IISJIIIal,oo,n::; Cl>-sllal/m II 1>-ilar1llfllo,2,fl· (5.148)
j=1
Since D~K1 1 ... ,>Jx,y) is the kernel of D~ST we get from (5.126) with
h' = 0, (5.148) and Lemma 5.10
l
ID~Kt ... ,.x 1 (x,y)l::; Cl>-sllal/m II l>-ilar 1.
j=1
Therefore
= """'
L.J
(3S,a
(a) f3 Da-(3
X
e(x-y)1J · Df3X K ..\1,
11
... ,..\z
(x, Y)
L II 1>-jlaj-1
l
::; C l77lla-f31e(x-y)1JI).sllf31/m
(35,a j=1
L l>-sllal/me(x-y)1J II 1>-ilar1.
l
::; C (5.149)
(35,a j=l
206 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
/3 C ( lx- Yim/(m-1))
IDu G(x, y, t) I :::; ltiCn+l/31)/m exp -c ltjlf(m-1) . (5.150)
G(x, y, 2t) = k
G(x, z, t)G(z, y, t)dz. (5.151)
Using
lx- zlm/(m-1) + IY- zlm/(m-1) ~ 2-1/(m-1) lx- Ylm/(m-1)'
lx- zlm/(m-1) + IY- zlm/(m-1) ~ lx- zlm/(m-1)
we obtain
r (-c lx-1t11/(m-1)
Jo. exp
zlm/(m-1)) ( IY- zlm/(m-1))
exp -c IW/Cm-1) dz
<
-
exp ( -
c
2m/(m-1)
lx- Ylm/(m-1))
ltjlf(m-1)
1 (
R"
exp --
2
c lx- zlm/(m-1))
ltjlf(m-1)
dz
d
-exp(-tA
dt
2) = --.
1
21r2
J
r
.\e ->.t (A 2 - ,\ )-1 d.\,
1
8 I C
8t G(x, y, t) :::; 1tln/m+1 exp -c
( lx- Ylm/(m-1))
ltjl/(m-1) . (5.154)
5.3. ESTIMATES OF KERNELS 207
K;>..(X, y) = 1=re; 61
e>.tG(x, y, t)dt. (5.158)
In view of (5.145),(5.156)
If I.AI 1/mlx- Yl 2:: 1, noting h:::; 1 and using Lemma 5.16 we have for some
positive constant c'
1 00
s-n/m exp( -ch -m/(m- 1) s )ds
In case n = m with the aid of the change of the variable r = lx- Ylms
If I.AI 1/mlx- Yl < 1, put b = (I.AIIx- Ylm)- 1 = hm/(m- 1). Then b > 1. The
right hand side of (5.163) does not exceed
If 1>-1 1/mlx- Yl ~ 1, h:::; 1. The left hand side of (5.163) does not exceed
+ 100
8- 1 exp( -c8- 1/(m- 1)) exp( -ch-m/(m- 1) 8)d8
:::; exp( -2- 1ch- 1/(m- 1)) 1h 8- 1 exp( -2- 1c8- 1/(m- 1l)ds
X [1 1
8- 1 exp( -c8- 1f(m- 1))d8 + 100
8- 1 exp( -2- 1 c8)d8]
Therefore if n = m we have
Finally in case n < m making the change of the variable r = 8/1>-1 and
setting h = 1>-1 1/mlx- Yl
= 1>-ln/m-1 1 00
8 -nfme-csexp(-chm/(m-1) 8 -1j(m-1))d8
h
::=; l>-ln/m-1exp(-ch) 1 8-nfme-csd8
(5.165)
Analogously in the region lm,\ < 0, IRe>-1/IIm>.l :::; (1 - ~: 1 ) sin Otf cos 01
we deform the integral path in the integral (5.158) to the half line t =
re-i 0 t, 0 < r < oo, to obtain the same estimates as (5.162),(5.164),(5.165).
210 CHAPTER 5 ELLIPTIC BOUNDARY PROBLEMS (CONTINUED)
In the set - Re.A/ lim .A I > (1 - f 1) sin lh /cos 81 we can establish the esti-
mates of the same form integrating along the positive real axis in the integral
(5.158). If we use (5.153) we can obtain the estimates of D~D~K_x(x, y), lal <
m, I.BI < m. It is clear that G(x, y, t), K,x (x, y) are also the kernels of
exp( -tAp), (Ap - >.)- 1 respectively. Thus recalling that we replaced L by
L + >.0 we have proved the following theorem.
Theorem 5. 7 Suppose that the hypothesis of Theorem 5.6 are satisfied.
Then the kernels G(x, y, t), K_x(x, y) of exp( -tAp), (Ap- >.)- 1, 1 < p < oo,
exist, and there exist positive constants C, c, a real number w and an angle
8o E (0, 1r /2) such that
(i) for lal < m, I.BI < m, (x, y) En X n, I argtl < n/2- 8o,
C ( lx- Ylm/(m-1))
ID~ DeG(x, y, t) I ::::; ltl(n+lai+I.BI)/m exp -c ltjl/(m-1) ewltl'
(5.166)
(ii) for arg A ~ ( -8o, 8o), I.AI > c, Ia I < m, I.BI < m, (x, y) E nX n
m < n + Ia I + I.BI
m > n + lal + I.BI . (5.168)
m = n + Ia I + I.BI
Since for I arg tl < 1r /2 - 8o, I arg sl < 1r /2 - 8o
exp( -(t + s)Ap) = exp( -tAp) exp( -sAp),
we have
G(x, y, t + s) = k G(x, z, t)G(z, y, s)dz. (5.169)
Set
lxlm/(m-1))
H(x, t) = exp ( -c ltjl/(m- 1)
so that by Theorem 5. 7
cewltl
IG(x, y, t)l :::; ltln/m H(x- y, t). (5.170)
With the aid of the change of the variable x = 1t1 1fmy we get
= cewltl r
}nn
exp( -clylm/(m- 1))dylflo,1,fl· (5.173)
1
t !x!>N+l !Y!<N
cewlt!1
:::; lflo,oo,fl ltln/m H(x- y, t)dxdy
IYI<N !x-y!>1
Therefore
lim r
t->O Jlxi>N+l
I(G(t)f)(x)- f(x)ldx =lim
t->O Jlxi>N+l
r
I(G(t)f)(x)ldx = 0.
(5.175)
On the other hand with the aid of Holder's inequality
r
Jlxi<;,N+l
I(G(t)f)(x)- f(x)ldx
Iexp( -tAp)flo,p,f!::::;
cewt r
tn/m JR .. H(x, t)dxlflo,p,f!
= Cewt
{ exp( -clxlm/(m-ll)dxlflo,p,n, (5.179)
JR,.
and hence 0 E p(Ap)· Similarly by (5.173) 0 E p(AI). By Theorem 5.7 the
kernel K(x, y) = K 0(x, y) of Ap- 1 exists and there exist positive constants
C, c such that for let I < m, I,BI <m
ID~D~K(x,y)l::::; ce-clx-yl
lx _ Ylm-n-lal-1.61 m- n - Ia I - I,BI <0
X{ 1 m- n -lai-I,BI > 0 . (5.180)
1 +log+ lx - Yl- 1 m- n- lal -I,BI =0
Since A1 1 = J0= G(t)dt, K(x, y) is also the kernel of A;:- 1 •
5.4. BOUNDARY VALUE PROBLEMS IN L 1 213
FUrthermore, foru E D(Al), A 1u = L(x, D)u and ifmi < m-1, Bj(x,D)u =
0 on an.
Proof. First we verify that both sides of (5.181) are meaningful. Since
m-njp' > 0, we have v E wm,p' (0) c £=(n) by Theorem 3.19. Therefore
the left hand side makes sense. As for the right side it suffices to show that
u satisfying (i) belongs to £P(O). If n;:::: m, set 1/q = 1/r + (m- 1)/n for
r satisfying {1- (m -1)/n}- 1 :::; r < nj(n- m). Then 1:::; q < nj(n- 1).
Since m- 1- njq < 0, wm- 1 ,q(O) c U(O) in view of Theorem 3.17.
Hence u E U(O) for any 1:::; r < nj(n- m). Since 1 < p < nj(n- m), we
conclude u E £P(O). If n < m, we have wm- 1,q(O) c wn,q(O) c U(O)
for any q:::; r < oo by Theorem 3.18 or 3.19. Hence, u E U(O) for any
1:::; r < oo. Especially u E £P(O).
Suppose u E D(Al). Set A1 u = f. Then
Hence, we get u E LP(O) applying Lemma 1.2. If m > n, IK(x, y)i <
Ce-cfx-yf. Therefore we readily obtain u E LP(O). If m = n, we have
(5.185)
(5.186)
Hence u = v E D(A 1 ).
Suppose u E D(A 1 ), 1 ::; q < nj(n- 1). If Ia: I ::; m- 1, 0 < s::; 1,
{ (
[ }R" C H(x s))q dx] 1/q < C snfmq-(n+faf)/m
s(n+faf)/m ' - q '
Hence as t ----. 0
and
Au= Lu for u E D(A)
according as we are concerned with the Dirichlet or Neumann boundary
condition respectively. Let Av be the operator defined by (5.34) for the
operator L and the boundary conditions mentioned above. Then by virtue
of Sobolev's imbedding theorem we have
Let G(x, y, t) and K>-.(x, y) be the kernels of the semigroup exp( -tAp) and
the resolvent (Av - >.)- 1 respectively. Then by Theorem 5. 7 there exist
positive constants C, c such that
(5.188)
for x, yEn, t > 0, ,\ E E, where E = {,\; Bo < arg,\ < 27r-Bo, I-XI~ Cl}, 0 <
Bo < 7r /2.
Remark 5. 5 In the above the factor ewt and the restriction I-XI ~ cl
would be removed, but we are not interested in this problem here.
Let f be an arbitrary element of C(O). Since n is bounded, f E LP(n) for
any p E (1, oo). For,\ E Ewe put
::; c r IYI
}Rn
2 -ne-ci>.i 112 IYI dylflo,oo,n ::; Clflo,oo,n/1-XI
-21 . f e->.tK>.(x,y)d-X=G(x,y,t).
7rZ Jn
In the case of the Dirichlet boundary condition D(A) is not dense in C(O)
since
D(A) c C0 (0) = {u E C(O); u = 0 on an}.
5.5 PROBLEMS IN SPACES OF CONTINUOUS FUNCTIONS 217
Iff E C5(!1), then f E D(Av) for any 1 < p < oo. Therefore choosing p so
that p > n/2
without proof. Iff belongs to the space (5.191), then f E D(Ap) for any
1 < p < oo. Hence we can show as in the case of the Dirichlet bound-
ary condition that for any f E C(O), exp( -tA)f ----> f in C(O) as t ----> 0.
Therefore, D(A) is dense in C(O).
Theorem 5. 9 The operator A defined at the beginning of this section gen-
erates an analytic semigroup in C(O). In the case of the Dirichlet boundary
condition D(A) = C0 (0), and in the case of the Neumann boundary condi-
tion D(A) is dense in C(O).
Remark 5. 6 We can prove an analogous result for operators of arbitrary
order.
H; (!1) C C(O) if 1/p < 2()/no Therefore, first choosing p so large that
9
nfp < 1 + 1/p and then() so that nfp < 2() < 1 + 1/p we have
(5.192)
(5.193)
with positive imaginary parts. In what follows we write A for A(x). What
is to be shown is that the polynomials
Proof. We denote the degree of f(z) by n, and suppose that the imaginary
parts of the roots a 1, ... , an of f(z) are all positive. Let /(z) be the poly-
nomial whose coefficients are the complex conjugates of the corresponding
coefficients of f(z). Then we have
Parabolic Evolution
Equations
221
222 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
(P2) For each A E ~ the operator valued function R(A, A(t)) oft is contin-
uously differentiable in [0, T] in the uniform operator topology, and there
exist positive constants L 1 and p E (0, I] such that
r
erA(t) = _2I. e'TA R(A, A(t))dA,
nz Jr
T > 0, t E [0, T], (6.6)
nz Jr
r
A(t)erA(t) = _2I" Ae'TAR(A,A(t))dA, T > 0, t E [O,T], (6.7)
where r is a smooth path connecting ooe-i0 and ooei0 , 1r /2 < () < Bo, in ~.
The norm of X is denoted by 11·11· We denote by C([O, T]; X) the Banach
space consisting of all continuous functions defined in the interval [0, T] and
taking values in X with norm
For a E (0, I) ca ([0, T]; X) is the set of functions belonging to C([O, T]; X)
and Holder continuous with exponent a with norm
llu(t)- u(s)ll
llullca(lo,T];X) = llullc{[O,TJ;X) + sup
It- sla
t,sE(O,TJ,t#s
and C 1 ([0, T]; X) is the set of all continuously differentiable functions de-
fined in [0, T] and with values in X with norm
In addition we denote by
C([E, T]; X), C"([E, T]; X), C 1 ([E, T]; X), Cl+"([E, T]; X)
(
T )1/p p < oo,
lluiiLP(O,T;X) = { 111u(t)11Pdt
ess suptE[O,TIIIu(t)ll p=oo.
The set of all bounded linear operators from a Banach space X into itself
is denoted by £(X). The norm of £(X) is also denoted by I · II· For two
real numbers a, f3 we write a 1\ f3 = min{ a, /3}.
Let f E C([O, T]; X) and x E D(A(O)).
Definition 6. 1 u is a classical solution of (6.1),(6.2) if u E C([O, T]; X) n
C 1 ((0, T]; X), u(t) E D(A(t)) for any t E (0, T] and
6.2 Preliminaries(!)
The following lemma is easily proved as in section 3 of Chapter 1.
Lemma 6. 1 Under the assumptions (P1),(P2) we have
(i) lie'~" A(t) II 5, C, t, T E [0, T],
(ii) IIA(t)e'~"A(t)ll5, CjT, t E [O,T], T E (O,T].
We define an operator valued function P(t, s), 0 5, s < t 5, T, by
II :t R(>., A(t)) - :T R(>., A( T)) 115, C(lt - Tla + 1>.1 1-Pit- Ti). (6.10)
Proof. Since
we have
a
otR(A, A(t))- 07 R(>., A(T))
a
Proof. Since
lit
7r'l T-S }[' uT
=
1-p
s)P-1
t-s
s) 1-pl
< - -1 ( T - s)P -l (
1--- T- S) = --(T-s)P
1 _ - T
t-- 1
1-p t-s 1-p t-s
we obtain (6.11). The inequality (6.12) is an easy consequence of (6.11).
Proposition 6. 1 If the assumptions (P1),(P2) are satisfied, then P(·, O)x
E C((O,T];X)nL 1 (0,T;X) forx EX. Ifmoreover the assumption (P3) is
satisfied, then P(·, O)x E ca((O, T]; X).
226 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
Proof. The assertion follows from Lemma 6.2, (6.9) and Lemma 6.4.
Proposition 6. 2 Suppose that the assumptions (P1),(P2) are satisfied. Then,
we have
(i) The operator valued function etA(t) is continuously differentiable in (0, T]
in the norm topology of £(X) and
(djdt)etA(t) = A(t)etA(t) + P(t, 0). (6.15)
(ii) Let x EX. Then etA(t)x E C([O, T]; X) if and only if x E D(A(O)). In
this case etA(t)xlt=O = x.
(iii) If moreover (P3) is satisfied, then etA(t)x E Cl+o:((O, T]; X) .
Proof. The assertion (i) follows from
.!!_etA(t)
dt
= .!!._ [~
dt 2nz Jr
r e).tR(>.. ' A(t))d>..]
= -21 . { >..e:>.tR(>..,A(t))d>..+ -21 . { e:>.t ~ R(>..,A(t))d>..
nz Jr nz Jr ut
= A(t)etA(t) + P(t, 0).
The assertion (ii) follows from
etA(t)x _ x = (etA(t) _ etA(O))x + etA(O)x _ x,
That P E .C(C([O, T]; X)) is an easy consequence of (6.9) and the continuity
of P(t, s) in 0 ~ s < t ~ T.
(ii) For t > T > E > 0
~ C(t- T)P <~~ET llf(s)ll + lr IIP(t, s)- P(T, s)llds <~~ET IIJ(s)ll
+ 0 ~~~< IIP(t, s)- P(T, s)ll1< llf(s)llds. (6.17)
]1<
}< T-8
(t-r)a t-T
+C sup [ + - ( r - s)P- 1 llf(s)llds.
o-5, 8 -5,< t- S t- S 0
Since
t- E 1
= (t- r)a log--+ [(r- E)P + (t- r)P- (t- E)P]
p(1- p) t- T
1 t- E
<(t-r)alog--+ (t-r)P,
t- T p(1- p)
228 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
we obtain
+C [(t- T)"'(t- E)- 1 + (t- T)(t- E)- 1 (T- E)P- 1 ] 1< IIJ(s)ilds,
(6.18)
where
00
c (6.25)
IIR(t,s)ll::::; (t-s)l-P
6.2 PRELIMINARIES(l) 229
(iii) Iff E £ 1 (0, T; X) n C 6 ((0, T]; X), o E (0, 1], then Tf E C 1 ((0, T]; X)
and
d
-(Tf)(t) = l t A(t)e(t-s)A(t)(j(s)- f(t) )ds+etA(t) f(t)+ l t P(t, s)f(s)ds.
ili 0 0
(6.30)
230 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
Since
C,(t- s) 6 - 1 E<s<t
IIA(t)e(t-s)A(t)(J(s)- f(t))ll :::; { C
-llf(s)-
t-E
f(t)ll O<s<E
each term of the right hand side of (6.31) belongs to D(A(t)) and (6.29)
holds.
(iii) Suppose 0 < E < T < t:::; T. Then
Hence
(Tf)(t)- (Tf)(T) = _1_ t
e(t-s)A(t)(J(s)- f(t))ds
t- T t- T 1-r
eCt--r)A(t) _ 1
+ A(t)- 1 f(t)
t-T
{T e(t-s)A(t) _ e(-r-s)A(t)
+ Jo t_T (J(s)- f(T))ds
eCt--r)A(t) - 1
+ (e-rA(t)- 1)A(t)-1(j(T)- f(t))
t-T
eCt--r)A(t) _ 1
+ (e-rA(t)- etA(t))A(t)-1 f(t)
t-T
e(t--r)A(t) - 1
+ (etA(t) -1)A(t)-1 f(t)
t-T
{-r e(-r-s)A(t) _ eC-r-s)A(-r) _ 7
+ Jo t_T f(s)ds- ~Ii.
h - i t A(t)e(t-s)A(t)(J(s)- f(t))ds
232 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
Since
lle(t-s)A(t) _ e<r-s)A(t) II
t-S =log ( 1 + -
log-- t-T)
- t-T
::; --, (6.34)
T-S T-S T-S
the norm of the third term in the right hand side of (6.32) does not exceed
The norm of the last term is also dominated by C,'f/6 • The second term is
equal to
(etA(t)- e'TIA(t))(j(t)- f(T)),
hence its norm is dominated by C,(t- T) 6 . The integrand of the first term
tends to 0 as T---+ t for each fixed s. Its norm does not exceed
= 1t A(t)e<t-s)A(t)(f(s)- f(t))ds
= 1t A(t)e<t-s)A(t)(f(s)- f(t))ds
+ 1-r [(A(t)e(t-s)A(t)- A(T)e<t-s)A(-r))(f(s)- f(t))
= 1t A(t)e<t-s)A(t)(f(s)- f(t))ds
+ 1-r (A(t)e<t-s)A(t)- A(T)e<t-s)A(-r))(f(s)- f(t))ds
= 1 rj(t-r) 0"6-1
--cfn(t- T) 0 - 1 <
1= 0"6-1
--cfn(t- T) 0 - 1 (6.37)
0 1+0" 0 1+0"
in the fourth term of (6.36) we get
+C (
t-
t
f
~TT - f ) } r0 iif(s)- j(T)jjds. (6.38)
u(t) = etA(t)x + 1t e<t-s)A(t) [(I+ P)- 1 (!- P(·, O))x] (s)ds (6.40)
By virtue of Proposition 6.2 (iii) etA(t)x E Cl+a((O, T]; X). From (6.41),(6.42)
and Proposition 6.5 (iv) it follows that Tg E Cl+allo((O, T]; X), and by
Proposition 6.5 (iii)
the assertions of Propositions 6.3, 6.4 hold. Similarly for the operator T
defined by
(Tf)(t) = 1t e(t-s)A(s) f(s)ds
we have the assertions of Proposition 6.5.
236 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
v(t- E)- v(O) = 1t-< e<t-s)A(s) f(s)ds + 1t-< P(t, s)u(s)ds. (6.44)
Writing
v(t- E)= e<A(t-<)u(t- E)= e<A(t-<)(u(t- E)- u(t))
+(e<A(t-<)- e<A(t))u(t) + e<A(t)u(t),
we investigate the behavior of each term of the right hand side as E---+ 0. In
view of Lemma 6.1 the first term goes to 0. As in the proof of Proposition
6.2 (ii) we have
lle<A(t-<) - e<A(t) II :::; CEP.
Hence the second term also goes to 0. Since u(t) E D(A(t)) the third term
tends to u(t) by Theorem 1.7. Hence v(t- E) ---+ u(t). Letting E---+ 0 in
(6.44) and noting v(O) = etA(D)x we obtain
where
6.3 CLASSICAL SOLUTIONS 237
6.4 Preliminaries(2)
In this section we establish some preliminary results which will be needed in
the next section to show that the classical solution constructed in Theorem
6.1 is a strict solution under some additional conditions on the data.
Proposition 6. 6 Suppopse that the assumptions (P1),(P2) are satisfied.
Let x E D(A(O)). Then
(i) P(·, O)x E £ 00 (0, T; X) and as t----; 0
etA(t) - 1
---x =
etA(O) - 1 d
x- (etA(o)- 1) · -A(t)- 1
I
A(O)x + o(1);
t t dt t=O
(iii) As t ----; 0
Consequently
:i t e~t
P(t, O)x = P(t, O)(A(o)- 1 - A(t)- 1)A(O)x + P(t, O)A(t)- 1A(O)x
etA(t) 1 etA(O) 1 ]
+[ t - A(t)- 1 - t - A(o)- 1 A(O)x
Hence the norms of the fourth and fifth terms of the right hand side of (6.48)
do not exceed CtP. Evidently the third term goes to 0 as t ---> 0. Thus the
proof of (ii) is complete.
(iii) A standard calculation shows
With the aid of Lemma 6.1 we see that the third term of the right hand side
of (6.50) goes to 0 as t---+ 0. By (6.47) the fourth term is O(tP). Analogously
it is easily seen that the last term is also O(tP). Thus the proof of (iii) is
complete.
(iv) For 0 ::; T < t ::; T
+-
21 .
1r2
llt
r r
8
AeMda-~R(A,A(T))xd,\.
uT
(6.51)
t
P( t, O)x - P(T, O)x
Jo
+ t
e<t-s)A(O) [(1-
esA(O)). ~A(t)- 1 1 A(O)x + O(sp/\a)] ds.
dt t=O
Since P(·, O)x E L (0, T; X) and by (6.47)
00
Using (6.49)
as t ---> 0 by (6.52) and Lemma 1.5. Hence we have established that u'(O)
exists and
u'(O) = A(O)x + f(O). (6.62)
Next we show that u' is continuous at t = 0. As was shown in the proof of
Theorem 6.1
Using these and (6.54),(6.57) and applying Proposition 6.6 (iv) we get
lt A(t)e(t-s)A(t)(g(s)- g(t))ds
the norm of the fifth term of the last side of (6.64) is O(tP). Hence
If we put w(t) = (1- tA)- 1 u(t), then w(t) E D(A') for t > 0,
llt 1 - 9w(t) II ::; Ct 1 - 9 llu(t) II, 11t 1 - 9Aw(t) II ::; Ct 1 - 9 IIAu(t) II,
11t 1 - 9w'(t)11 = t 1 - 911(1- tA)- 1 u'(t) + (1- tA)- 2 Au(t)ll
::; Ct 1 - 9 llu'(t)ll + Ct 1 - 9 IIAu(t)ll,
llw(t)- xll::; 11(1- tA)- 1 (u(t)- x)ll + 11(1- tA)- 1 x- xll
::; Cllu(t)- xll + 11(1- tA)- 1 x- xll-+ 0
In what follows we write D A(B, oo) instead of (D(A), X)t_ 9,(X). Since A'
is densely defined, the characterizations of D A ( e' 00) stated in Chapter 1
holds for A owing to Lemma 6.5:
(6.72)
Hence (6.72) follows from Lemma 6.1, (6.69) and the inequality
Proof. Let x E D A(o) (/3, oo) and 0 ::::; T <t ::::; T. We have
(6.74)
+-.
1
2nz
1e>.t 1t [--R()..,A(a))
r 7" aa
1 f)
)..
+ --A(a)-
).. da
1 d 1
Similarly applying the same argument to the second term of (6. 73) which
is equal to
248 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
= l f) -1.
r -
fJr 21r2
frr (e-Xt- e.xr)R().., A(r))xd.Adr
= -21 .
11"2
fr
I'
1t .Ae.xo-
r
loro f) R()..,
-f)
r
A(r))xdrdCJd.A,
we obtain
[(etA(r) _ erA(r)) _ (etA(O) _ erA(O))]x
= -1.
211"2 r
fr
1t .Ae.Xa
I'
-R(.A,
f)
0 fJr
lr
A(r)) [x- erA(O)x
By (6.69) and Lemma 6.6 the norm of the first term of the right hand side
of (6. 75) is dominated by
and that of the second term by C(t- T)f3. The norm of the first term of
the right hand side of (6. 76) does not exceed
CTf31og ~ = CTf31og (1 + t ~ 7
) :::; CTf3 C~ T)f3 / f3 = C(t- T)f3 j/3.
Finally by Lemma 6.6
Remark 6. 3 The "if' part of Proposition 6.8 holds for f3 E (0, 1].
t
llf(r)ll ::; Cr6' log:;:= log ( + t-T)
1 -T- ::; 61 (t-7) 0
-T- '
z(O) = 0.
We set
w(t) = u(t) - A(t)- 1 A(O)x- z(t). (6.78)
Then w is a strict solution of
and represented by
w(t) = lt e(t-s)A(t)k(s)ds,
where
By Proposition 6.10 the first term of the right hand side of (6.79) belongs
to C 6 ([0, T]; X). By virtue of Proposition 6. 7 the last term also belongs
to C 6 ([0, T]; X). Hence z E C 1+6([0, T]; X) if and only if etA(t)h(O) E
C'5 ([0, T]; X). Therefore using Proposition 6.8 we conclude that
u E C1+6 ([0, T]; X) if and only if
6. 7 An Example
Following Acquistapace and Terreni [3] we state an example satisfying the
assumptions (P1), (P2), (P3) of section 6.1.
6. 7. AN EXAMPLE 251
Let X= C((O, 1]) with norm !lull = supxE[O,l[ iu(x)i. We define the ope-
rator A(t) by
D(A(t)) = {u E d([O, 1]); u(O) = 0, a(t)u(1) + ,6(t)u'(1) = 0},
(6.80)
A(t)u = u" for u E D(A(t)).
Here a(·) and ,6(·) are real valued functions in C 1 ((0, T]) satisfying
a(t) ~ 0, ,6(t) ~ 0, a(t) + ,6(t) > 0 for t E (0, T]. (6.81)
Proposition 6. 11 We have
. { { u E C((O, 1]); u(O) = u(1) = 0} ,6(t) = 0,
(l) D(A(t)) = { u E C((O, T]); u(O) = 0} ,6(t) of 0.
In particular D(A(t)) is not dense in X.
(ii) a(A(t)) C ( -oo, OJ. If 0 < () < 1r and>. E Eo = {>. E C \ {0}; I arg >.i :::;
B}, then>. E p(A(t)) and
Proof. (i) The assertion is easily shown, but for the sake of completeness we
give the proof of the latter case ,6(t) of 0. We write a, ,6 short for a(t), ,6(t)
for a fixed t. Suppose u E C((O, 1]) and u(O) = 0. Then forE> 0 there exists
a function wE C 2 ((0, T]) such that w(O) = 0 and supxE[O,l[ iu(x)- w(x)i :::;
E/2. Let {j be a positive number satisfying
u(x; t) = 1 1
K(x, y; t)f(y)dy, (6.83)
K(x, y; t)
sinh V):y a(t) sinh V3:(1- x) + Y>:f3(t) cosh V3:(1- x)
y ::; x,
_ { V): a(t) sinh V): + Y>:f3(t) cosh V):
- sinh Y>:x a(t) sinh V3:(1- y) + Y>:f3(t) cosh V3:(1- y)
V): a(t) sinh V): + Y>:f3(t) cosh V):
IK(x,y; t)l
coshpy
-=-COS
h (1
p -X
) + IY>:if3(t)
a(t)
y ::; x,
{ IY>:i ln(t) sinh -J>: + Y>:f3(t) cosh Y>:i
::; coshpx h (1 ) a(t) + IY>:If3(t)
-~-V):=>-.-1 cos p - y ln(t) sinh V): + Y>:f3(t) cosh Y>:i
Hence
11 IK(x, y; t)idy
::; Isinh px cosh p( 1 - x) + cosh px sinh p( 1 - x) I
+ i-J>:if3(t)
a(t)
x--~--~~=-~~----~
PIY>:IIa(t) sinh Y>: + Y>:f3(t) cosh Y>:i
_ sinhp a(t) + IY>:If3(t)
- Pi-J>:iia(t) sinh V>.. + Y>:f3(t) cosh V>..i'
+ e;P { [(p,8 - a) cos CJ + CJ ,8sin CJ] + i[(a - p,8) sin CJ + CJ,8 cos CT]} I
21 e; {[(a+ p,8) cosCJ- CJ,8sinCJ] + i[(a + p,8) sinCJ + CJ,8cosCJ]}I
-I e;P {[(p,8- a) cosCJ + CJ,8 sinCJ] + i[(a- p,8) sinCJ + CJ,8 cos CT]} I
~ e~ 1~
2 [(a+ p,8)2 + CJ2 ,82] _ T [(a _
1/2
= p,8)2 + CJ2 ,82]
1 1
IK(x,y;t)ldy ~ (1+tan2 ;) l~l·
Combining this and (6.84) we conclude (6.82).
Proposition 6.12 If l.\1 2 E > 0 and A- E E ~o, then R(.\, A(·)) E
C 1 ([0, T]; .C(X)) and satisfies
[R(.\,A(t))/](x) = sin~x
a(t) J01 sinh V>-.(1- y)f(y)dy + V}..,LJ(t) J01 cosh VX(1- y)f(y)dy
x--~-------------=~-=--~--~----------
a(t) sinh V).. + VX,LJ(t) cosh VX
1
- VX
r
Jo sinh V">..(x- y)f(y)dy.
254 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
Hence we have
X
a(t)f3'(t)- a'(t)f3(t)
(a(t) sinh..;>.+ ..fif3(t) cosh -/).) 2 o
1
1 f( ) . h 1\ d
y Sill YAY y. (6.89)
Since
Isinh ..f>.xl = (sinh 2 px + sin2 O"X) 112 ,
l[%tR(.\,A(t))f] (x)l
::; (sinhp + 1) . 2 C
smh p · (a(t) + p/3(t)) 2
[~(coshp-
p
1) + 1] 11!11·
where f E C([O, 1] x [0, T]), ¢ E C([O, 1)). Concerning the condition (6.52)
of Theorem 6.3 there exists the following result.
6. 7. AN EXAMPLE 255
In view of (6.89) and the boundary condition ifJ(O) = 0 the value of the
function of (6.90) at x = 0 is equal to ifJ"(O) + f(O, 0). If ,8(0) = 0, then the
value of the same function at x = 1 is
1 1
(qy" (y) - qy(y)) sinh ydy = ifl' (1) sinh 1.
DA(t)(1/2,oo)
{u E C*• 1 ([0, 1]); u(O) = 1, sup lu(x) - u(1)1/lx- 11 < oo}
xE[0,1)
{ ,B(t) > 0,
{u E C*• 1 ([0, 1]);u(O) = u(1) = 0}, ,B(t) = 0,
256 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
k
IIA(t)R(,\, A(t))(A(t)- 1 - A(s)- 1 )11:::; L l:<t- s)a'l-\l~'•- 1 (6.92)
i=1
for ,\ E ~ = {A; Iarg -\I < Oo} \ {0} and 0:::; s < t:::; T. Set
Then
v'(a) = e<t-a)A(t) A(a)u(a)- A(t)e<t-a)A(tlu(a)
= A(t)e(t-a)A(t)(A(t)- 1 - A(a)- 1 )A(a)u(a). (6.98)
Substituting this in the right hand side of (6.99) and rewriting the result
appropriately
ct ~tm~;:::.
i=1
k
IIQ(t, s)!l $ C2:(t- s)<>i-.Bi- 1 :::; C(t- s)6-1. (6.107)
i=1
(ii) Using
Q(t, s) - Q(t, T)
= (A(t)2e(t-s)A(t) _ A(T)2e(t-s)A(T))(A(T)-1 _ A(s)-1)
+A(T) 2e(t-s)A(.,-)(A(T)- 1 - A(s)- 1 )
+(A(t)2e(t-s)A(t) _ A(t)2e(t-T)A(t)) (A(t)-1 _ A(T)-1)
=h +lz +h,
where
we get
Noting
(t- T)a; < (t- s)a;-{3; (T- s)a; (T- s)a;-{3; C(T- s)li
--'----'c-,,- ' , :::; :::; '
(t-s)~"'- (t-s)~"•+ 1 t-s t-s
t-s (t _ T)a; lt-s dO"
l -'--;:-:-'::----- dO" < (t - T) ai - {3; -
-r (]"{3;+ 2 - t-r 0" 2
= (t- T)a;-{3;- 1 (T- s) < C(t- T) 6 - 1 (T- s)
t-s - t-s '
we can easily show (6.108).
Lemma 6. 10 (i) For 0 :::; s < t :::; T
lim h E D(A(t)).
ddt A(t)- u = h-+0
1
Therefore
(6.111)
Suppose that the assumption (P4) holds. Then by Lemma 6.11 we have
By virtue of Lemma 6.9 (i) Qr E .C(C([r, T]; X)) and the inverse of I- Qr
is given by
Z(t, s) = [(1- Q 8 )-
1 (A(·)e<·-s)A(·)- A(s)e<·-s)A(s))] (t)
=lim
t->0
~R
t
(~,t A(o)) (A(O)x + f(O)) E D(A(O)).
Let 0 < f < 1. Integrating both sides of (6.117) from 0 tot- Et we get
= Jo
t-d A(t)e(t-s)A(t)(A(t)- 1 - A(s)- 1 )A(s)u(s)ds
Letting A(t) operate on both sides of (6.118) and using the definition of v(·)
we get
A(t)e<tA(t)u(t- Et) - A(t)etA(t)x
where
=- t Q(t,s)A(s)u(s)ds
lt-<t
-(e<tA(t) -1- EtA(t)e<tA(t))(A(t)u(t) + f(t)) + (e<tA(t)- 1)f(t)
-A(t)e<tA(t)(u(t- Et)- u(t) + Etu'(t)) + (A(t)etA(t)- A(O)etA(O))x
+A(O)etA(O)x + Jo
t-<t (A(t)e<t-s)A(t) - A(s)e(t-s)A(s))f(s)ds
rt-<t
+ Jo A(s)e<t-s)A(s) f(s)ds = t-;Ii.
8
u(t) = u(Et) +it f(s)ds +it [(I- Q)- 1G,) (T)dT. (6.120)
<t <t
III1(T)II ~ r
h-ff
IIQ(T, s)A(s)u(s)llds ~ C(a) 6 sup IIA(s)u(s)ll,
~~~
III2(T)II ~ CIIA(T)u(T) + f(T)II·
By the proof of Lemma 6.12 we see that A(t)u(t) + f(t) E D(A(t)). Using
this and Lemma 1.5 (ii) we see that llh(T)II---+ 0 as E---+ 0. Noting
we obtain
III4(T)II = IJEtA(t)e<tA(t) 1 1
(u'(t)- u'(t- wt))dcrll
~C 1 1
llu'(t)- u'(t- wt)lldcr---+ 0
as E---+ 0, and
III4(T)II ~ C sup llu'(s)ll.
sE[O,T[
(6.121)
lim
<--->0
lt [(I-
<t
Q)- 1 Is) (T)dT
Similarly
lim
<---> 0
lt [(I-
<t
Q)- 1 h] (T)dT =
Jo
t [(I- Q)- 1
lim
<--->0
lt [(I-
<t
Q)- 117 ) (T)dT
266 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
=lot 1t [(I- Q 8 )-
1 (A(·)e<·-s)A(·)- A(s)e<·-s)A(s))] (r)drf(s)ds.
(6.124)
Since
1[(I-t
tt
Q)- 1 16] (r)dr
we see
+ 1 (1-<)<t it
<t
A(s)e<r-s)A(s)dT f(s)ds
1
d <t
(1-<)<t lt-<t
+ (e(t-s)A(s) - e(<t-s)A(s))J(s)ds + e<t-s)A(s) J(s)ds
(1-<)d
Since
6.10. REPRESENTATION OF SOLUTIONS 269
we see that the first term of the last side of (6.126) goes to 0 as E --> 0. The
second term also tends to 0 since it is equal to
( {t - rt ) e(<s/(1-<))A(s) f(s)ds.
lt-<t 1(1-<)<t
It is easily seen that the third and the fifth terms also go to 0. Hence we
obtain
d
dt Un(t) = An(t)Un(t) + f(t), t E [0, T] (6.128)
Un(O) =X, (6.129)
1 3 1 } (6.130)
lA. + nl :::; mm (1 + IA.I) sinllo' nsinllo ·
0 {
Proof. The assertion is easily shown if we note that ReA. > lA. Icos Bo for
A.E E.
(ii)
c
IIR(A., An(t))ll :::; 1 + lA. I, (6.132)
(iii)
(iv)
n
An(t)R(\An(t))= A.+nA(t)R ( A.+n'A(t)
A.n ) , (6.134)
6.11. APPROXIMATE EQUATIONS 271
(v)
ct
(iii)
Proof. (i) With the aid of Lemma 6.14 (iv) and the hypothesis (P4) we have
(6.144)
An(t)merAn(t)(A(t)-1- A(s)-1)
1.
= -2
7rz
r
Jr
;.m- 1eAT An(t)R(>., An(t))(A(t)- 1 - A(s)- 1)d>..
Hence
lt R(t, a-) (Rn(o-, s)- R(o-, s)) do-= lt R(t, a-) (Qn(o-, s)- Q(o-, s)) do-
lt Q(t, T) (Rn(T, s)- R(T, s)) dT = l t R(t, a-) (Qn(o-, s)- Q(o-, s)) do-
Lemma 6. 20 For 0::; s < t ::; T, 'f/ E (0, 6) and positive integers n
Proof. The inequality (6.157) is established with the aid of (6.154), (6.150),
(6.152),(6.156),(6.109).
We define
Lemma 6. 21 As n --+ oo
Proof. In view of (6.161), Corollary 6.1 and Lemma 6.15 (ii) we have
IIAn(T)e(r-s)A,(r) _ An(s)e(r-s)A,(s) _ A(T)e(r-s)A(r)
which implies
IIAn(T)e(r-s)A,(r)- An(s)e(r-s)A,(s)- A(T)e(r-s)A(r)
for 0 :::; "1 :::; 1. By Lemma 6.10 (ii), Lemma 6.19 (ii) and Lemma 6.20 we
have
Hence
lle<A(t-<) j(t- E)- e<A(t) j(t)ll
::; lle<A(t-<)(J(t- E)- j(t))ll + ll(e<A(t-<)- e<A(t))j(t)ll
k
::; Cllf(t- E)- f(t)ll + ci:>o:,-fi,JIJ(t)ll-> 0
i=l
It is easy to see that u(t) ---> x as t---> 0. It is also easily seen that the third,
fourth and last terms of the right hand side of (6.175) tend to 0 as t ---> 0.
Suppose that x E D(A(O)) and A(O)x + f(O) E D(A(O)). Then by virtue of
Lemma 6.23 Z(t, O)x - t 0 as t - t 0. In view of Lemma 6.8 we have
L to:;-;3;.
k
JletA(t) - etA(O) II ::; C
i=l
Hence
A(O)etA(O)x + etA(t) f(t)
= etA(O)(A(O)x + f(O)) + (etA(t)- etA(O))f(t) + etA(O)(J(t)- f(O))
-t A(O)x + f(O)
as t ---> 0. Therefore (6.171) is established.
278 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
+ it(An(s)e<t-s)A,(s)- An(t)e<t-s)A,(t))f(t)ds
we have u(t) = A(t)- 1 (du(t)jdt- f(t)). Therefore u(t) E D(A(t)) and (6.1)
holds.
Remark 6. 5 A maximal regularity result analogous to Theorem 6.4 holds.
See Acquistapace and Terreni [8: Theorem 6.1].
6.13 Application
In [1] Acquistapace showed that the hypotheses (P1),(P2),(P4) are satisfied
by the realizations of strongly elliptic operators in the space C(O), where
0 is a bounded open set of Rn, under suitable boundary conditions making
use of the result of H. B. Stewart [145]. The results of [1],[6],[8] are powerful
for such equations having operators which are not densely defined. However
in this section we consider the same kind of problem in £ 1 (0). This is a
6.13 APPLICATION 279
be the adjoint system of L(x, t, Dx), {Bj(x, t, Dx)}-;l;. Let all the coeffi-
cients of Bj(x, t, Dx), Bj(x, t, Dx),j = 1, ... , m/2, be extended to the whole
of 0 x [0, Tj. We assume that
aa, a~, la:l :::; m, DJbjf3, 1!11:::; mj, h'l :::; m- mj,
DJb~f3' 1!11 :::; m~, bl :::; m- m~, j = 1, ... , m/2
are uniformly Holder continuous in t of order h. We denote by A(t) the
realization of L(x, t, Dx) in L 1 (!1) under the boundary conditions
Bj(X, t, Dx)ulan = 0, j = 1, ... , m/2,
and those of L(x, t, Dx) and L'(x, t, Dx) in LP(O), 1 < p < oo, under the
boundary conditions
by Ap(t) and A~(t) respectively. We assume for the sake of simplicity that
0 E p(A(t)) n p(Ap(t)) for all p E (1, oo). Following the argument of section
3 of Chapter 5 we establish the estimate of the kernel of A(t)- 1 - A(T)- 1
and its derivatives.
As in Chapter 5 for a real vector 'filet A~ (t) and A~ 11 ( t) be the realizations
of L(x, t, Dx+'fl) and L' (x, t, Dx+'fl) in LP(n) under the boundary conditions
Bj(x, t, Dx + 'fl)ulan = 0, j = 1, ... , m/2, and
Bj(x, t, Dx + 'fl)ulan = 0, j = 1, ... , m/2,
respectively. The assertions of Lemmas 5.11-5.15 hold for each t E (0, T]
with constants independent oft. Hence there exists an angle ()0 E (0, 1r /2)
such that if we set
E = {A; Oo ::; arg A ::; 27r - Oo} U {0}
the following assertion holds: for 1 < p < oo there exist positive constants
o and C such that if A E E,JAI ~ C,J'fll::; oJAJ 1 fm,t E (O,T], then A E
p(A~(t)) n p(A~, 11 (t)) and
m
2: IAI(m-k)/mll (A~(t) - A)- 1 fllk,p,n ::; Cllfllo,p,n, (6.177)
k=O
m
2: IAI(m-k)/mii(A~,'TI(t)- A)- 1 fllk,p',n::; Cllfllo,p',n (6.178)
k=O
We denote the kernels of the operators (A(t) - >. 1)- 1 · · · (A(t) - .At)- 1 and
(A77(t) - >.1)- 1 · · · (A 71 (t) - >.t)- 1 by K>.. 1 , ... ,>.. 1 (x, y; t) and K~ 1 , •.• ,>.z (x, y; t)
respectively. If we set
then
K At, ... ,A 1 ·ex ' y·' t) K At, ... ,A 1 (x ' y·' T)
77 77
-
282 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
is the kernel of
Using
s
S(t)- S(T) = 2)A71(T)- ). 8 ) - 1 · .. (A71(T)- >.i+l)- 1
j=1
x ((A (t)- >.j)- 1 - (A 71 (T)- Aj)- 1] (A 71 (t)- Aj_l)- 1 · · · (A 71 (t)- >.1)- 1
71
IIS(t)- S(T)II.c(£2(!l),Wk,oo(n))
s
::; Cit- Tlhl>-slk/m II 1>-jlarl, k = 0, ... , m- 1. (6.184)
j=l
With the aid of Lemma 5.10, (6.184) and (5.126) with T replaced by T(t)
we can estimate the derivatives in x of order up to m - 1 of the kernel of
the first term of the right hand side of (6.181). Those of the kernel of the
second term can be estimated similarly, and we get
l
::; Cit- Tlhl>-sl 1"' 11 m II 1>-jlarl, lnl < m. (6.185)
j=1
With the aid of the argument by which we deduced (5.131) from (5.129) we
obtain
ID~ (K>. 1 , ••• ,>. 1 (x, y; t)- K>. 1 , ••• ,>.1 (x, y; T))l ::; Cit- Tlhl>-sllaJ/m
l l
X:E exp ( -81>-kl 11mlx- Yl) II 1>-jlaj-1, lnl < m. (6.186)
k=1 j=1
6.13 APPLICATION 283
in absolute value. We choose E so small that 2lE - & 11m < 0. Since
we obtain
m< n+ lo:l
m > n + lo:l (6.187)
m = n+ lo:l
In [122] P. Grisvard's result on interpolation in L 1 (0) with boundary condi-
tions was used. However, the corresponding result in LP(O), 1 < p < oo, an-
swers the purpose there and also in what follows. Let m 0 = minj= 1 , ... ,m;2 mj.
Suppose
h >max { m-mo-1 , -1}
m m
Then there exist numbers p, (}satisfying
m-mo-1 1
h>p>O> , (} -m
> -. (6.188)
m
Let (1- O)m- m 0 < 1/q < 1, 1- 1/n < 1/q < 1. In view of P. Grisvard
[71] (see also H. 'friebel [154; pp.329-321]) we have
(D(Aq(t)), U(O))o,q = w(l-O)m,q(O), (6.189)
(6.190)
284 CHAPTER 6. PARABOLIC EVOLUTION EQUATIONS
With the aid of (6.187), (n- 1)q <nand Lemma 1.1 we get
Hence we obtain
Hyperbolic Evolution
Equations
285
286 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
both in the strong topology of X and that of Y. Hence R(,\, A)y E Y, i.e. Y
is invariant under R(,\, A). It follows from the definition of the infinitesimal
generator that if y E D(A) then y E D(A) n y and Ay = Ay E Y. This
shows that y E D(Av) and Avy = Ay. Hence A CAy. On the other hand
if y E D(Av ), then Ay = Ayy E Y, and
( 1- ~Ay) -n y = ( 1- ~A) -n y.
Letting n---+ oo we get etAyy = T(t)y. This shows that Y is invariant under
T(t) and the restriction of T(t) toY is a C0 -semigroup.
7. 1. ADMISSIBLE SUBSPACES 287
Therefore
which implies y = (A- A)8- 1x, and hence R(-X, A)y = 8- 1x E Y. Conse-
quently R(,\, A)Y C Y. Conversely suppose that R(-X, A)Y C Y. Let x E Y.
Set y = R(-X, A)8- 1x. Then y E Y n D(A) and Ay = AY- 8- 1x E Y. This
implies y E D(Ay ), and hence 8y E D(A 1). Therefore with the aid of (7.8)
Since D(A1) is dense in Y, D(Ay) is dense in Y. If Re,\ > /31, then in view
of (7.9),(7.10) A E p(A 1) = p(Ay) and
and for every finite sequence 0:::; t 1 :::; t2 :::; • • • :::; tk :::; T, k = 1, 2, ... , and
.-\>[3
In (7.12) and in what follows products containing {tj} are always "time
ordered", i.e. a factor with a larger tj stands to the left of ones with smaller
tj.
If A(t) E G(X, 1, [3) for any t E [0, T], then the family {A(t); t E [0, T]} is
clearly stable with stability constants 1, [3.
Proposition 7.3 A family {A(t); t E [0, T]} of infinitesimal generators of
Co-semigroups in X is stable if and only if there exist constants M ;::: 1
and f3 such that (7.11) holds and either one of the following conditions is
satisfied: for any finite sequence 0 :::; t1 :::; t2 :::; · · · :::; tk :::; T, k = 1, 2, ... ,
and Sj ;::: 0, j = 1, ... , k
(7.13)
290 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
or for any finite sequence 0 ::::; t 1 ::::; t2 • • • ::::; tk ::::; T, k = 1, 2, ... , and
AJ > ~,j = 1, ... ,k,
k k
II R(Aj,A(tj)) ::::; MII(Aj- ~)- 1 • (7.14)
j=l j=l
k k
= II[NR(N,A(tj))]mJ =Nm IIR(N,A(tj))mj
j=l j=l
k
}] R(A, A(tj) + B(ti)) =}] k {
~ R(A, A(tj)) [B(ti)R(A, A(ti))t .
00 }
(7.15)
If we expand the right hand side of (7.15), a general term is of the form
the norm of which does not exceed Mn+ 1 Kn(A- (3)-n-k in view of the
stability condition (7.12), where n = 2:~= 1 nj. The number of the terms
in which 2:~= 1 ni =n is equal to the coefficient of an in the expansion of
(:E:=o am)k. Since
If we put
we obtain
k
IT R(A, Ay(tj))
j=1
::; C 2 M1(>.- {31)-k exp (M1 t IIPill)
ct,
y J=2
<
-
c2 M 1 eMtCV(>.- {31 )-k '
7.3. CONSTRUCTION OF EVOLUTION OPERATOR(l) 293
d
dt u(t) = A(t)u(t) + f(t), t E [0, T], (7.18)
u(O) = x. (7.19)
Let X andY be Banach spaces with norm 11·11 and ll·lly respectively. We
assume that Y is a dense subspace of X and the norm of Y is stronger that
that of X.
We state the basic assumptions of this section.
(H1) {A(t); t E [0, T]} is a stable family of infinitesimal generators of C0 -
semigroups in X.
(H2) Y is A(t)-admissible for any t E [0, T], and the family {Ay(t); t E
[0, T]} of the realizations Ay(t) of A(t) in Y is stable in Y.
(H3) For t E [0, T], D(A(t)) :::::> Y, and A(t) is a bounded linear operator
from Y into X, and A(t) is continuous in [0, T] in the norm topology of
.C(Y, X).
We denote the stability constants of {A(t); t E [0, T]} by M, (3, and those of
{Ay(t); t E [0, T]} by M, ~.
where the right derivative in (7.23) and the derivative in (7.24) are in the
strong topology of X Moreover, the evolution operator having the above
properties is unique.
294 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
Un(t, s) = (7.27)
Clearly U(t, s)x is continuous in 0 :=:; s :=:; t :=:; T in the strong topology of
X, and it follows from (7.28) and (7.29) that (7.20) and (7.21) hold. Next
we show (7.23),(7.24). For y E Y, 0::::; s < t::::; T, 0::::; T ::::; T we have
Hence
( -a)-u( t, s ) y I . ____:.-'----'-'------'--'-~
= 1lm U(t,t)y-U(t,s)y
as s=t sTt t- s
-l'
- lm y- U(t, s)y -- -A(t) y. (7.40)
sTt t- S
For 0::::; s < t::::; T we get with the aid of (7.23)
(a)+
as U(t, s)y = ~ffl h1 [U(t, s + h)y- U(t, s)y]
296 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
1 t [)
V(t, s)y- Un(t, s)y =- s or V(t, r)Un(r, s)ydr
Proof. Let Un(t, s) be the operator valued function defined by (7.27). Then
Un(t, r)u(r) is a continuously differentiable function of r except at a finite
number of points and
[)
or Un(t, r)u(r) = -Un(t, r)(An(r)- A(r))u(r) + Un(t, r)f(r). (7.45)
(7.50)
For an operator valued function F(t), t E [0, T], let F(t; P) be the step
function defined by
Hence we have
=- l tj+l
t·
3
S(tk)U(t%,a;P)S(a;P)- 1B(a;P)U(a,ti;P)xda. (7.56)
= - l t;
tk
S(t%)U(t%, a; P)S(a; P)- 1 B(a; P)U(a, ti; P)xda. (7.57)
300 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
S(t~)S(tk)- 1 U(t~, ti; P)x- S(t~)U(t~, tk; P)S(tk)- 1 U(tk, ti; P)x
t"
= - { S(t~)U(t~, o-; P)S(o-; P)- 1 B(o-; P)U(o-, ti; P)xdo-. (7.58)
k
ltk
From (7.57) and (7.58) we obtain
S(t~)U(t~, ti; P)S(ti)- 1x- U(t~, ti; P)x
= S(t%)(S(tk)- 1 - S(t~)- 1 )U(t~, ti; P)x
k-1
+ LS(t~)U(t~, ti+1; P)(S(tj)- 1 - S(ti+l)- 1)U(ti+1• ti; P)x
j=i
+ L t"
k S(t~)U(t~, o-; P)S(o-; P)- 1 B(o-; P)U(o-, ti; P)xdo-. (7.59)
(7.65)
According to (7.53) limk->oo U(t%, t 0 ; P')y exists in Y. Hence by (H2') we
have
k-1
= (A(tU _ A(t~)) e(t~ -tk)A(tk) II e(tJ+t-tj)A(t3 )y
j=O
= (A(tk) - A(t%)) U(t%, to; P')y -+ 0
302 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
= 1:' U(ti, CT; Pi)(A(CT; Pi)- A(CT; Pi))U(CT, si; Pi)YidCT. (7.67)
12 ::; M e.BT CIIY1 - Yli + IIY2- Yli) + IIU(t1, s1; P3)y- U(t2, s2; P3)Yii· (7.71)
n,m---+oo
exists in X, and furthermore using (7.66) we see that the limit U(t, s)x does
not depend on the choice of the sequences {sn}, {tn}, {Yn}, {Pn}· We are
going to show that
For each s, t, U(t, s) is a bounded linear opemtor in X satisfying
for any refinement Pn of Pn. Hence it is easily seen that U(t, s) is a linear
operator in X. The inequality (7.74) is a direct consequence of (7.51). Let
s ::; r ::; t and r n be a point of Pn such that r n -+ r as n -+ oo. If we set
Zn = U(rn, sn; Pn)Yn, then Zn E Y and Zn-+ U(r, s)x. Let P~ = Pnn[rn, T].
Then P~ satisfies (7.61), (7.62) with E, s, y replaced by 1/n, rn, Zn, since
U(t, rn; P~)Zn = U(t, rn; P~)U(rn, sn; Pn)Yn = U(t, sn; Pn)Yn· (7.75)
With the aid of Step 4 we can show without difficulty that for 0 ::; s ::; t ::;
T, 0 ::; s' ::; t' ::; T and x E X, y E Y
IIU(t, s)x- U(t', s')xll ::; C [2llx- Yll +(It- t'l +Is- s'I)IIYIIv].
1\(A(a)- A(s))e(u-s)A(s)y\\
:::; \\(A(a)- A(s))(e(u-s)A(s)y- y)ll + 1\(A(a)- A(s))y\1
:::; Clle(u-s)A(s)y- Yllv + II(A(a)- A(s))YII---> 0
as a----> s.
Step 7. We complete the proof of the theorem in this step. We begin with
the proof of (7.48). Let s E [0, T) andy E Y. Let Pn = P(ljn, s, y) be a
partition of [s, T] as in Step 3. Set V(t, r) = U(t, r)S(r)- 1 for s:::; r:::; t:::; T.
Then using(7.24)
8
or V(t, r)U(r, s; Pn)Y = -U(t, r)A(r)S(r)- 1 U(r, s; Pn)Y
d
+U(t, r) drS(r)- 1 • U(r, s; Pn)Y + U(t, r)S(r)- 1 A(r; Pn)U(r, s; Pn)Y
d
= -U(t, r)A(r)S(r)- 1U(r, s; Pn)Y + U(t, r) drS(r)- 1 • U(r, s; Pn)Y
where
C(r) = S(r) drd S(r)- 1 - B(r) = S(r)S(r)-
.
1 - B(r),
Since
II(A(r; Pn)- A(r))U(r, s; Pn)YI\ :::; 1/n
306 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
in view of (7.62) we see that the second term of the right hand side of (7. 79)
tends to 0 as n --+ oo. Hence we obtain
Hence we obtain
U(t, s)IY = S(t)- 1W(t, s)S(s),
from which (7.48) follows.
From (7.23) which was proved in the last step and (7.48) it easily follows
that
( :t) + U(t, s)y = A(t)U(t, s)y (7.83)
for y E Y. Since the right hand side of (7.83) is continuous in 0 ::::; s ::::; t ::::; T
in the strong topology of X, we conclude (7.49) with the aid of Lemma 1.3.
Thus the proof of Theorem 7.3 is complete.
This enables us to construct the evolution operator also by using the Yosida
approximation of A(t). But the proof is rather delicate and laborious, and
we prefered the simpler proof of Kobayashi [95].
7.6. EXISTENCE OF REGULAR SOLUTIONS 307
= S(t)- f(t) - U(t, O)S(0)- f(O) -lot U(t, s)! (S(s)- f(s))ds
1 1 1
d t
dt Jo U(t, s)f(s)ds = -A(t)U(t, O)S(o)- 1 f(O)
rt d
- Jo A(t)U(t, s) ds (S(s)- 1 f(s))ds + >.0 S(t)- 1 f(t)
-lt d
A(t)U(t, s)-(S(s)-
ds
1 f(s))ds + >.o
o
lt
A(t)U(t, s)S(s)- 1 f(s)ds.
Therefore we obtain
d
dt t t
Jo U(t, s)f(s)ds- A(t) Jo U(t, s)f(s)ds
= >.oS(t)- 1 j(t) - A(t)S(t)- 1 f(t) = f(t).
7.7. EQUATIONS IN HILBERT SPACES 309
=
Since the first term of the right hand side of (7.84) is a strict solution with
f(t) 0, we complete the proof.
R(~S+A+~) =X,
and hence for any y EX there exists a sequence {xn} C D(S) such that
1
-Sxn
n
+ Axn + ~Xn = y, (7.87)
(ii) for every y E X there exists a sequence {xn} C D(S) satisfying (7.87)
such that {xn}, {Axn} are bounded.
Then (A+ ~)D(S) and hence R(A + ~) is dense in X.
310 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
Proof. Let f EX* be such that for any x E D(S), ((A+ .;)x, f) = 0. Let y
be an arbitrary element of X and a sequence { Xn} be as above. Then
Hence if A is accretive and Re>. > 0, then A + >. has a continuous inverse.
Therefore an m-accretive operator is closed. If A is accretive and R(A +f.L) =
X, fJ, > 0, then -fJ, E p(A), and y = (>. + A)x is equivalent to
Consequently with the aid of a fixed point theorem we can easily show that
an accretive operator A is m-accretive if and only if R(>. + A) = X for
any >. such that Re>. > 0. If A is m-accretive, then for any x E X and a
positive integer n we have lln(n + A)- 1xll ::; llxll· Hence some subsequence
of {n( n + A) - l x} converges weakly to some element z E X. Since
Re(((A+a)(1+~8)- 1 +~)x,x)
= Re ((A+a) (1+ ~8) - 1 x, (1+ ~8)- 1 x)
+~Re (A ( 1 + ~8) - 1 x, 8 ( 1 + ~8) - 1 x)
+~a ( ( 1 + ~8) - 1 x, 8 ( 1 + ~8) - 1 x) + ~llxll 2
2 -~ ['Y II ( 1+ ~8) -1 xll2 + /311 ( 1+ ~8) -1 xllll8 ( 1 + ~8) -1 xll]
+~llxll 2 2 ( ~- f3 - ~'Y) llxll 2·
is surjective, and
1 ) -1 1
( -S+A+a+~ ::; ~ - f3 -eyn
/ .
n
(~S+A+a+~) Xn =y
and {xn} is bounded. Since
(7.90)
Let s< = S(l + t:S)- 1 = c 1 (1- (1 + ES)- 1 ), E > 0, be the Yosida approxi-
mation of S.
Then
Re(Ax, S<x) 2: -f3(x, S<x), x E D(A). (7.92)
7. 7. EQUATIONS IN HILBERT SPACES 313
(Ax, Sex)= (Ax- A(1 + E8)- 1x, Sex)+ (A(1 + E8)- 1x, Sex)
= E(ASex, Sex)+ (A(1 + ES)- 1x, 8(1 + E8)- 1x).
Hence
Let Be, E > 0, be the Yosida approximation of S. Then with the aid of (7.92)
we get
This implies
(7.96)
for 0 < >. < ,e- 1 S a- 1. Hence {si1 2y(>.)} is bounded as E-+ 0, and so it
contains a weakly convergent subsequence. Since (1 + ES)- 112y(>.)-+ y(..\)
as E-+ 0 and si 12 = 8 112(1 + ES)- 112, it follows that y(>.) E D(S112) and
s1f2y(>.) = w-lim
e->0
s;f2y(>.).
From (7.95) and (7.96) it follows that Y is invariant under (1 + ..\A)- 1 and
(7.93) holds. A repeating application of (7.93) yields
for any positive integer n. Let t > 0. If n is so large that n > {3t, then we
get from (7.97)
Letting n---+ oo we conclude that Y is invariant under e-tA and (7.94) holds.
In order to prove that Y is -A-admissible it remains to verify that for
YE Y
IISlf2etAY- sl/2YII ---+ 0 (7.98)
as t---+ 0. With the aid of (7.94) we can easily show that
Slf2y = W-lim Slf2e-tAy. (7.99)
t--+0
Hence
IIB112 YII $ li~_}~f IIB 112 e-tAYII·
On the other hand we see from (7.94)
Therefore
(7.100)
In view of Lemmas 7.1, 7.3 and (7.101),(7.102), {A(t);t E [0, T]} is stable
in X with stability constants 1, a, Y is A(t)-admissible for each t E [0, T]
and {Ay(t); t E [0, T]} is stable with stability constants 1, (3. Hence, we
can apply Theorem 7.1 to find that there exists a unique evolution operator
U(t, s), 0::; s ::; t ::; T, satisfying (7.20),(7.21),(7.22),(7.23),(7.24) with 1,
a in place of M, (3. Let {Un(t, s)} be the approximating sequence defind
by (7.27). Then for each x E X, {Un(t, s)x} converges to U(t, s)x in X
uniformly in 0::; s ::; t::; T, and in view of (7.30),(7.31),(7.94) we have
IIUn(t, s)ll ::=; e'x(t-s), IIUn(t, s)IIY ::=; ef3(t-s), (7.104)
IIS1/2Un(t, s)yll::; ef3(t-s)IIS1/2YII for y E Y. (7.105)
Lemma 7. 4 Let y E Y. Then
(i) U(t, s)Y C Y and
IIU(t, s)IIY::; ef3(t-s), (7.106)
IIS1/2u(t, s)yll::; ef3Ct-s)IIS1/2YII, (7.107)
(ii) S 112 U(t, s)y is weakly continuous in 0::; s::; t::; T,
(iii) for to E [0, T]
(7.108)
as (t, s)---+ (to, to). Since S 112 y =w-limcs,t)->(to,to) S 112 U(t, s)y we have
(ii) for each s E [0, T), A(·)U(·, s)y is Bochner integrable in [s, T], and
(iii) for each s E [0, T), U(·, s)y is right differentiable in [s, T), and
(iv)
a
at U(t, s)y = A(t)U(t, s)y a.e. t E (s, T).
Proof. (i) Since U(·, s)y E C([s, T]; X) it suffices to show that S 112U(·, s)y E
C([s, T]; X). Let to E [s, T]. Since S 112 U(·, s)y is weakly continuous in [s, T]
by virtue of Lemma 7.4 (ii), it remains to show that
(7.117)
Letting E - t 0 we obtain
a
at U(t, s)y = A(t)U(t, s)y, 0::; t::; s::; T.
a
as U(t, s)U(s, t)y = 0.
Therefore we obtain
U(t, s)U(s, t) =I. (7.118)
With the aid of (7.118) we can easily show that U(t, s), (s, t) E [0, T] x [0, T]
satisfies the assertions of Theorem 7. 7.
We have
1
--An(r)Un(r, s)y + -Am(r)Um(r,
1 s)y)
n m
320 CHAPTER 7. HYPERBOLIC EVOLUTION EQUATIONS
au ~ au
at + f;t aj(X, t) axj + b(x, t)u = f(x, t), x E n, t E [0, T], (70119)
is nonsingular on an X [0, T], where n = (nl, ... 'nm) is the exterior unit
normal to an.
The boundary subspace P(x, t) is a linear subspace of RN which varies in
a C 3 manner with (x, t) E an x [0, T]. P(x, t) is maximal nonnegative for
each x, t, i.e.
(an(x, t)u, u) ;::: 0, u E P(x, t),
7.8. REMARK ON APPLICATIONS 321
and P(x, t) is not a proper subset of any other subspace of RN having this
property.
Let A(t) be the smallest closed extension of the operator A 0 (t) defined
by
f)
:E aj(x, t) f):. + b(x, t)u
N
Ao(t) =
j=l J
with
Retarded Functional
Differential Equations
tE[O,T], (8.1)
323
324 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
and hence
u E C((O, T]; (D(A), Hh;z,z). (8.5)
There exists a constant c1 such that
We have
we have u~---+ u' in L 2 (0, T-E; H) for any E > 0. Let 0 < t < T. Integrating
both sides of
(EJjos)(U(t- s)un(s)) = U(t- s)(u~(s)- Aun(s))
from 0 to t we get
Clearly this equality also holds for t = T. Thus the proof of the uniqueness
is complete.
We denote the Laplace transform of a function f defined in ( -oo, oo) and
taking values in H by]:
](>.) = rrc
1
v2n
100
-oo
e-t>. f(t)dt.
Since for real variables .;, 71 ](.; + iry) is the Fourier transform of e-t~ f(t),
1:
we have in view of Plancherel's theorem
e-t~w(t) = - 1 -1 00
..ffff -00
eit11 w(.; + iry)dry
1
= . tn=
100 e' 't
71 R(,; + iry, A)J(.; + iry)dry.
A
v2n -oo
1: 1:
Hence using (8.3)
Since the rightmost side goes to 0 as ~ ~ +oo, we see that w(t) = 0 for
t < 0. Also we have
wE L?oc( -oo, oo; D(A)). (8.9)
Differentiating both sides of
w(t) =- 1 -1
..j2ii
00
-00
et<~+i77) R(~ + i'TJ, A)](~+ i'TJ)d'TJ
we get
~
ddt w(t) = y27r 1 et<~+i7J)(~ + i'TJ)R(~ +
00
-00
i'TJ, A)](~+ i'TJ)d'TJ. (8.10)
1: 1:
Hence
2
II(~+ i'TJ)R(~ + i'TJ, A)](~+ i'TJ)II 2d'f/
J:
lle-t.;! w(t)ll dt =
::; M2 II](~+ i'TJ)II2d'f/ = M21T e-2t~llf(t)112dt.
(
Consequently w E W[~; -oo, oo; H). Combining this with (8.9) we get
Aw(t) = - 1
..j2ii
-1 00
-00
et<~+i7J) AR(~ + i'TJ, A)j(~ + i'TJ)d'TJ,
it follows that
!!:_w(t) - Aw(t)
dt
= - 1-
..j2ii
Joo et<~+i7J) ](~ + i'TJ)d'TJ = f(t).
-00
We shall need the following regularity result when the data are more regular.
and we have
du(t)/dt = U(·)(Ax + f(O)) + U * f'. (8.16)
(ii) Iff E £ 2(0, T; D(A)), x E D(A) and Ax E (D(A), H)1; 2,2, then the
solution u of (8.12),(8.13) satisfies
and we have
Au(·)= U(·)Ax + U * Af(·). (8.18)
Proof. (i) Let Un} be a sequence in C 1 ([0, T]; H) such that fn ----> f in
W 1 •2 (0, T; H). Set
Un = U(·)x + U * fn·
328 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
we get
u~(t) = U(t)(Ax + fn(O)) + lt U(t- s)f~(s)ds.
As n---+ oo
Un---+ u, u~---+ U(·)(Ax + f(O)) + U * !'
in T; H). Consequently u E
L 2 (0, T; H) and (8.16) holds. Hence
W 1 •2 (0,
the remaining part of the assertion is an easy consequence of Proposition
8.3.
(ii) It is easy to verify (8.18). Hence we complete the proof applying
Proposition 8.3.
=
semigroup in H. Hence there exist positive constants M, Co and an angle
() E (11"/2,11"] such that p(Ao) :::> :E {>.; JargA.J < B, JA.J >Co} and for A. E :E
the following inequality holds
Since
Lut = /_: a(s)A2ut(s)ds = j_oh a(s)A2u(t + s)ds,
d
dt u(t) = Aou(t) + A1u(t- h)+ Lut + f(t), t E [0, T], (8.22)
u(O) = g0 , u(s) = g 1(s) s E [-h, 0). (8.23)
Similarly
Hence
IILu.IIP(O,T;H) :::; IILIIVTIIull£2( -h,T;D(Ao))· (8.28)
For a given u E L 2 (0, T; D(A0 )) define
g\t) t E [-h, 0)
u(t) ={ (8.29)
u(t) tE [O,T]
Then u E L 2 ( -h, T; D(A0 )). Noting u(t- h)= g 1 (t- h) fortE (0, T] since
we are assuming T:::; h, we set for 0:::; t:::; T
(Su)(t) = etAog0 +lot e(t-s)Ao (A1g 1 (s- h)+ Lus + f(s)) ds. (8.30)
t E (-h, 0)
' i = 1,2. (8.31)
tE [O,T]
8.3. SOLVABILITY AND REGULARITY 331
Then
(Sih)(t)- (Su2)(t) =lot e<t-s)Ao L(uls- U2 8 )ds. (8.32)
In view of (8.25),(8.28)
Hence if c1IILIIVT < 1, Sis a strict contraction and there exists a unique
fixed point u. The function defined as (8.29) is a unique solution of (8.1),(8.2).
The magnitude ofT depends only on c1 and IlLII, and is independent of the
initial values. Since in (0, T)
we have by (8.25),(8.26),(8.27),(8.28)
lluii£2(0,T;D(Ao))nW 1 ·~(0,T;H)
:::; c2llg 0 llcvcAo),Hh 1 ~.~ + c1IIA1g 1(·- h)+ Lu. + !IIP(o,T;H)
:::; c2llg 0 llcvcAo),Hh 1 ~.~ + cliiAlllllg 1II£2C-h,O;D(Ao))
+cliiLIIVTIIuii£2(-h,T;D(Ao)) + cliiJIIL~(o,T;H)
:::; c2llg 0ll (D(Ao),Hht~.~ + cliiA1IIIIg 1ll£2( -h,O;D(Ao))
+cliiLIIVrllg 1IIL2C-h,o;D(Ao)) + cliiLIIVTIIull£2(o,T;D(Ao))
+clllfiiPco,T;H)·
Hence
iiuiiL~(O,T;D(Ao))nW 1 ·~(0,T;H)
u(t1 +t) = etAou(t1)+ 1t e<t-s)Ao (A1 u(t1 + s- h)+ Lutt +s + j(t1 + s)) ds.
This shows that u(t 1+t) is a solution in [-h, t 2 ] with initial values u(t1), ut 1
and the inhomogeneous term j(t1 + t).
Conversely suppose that v is a solution in [-h, t 1 ] and w is a solution in
[-h,t2 ] with initial values v(tl),vtt and the inhomogeneous term j(t1 + ·).
Set
v(t) -h::::; t::::; tl
u(t) ={ (8.35)
w(t- t1) t1 ::::; t::::; t1 + tz
We are going to verify that u is a solution in [-h, t1 + tz]. If -h::::; t < 0,
w(t) = Vtt (t) = v(t1 + t) = u(t1 + t), and if 0 ::; t ::::; tz, w(t) = u(t1 + t).
Hence
w(t) = u(t 1 +t) for - h::::; t::::; t 2 • (8.36)
If t1 < t::::; h + tz, using (8.36) we have
u(t) = w(t- t1) = e(t-tt)Aov(t1)
rt-tt
+ Jo e(t-tt -s)Ao (A1w(s- h)+ Lw8 + j(t1 + s)) ds
IISih - Su211~n.~co,T;D(Ao))
= IIBu1- Su211i~co,T;D(Ao)) + II(Su1- Su2)'11i~co,T;D(Ao))
::; ciiiLII 2T (11u1 - U2 lli~(-h,T;D(Ao)) +!lui - u~lli~c -h,T;D(Ao)))
= c~IIL1i 2 TIIu1- u211~n.~co,T;D(Ao))·
Consequently S is a strict contraction in K, and the solution u belongs
to W 1 ,2 (0, T; D(A 0 )). Using the argument by which we deduced (8.34) we
obtain
llu'IIL2(0,T;D(Ao))nWt·~(O,T;H)
1 [
::; 1- c111LIIVT c211Aog
0
+ A1g 1 (-h)+ Lg 1 + f(O)IIcncAo),Hht2.~
+c1(IIA1II + IILIIVT)IIg 11 IIL2(-h,O;D(Ao)) + c1llf'IIL2(0,T;H)] ·
Therefore we can proceed as in Theorem 8.1 to obtain the conclusion for an
arbitrary T > 0.
Cr 1 tE[O,T]
max llu(t)II(D(Ao) Hht~ ~
' '
::; llull£2(-h,T;D(Ao))nwt.~(O,T;H) ::; CTIIgllz, (8.41)
8.4. SOLUTION SEMIGROUP 335
Hence
0
= j_h IIAo(u(E + s; g)- g (s))ll 2ds 1
::::; 2 (j_oh IIAou(E + s; g)ll 2 ds + j_oh IIAog 1 (s)ll 2 ds) < oo.
Ao if + (if
u(t; g)dt A1 Ut(·; g)dt) (-h)+ L if Ut(·; g)dt
= if + if
A0 u(t; g)dt A1 u(t- h; g)dt + ifL Ut(·; g)dt
=if = u'(t; g)dt u(E; g)- u(O; g)= u(E; g)- g0 E (D(Ao), Hh;2,2·
Consequently J;
S(t)gdt E D(A).
Proof of (iii). Suppose that g E D(A). By virtue of Theorem 8.2 (8.45)
holds for any T > 0. Therefore as t ----> 0
l ~(u(t;g) -g 0) -u'(O;g)ll
(D(Ao),Hh/2,2
Since
1 1
t (ut(·;g) -g 1 ) (s) = t(u(t+s;g) -u(s;g))
1 {1 d {1
=t}o dOu(Bt+s;g)dB= Jo u'(Bt+s;g)dO,
338 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
we have
o
1 -h t
II!
(ut(·;g) -g1) (s) -u'(s;g)ll2
D(Ao)
ds
=1°
-h Jo
I{ 1
(u'(Bt+s;g)-u'(s;g))d011
D(Ao)
ds
2
1
:::; 1° { iiu'(Ot+s;g) -u'(s;g)ii~(Ao)dOds
-hlo
1 0
= { 1iiu'(Ot+s;g)-u'(s;g)ii~(Ao)dsd0.
Jo -h
°
1 -h ~~~(ut(·;g)-g 1 )(s)-u'(s;g)ll 2D(Ao) ds---+0. (8.47)
Therefore if g E D(A),
A!
t
t
Jo
S(T)gdT = S(t)g- g
t
---+ Ag, lit
-
t 0
S(T)gdT---+ g
Hence the assumptions of Theorem 8.2 are satisfied. Therefore the solution
u of (8.1),(8.2) satisfies
Ax(t) = (Aou(t) + A1u(t- h)+ Lut, (ut)') = (u'(t)- f(t), (ut)'), (8.54)
Hence
Ut- Uo = l t (u')rdT
is bounded in [0, T]. Therefore u E W 1·2( -h, T; D(Ao)). From the equa-
tion (8.1) it also follows that u E W 2 •2 (0, T; H). Hence u is a solution of
(8.1),(8.2) satisfying (8.53).
The strict solution of (8.56),(8.57) is represented by
In this and the following sections H*, V* stand for the sets of all conjugate
linear continuous functionals defined in H, V respectively. By assumption
the mapping which maps elements of H* to their restrictions to V is an
injection from H* to V*. Therefore identifying an element of H* and its
restriction to V we may consider H* C V*. Using Riesz's theorem we
identify H and H*. Hence we may consider
V c H c V*. (8.64)
The pairing between V and V* is also denoted by (·, ·): for l E V*, u E
V, (l, v) is the value of l at v. In particular if l E H, then (l, v) is the
innerproduct of l and v considered as elements of H. The norm of V* is
denoted by ll·lk
IIlii. = sup l(l, v)l/llvll· (8.65)
O#vEV
As is easily seen 11!11• :::; Colfl for any f E H. Hence the imbedding H C V*
is also continuous.
In what follows in this chapter we denote the complex number field by C.
Let a(u, v) be a sesquilinear form defined on V x V: for u, v E V a(u, v) E
C and
Since
I(Au, v)l = la(u, v)l::; Clllullllvll,
we have IIAull* ::; Clllull· Therefore A E C(V, V*) and IIAII ::; cl. Let A be
the realization of A in H:
Then for any F E X* there exists an element u of X such that for any
vEX we have F(v) = B[u, v].
Proof. Let u E X be fixed. Then the functional X 3 v 1--t B[u, v] E C is
conjugate linear and continuous. Therefore there exists an element Su of
X such that B[u, v] = (Su, v) for any vEX. Sis a linear mapping from X
to X and by (8. 70)
from which it follows that cllull ::; IISull, and hence S has a continuous
inverse. Therefore R(S) is closed. If v is orthogonal to R(S), then for any
u EX we have (Su, v) = 0. Choosing u = v we have
If there exists another element u' E X such that F(v) = B[u', v] for any
vEX, then B[u- u', v] = 0 for any vEX. Hence
Then
IB[u, v]l
:::; Clllullllvll + l>.llullvl :::; ( cl + I>.IC5) llullllvll,
ReB[u, u] = Rea(u, u)- Re>.lul 2
~ eollull 2 - (k + Re>.)lul 2 ~ eollull 2. (8.77)
8.6. REGULARLY ACCRETIVE OPERATORS 345
or (8.76).
346 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
1:
sidering the following control problem for the equation (8.1):
d
dtx(t) = Ax(t) + <l>w(t), 0 ~ t ~ T, (8.87)
x(O) = g, (8.88)
dz(t)jdt=A*z(t), z(O)='¢.
Wn(t) = 1 T+a
-a Pn(t- s)w(s)ds.
This means that the distribution derivative of (u(t), v(t)) coincides with the
right hand side of (8.91). Since this is integrable in [0, T], the conclusion of
the lemma follows.
Proposition 8. 5 (V, V*h;2,2 =H.
Proof. Suppose x E H. If we put u(t) = etAox, then
1d
"2dtlu(tW =Re(u'(t),u(t))
= Re(Aou(t), u(t)) = -Rea(u(t), u(t)):::; -eollull 2 + kju(tW.
Integrating this differential inequality we obtain
! v(t) = Abv(t) + Aiv(t- h)+ loh a(s)A~v(t + s)ds, t E [0, T], (8.100)
where
For.>.. E C set
Then .6.(.>..), .6.T(.>..) are bounded linear operators from V to V*, and .6.(.\)* =
.6.(5.). As is easily seen if Re.>.. is sufficiently large, then .6.(.\), .6.T(.>..) have
bounded inverses .6.(.>..)- 1 , b..T(.>..)- 1 , which are called retarded resolvents of
A and AT respectively.
if and only if
go E V, (8.109)
1°
-h
It is clear that FE ,C(Z, Z*). It is easy to see that the adjoint operator F*
ofF is given by
(8.118)
352 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
for g = (g 0 ,g 1) E Z, (8.120)
8
= j_ h e:>..(r- 8) [A1g 1(-h- r) + j_rh a(CJ)Azg 1(CJ- r)dcr] dr
= A 11
8 e:>..(r- 8)g 1( -h- r)dr + 1 8 e:>..(r- 8) 1r a(CJ)Azg 1(CJ- r)dcrdr
-h -h -h
= A11o e:>..(-h-r-8)gl(r)dr + 18 a(CJ) 18 e:>..(r-8) Azgl(CJ- r)drdCJ
-h-8 -h a
= Al j_oh-8 e:>..(-h-r-8)gl(r)dr + j_8h a(CJ)Az1~8 e:>..(a-r-8)gl(r)drdCJ
= [FT:>..g] 1 (s).
Thus (i) is established. Since F* has the same property as F, and T:>.., K:>..
are independent of A, i = 0, 1, 2, (ii) is a consequence of (i).
8.8. STRUCTURAL OPERATOR 353
= (! +
0 [oh e>. 8 l(s)ds,u) = (Hxf,u),
which implies (iii). Taking adjoints we obtain (iv).
(v) and (vi) We have for fEZ* and g E Z
= f0 + 1°
-h
e>.s Al/ 1 ( -h- s)ds + 1° 1
-h
e>- 8
8
-h
a(T)Ad 1(T- s)dTds
354 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
Consequently we have
which implies
u(t) = ST(t)Ff.
Hence we see that
FS(t)f = ST(t)Ff (8.130)
holds iff E D(A). Since FS(t) and ST(t)F are both bounded linear oper-
ators from Z to Z* we see that (8.130) holds for any fEz. Thus the first
part of (8.123) is established. The second part follows by taking adjoint.
From the theorem or its proof (cf. (8.129)) we get
Corollary 8.1 Iff E D(A), then Ff E D(AT) and ATFf = FAf, and
iff E D(AT), then F* f E D(A*) and A* F* f = F* ATf·
Definition 8. 2 p(tl) = {,\;b..( A) is an isomorphism from V onto V*},
a-(tl) = C \p(tl). Replacing b..( A) by LlT(A) the sets p(b..T) and a-(b..T) are
defined.
The following corollary was first proved by M. C. Delfour and A. Manitius
[45: Proposition 4.2 (ii)]
Corollary 8. 2 (i) If A E p(Ll), then A E p(A) and
is defined as follows.
implies f = 0, or
<fl* S(t)* f =0 implies f = 0. (8.131)
Since F* is an isomorphism from Z to Z* under our assumption, (8.131) is
equivalent to saying that
As is easily seen
g 1(-s)+ 1 8
b(s-T)A1 1A 2g 1(-T)dT=A1 1f 1(s-h), sE [O,h],
where b(s) = a(s- h), s E [0, h]. Hence the problem is reduced to solving
the following integral equation
¢(s) + 1 8
b(s- T)A;:- 1A2¢(T)dT = 1/J(s), s E [0, h], (8.135)
(a* b)(s) = 1 8
a(s- a-)b(a-)du.
lb2n+1(s)l::; llb21i~ Jo
r (s- a-)n-1
(n _ 1)! lb(a-)loo,
where t,.(i-i+l)(>.) = (djd>.)Ci-i+ 1)t,.(>.). The same result holds with A and
t,. replaced by AT and t,.T respectively.
Proof. In case l = 1 the assertion is
(8.137)
¢= (¢g,e>-·~(~?¢?) EKt,
l-1 ..
~ ( - 1 )~-J A (i-j+1) (')A.~ = 0 • 1 { (8.138)
L....t (i - )• + 1)! L.l. A '/"~ ' ) = '• • •' •
i=j-1
Then
where
8.10. CHARACTERIZATION OF KER(>-. - A)1 359
l-1 . .
~ ( - 1Y-J ~(i-j+1)(>-.)·'·~ = 0 J. = 1, ... ' l. (8.142)
L.J (i - J. + 1)! '1-' 2 '
i=j-1
In view of Lemma 8.5
360 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
(8.145)
(8.146)
(8.147)
(8.148)
By (8.142) we have
l (- ) t-J
. .
L . 1. A(i-J+l)(')"'o
)1 L.l.
(Z-J+1. A 'l'i =
0' J. = 2'• • •' l+1 • (8.149)
i=j-1
(8.150)
m(A) = 1 + 1e->.h + 1° -h
e>. 8 a(s)ds. (8.152)
P = -21 .
7r 2
i.
IJ.L->.1=<
(p, - T) -1 dp,,
(8.154)
n=O n=1
Hence
X= Ker((.A- Tt) ~ Im((.A- Tt). (8.156)
The first part of the lemma is proved by a direct calculation, and the second
part is proved by using that .A is the only spectrum of T in the space ImP
and the spectra ofT in the space Im(I- P) coincides with a(T) \{A}.
If the imbedding V c H is compact, then by the Riesz-Schauder theory
the spectra of A 0 consists only of discrete eigenvalues:
where ae(A) ={A; m(.A) = 0} and ap(A) ={A; m(.A) # 0, Ajm(.A) E a(A0 )}.
Each nonzero point of ae(A) is not an eigenvalue of A and is a limit point
of a(A). ap(A) consists only of discrete eigenvalues.
Suppose m(O) = 0. Then 0 is an eigenvalue of A of infinite multiplicity.
The point 0 is an isolate point of a(A) if it is a simple zero of m(·), and is
a limit point of a(A) if it is a multiple zero of m(· ).
Proof. If .A E p(A), then in view of Lemma 8.5 the equation (.A-m(.A)A 0 )g0 =
f 0 has a unique solution g 0 E V for any f 0 E H. Hence m(.A) # 0 and
Ajm(.A) E p(A 0 ). Conversely if .A satisfies this condition, then the equation
(.A- A)g = f has a unique solution g for any fEZ in view of Lemma 8.5.
Therefore we have
such that m(>.)/ ,\ = (>.- >. 0 )kh(>.)k. Applying the inverse function theorem
to (>.- >. 0 )h(>.) and noting 1-Li --+ oo we see that for sufficiently large j there
exists a complex number ,\i such that (Aj- >. 0 )h(>.j) = p,j 1 /k and ,\i--+ >.0 •
Then >.ifm(>.j) = f-Li E CT(A 0 ). Hence ,\ 0 is a limit point of {>.i} C CT(A).
Next suppose that ,\0 E CTp(A), i.e. m(>. 0 ) f:- 0, A0 /m(>. 0 ) E CT(Ao). If
there exists a sequence { ,\i} such that ,\0 f:- Aj E CT(A), m(>.j) f:- 0 and >.i --+
>.0 . Then >.ifm(Aj) --+ >. 0 /m(,\ 0 ), Aj/m(Aj) E CT(Ao). Since CT(Ao) consists
only of isolated points we have Aj/m(Aj) = >.0 jm(>. 0 ) for sufficiently large
j. By virtue of the theorem of identity we have >.jm(>.) = >. 0 /m(,\ 0 ), which
contradicts (8.153). Next we show that ,\0 is a pole of(>.- A)- 1 • From the
theorem of identity and (8.153) it follows that if,\ f:- >.0 lies in a sufficiently
small neighborhood of >.0 , then >.jm(>.) E p(A0 ), and hence >. E p(Ll). By
the Riesz-Schauder theory >. 0 /m(,\ 0 ) is a pole of the resolvent of Ao whose
order we denote by v. Therefore if we denote by k the order of Ao as a zero
of >.jm(>.) - >. 0 /m(,\ 0 ), then ,\0 is a pole of
1 ( ,\ ) -1
l:l(>.)-1 = m(>.) m(>.) - Ao
of order kv. Hence the result follows from Corollary 8.2 or (8.125) since all
other functions in the right hand sides of (8.125) are entire functions of>..
It is easily seen that the elements ¢8, ¢~, · · ·, ¢f_ 1 of the right hand side of
(8.136) satisfy
+ ioh (g1' (s), f1(s))ds =(go, 'lj;o) + ioh (g1(s), 'lj;1(s))ds. (8.161)
Let¢ be a real valued function such that¢ E W 1 •2 ( -h, 0), ¢(-h)= 0, ¢(0) =
1, J~h a(s)¢(s)ds = 0. Then for any g0 E D(Ao) (g 0 , ¢(·)g0 ) E D(A). Sub-
stituting this in (8.161) we get
or
1 0
-h (y'(s), M(s))ds
0
= (y(O), M(O)) - i h (y(s), 'lj; 1(s))ds, (8.162)
= (y(O),N(O))- (y(-h),AU 0 )
- (/_: a(s)A 2 y(s)ds, f 0 ) • (8.163)
+ j_oh (y'(s), f 1(s))ds = (y(O), 'lj; 0 ) + j_oh (y(s), 'lj; 1(s))ds. (8.164)
=N(s)- M(s).
f 1(s) (8.166)
if and only if
The same result remains valid replacing A*, .D..T(>.), F* by A.j,, .D.(>.), F re-
spectively.
Proof. Suppose (8.167) holds. Then by Theorem 8.10 f0 E V,
j1 E W 1 ,2 (-h,O;V*) and
A;fo + f1(0) = Vo +go, (8.169)
a(s)A;f 0 - f 11 (s) = Aj 1(s) + g 1(s), (8.170)
f1(-h) = Aifo. (8.171)
-i:
We find from (8.170) that
e>.s f 1(s) = e->..h f 1( -h)+ ish e>.r a(T)A;f 0 dT e>.r g 1(T)dT. (8.172)
0 0
{ e>- 7 a(T)A;f 0 dT=>.f 0 +g 0 -A;f0 -e->..hAif0 + { e>..rg 1(T)dT.
1-h 1-h
Substituting this in the right hand side of
Clearly [F* E>.f0 - K>..g] 0 = f 0 • This and (8.173) imply (8.168). The
converse statement can be proved analogously.
8.12. EIGENMANIFOLD DECOMPOSITION 367
(8.175)
(8.176)
(8.177)
Proof. The equalities (8.174) can be shown with the aid of Lemma 8.6 (i),(ii)
inductively on k. (8.175) is established by a straightforward calculation. We
show (8.176). Let u E V. In view of (8.140)
(-1)kA(k+l)(')-1': hk+l ->.hA
(k+ 1)!u /\U-uk,ou+(k+ 1)1e 1u
In view of (8.175)
1:
Hence
- hk+1 ->.h
- (k + 1)! e
( -1)k+1 10
k+1 >.r
A1u + (k + 1)! -h T e a(T)A2 udT.
Proof. It suffices to show only (ii). With the aid of Corollary 8.1 we can
inductively show that
Therefore we have
To prove the converse inclusion relation let 1/J E Ker(.\- A*) 1. Set <Pi =
(.\- A*)i1j;, j = 0, ... , l-1. Then A*<Pi- 1 = .\</Ji- 1 - ¢i, j = 1, ... , l, where
<Pt = 0. By Lemma 8.8
where we used (8.174). Substituting this in the right hand side of (8.185)
and using (8.177) we get
b. (.\)"'C!
T 'I'J-1
= H >. ~
~
F*Ti-iE "'~ = ~ (-1)i-i t::,.Ci-i+1)(.\)"'~
>. A 'I'~ ~ (i _ · + 1)! T 'I'~'
~=J ~=J J
which is rewritten as
l-1 . .
~ (-1)~-J t::,.Ci-i+1)(.\)"'~ = 0. (8.188)
. L...J. (i- . + 1)! T '!'~
~=j-1 J
(8.190)
We set
M>. =ImP>., Mx = IrnPx, Mf = ImPJ, Mf* =ImP'{*. (8.191)
Theorem 8.12 (i) If>. is an isolate point of a(A) and a(Aj.), then
FP>. = P'f* F. (8.192)
(ii) If>. is an isolate point ofa(AT) and a(A*), then
F* P'f = P;F*. (8.193)
Proof. The assertions are simple consequences of Theorem 8.6.
The following proposition follows from Lemma 8.7 and (8.191).
Proposition 8. 8 (i) Let>. be a pole of (p,- A)- 1 of order k>.. Then 5. is
a pole of (p,- A*)- 1 of order k>.. We have
M>. = Ker(>.- Al;". Mx = Ker(5.- A*l>-,
dimM>. = dimM1::; oo.
(ii) Let>. be a pole of(p,-AT)- 1 of order kf. Then 5. is a pole of(p,-Aj.)- 1
of order kf. We have
Hence if g0 E V, then
(8.101) is defined.
Let u be the solution of (8.1),(8.2) with g = (g 0 , g 1 ) E Z, f E L 2 (0, T; V*)
and let¢ E H. Then u, WT(·)¢ E L 2 ( -h, T; V) n W 1,2(0, T; V*). Hence in
view of Lemma 8.4 (u(T), WT(t- T)¢) is absolutely continuous in T E [0, t]
for any t > 0, and
1:
d
dT (u(T), WT(t- T)¢) = (u'(T), WT(t- T)¢)- (u(T), W.f,(t- T)¢)
= (Aou(T)+A1u(T-h)+ a(s)A2u(T+s)ds+f(T),
~oh a(s)A2u(T+s)ds+f(T),WT(t-T)¢)
J:
= (A1u(T-h)+
l t-h
I1 + I4 = -h (A 1u(T), WT(t- T- h)¢)dT
Analogously
In particular if g 1 = 0, f = 0, we have
Hence by (8.201),(8.202)
+I: Irh (a(s)W(t- r + s)A2g 1(r), if>) dsdr + 1\w(t- r)f(r), if>)dr.
374 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
Consequently we have
u(t) = W(t)g 0 + 1°
-h
Ut(r)g 1(r)dr + {t W(t- r)f(r)dr,
Jo
(8.203)
where
[Gtf] 1 (s) = W(t + s)f0+ j_oh W(t + s + r)f 1(r)dr, s E [-h, 0],
(8.208)
(8.209)
8.13. SECOND STRUCTURAL OPERATOR 375
IIW(t + ·)f0ll£2(-h,O;V)nwt.2((-h)v(-t),o;V•)
= IIW(·)f0 IIL2(t-h,t;V)nwt.2((t-h)vo,t;V•) $ CTI/01 (8.210)
(8.211)
j_: W(t + · + T)f 1(T)dT E £ 2 ( -h, O; D(Ao)) n W 1•2(( -h) v (-t), O; H).
Furthermore
.1
= IIW * f IIL2(t-h,t;V)nW1 •2((t-h)VO,t;V*)
, 1
$ CTII/ IIL 2(0,T;V•) $ CTII/ 11£2(-h,O;V•)· (8.212)
Consequently
IIGtfllz $ CTII/IIz•, 0$ t $ T. (8.215)
Therefore Gt which is a bounded linear operator from V x £ 2 ( -h, 0; H) to
V x £ 2 ( -h, 0; D(Ao)) can be extended to a bounded linear operator from
Z* to Z. This extended operator is again denoted by Gt.
(Gtf,g) =(!,Gig),
we find that
G+-c*
t - t· (8.216)
Therefore if we define c+ = ct, then
c+ = c*. (8.217)
Therefore
ImG c W( -h, 0)
= {¢ E Z; ¢ 1 E L 2(-h, 0; V) n W 1 •2 ( -h, 0; V*), ¢ 0 = ¢ 1 (0) E H}.
Conversely for ¢ E W( -h, 0) we can find f E Z* satisfying G f = ¢, since
if we set u(t) = ¢ 1 (t- h), t E [0, h], then f = (! 0 , j 1) with f 0 = u(O) and
8.13. SECOND STRUCTURAL OPERATOR 377
Since
/Ut+s(cr)W(h + cr + T)j 1 (T)/ ::; CI/W(h + cr + T)j 1 (T)I/D(Ao)•
and by (8.197)
+ loh Ut+s(cr)W(h+cr+T)l(T)do-]dT
In particular
G*M~=MI. (8.229)
(ii) Suppose 0" 0 (AT) = 0"0 (A). Then
In particular
GMI* =M>.. (8.233)
Proof. It suffices to prove only (i). Suppose .\ E O"d(A*). Then .\ E
(A*) = 0"0 (AT). Hence.\ E O"p(AT) and by Theorem 8.11 (8.228) holds.
0"0
Therefore the order of .\ as a pole of (.\-A*) - l coincides with that as a pole
of(.\- AT)-1, and.\ E O"d(AT)· Thus we proved O"d(A*) C O"d(AT)· The
converse inclusion relation is proved similarly. From Theorem 8.13 it follows
that if 'ljJ E D(A*) then G*'lj; E D(AT) and ATG*'lj; = G* A*'lj;. Hence
(or equations with more complicated delay terms). The associated solution
semigroup S(t) =etA is a Co semigroup in M 2 = Rn X L 2 ( -h, 0; Rn) . .6..(A)
defined by (8.106) is an n x n matrix valued entire function and in view of
Corollary 8.2 a( A) is the set of A at which .6..(A) is singular. Therefore a(A)
consists only of poles of the resolvent of A. The structural operator F is a
bounded linear operator from M 2 to itself.
Theorem of A. Manitius The system of generalized eigenvectors of A is
complete if and only ifF* is injective.
Suppose that A 0 is nonsingular, and A 1 = /'Ao, I' is a real number f:-
0, A2 = Ao, and that m(O) f:- 0, where m(A) is the function defined by
(8.152). If m(A) = 0, then .6..(A) = A is nonsingular, since A f:- 0 then
by assumption. Therefore .6..(A) is singular if and only if m(A) f:- 0 and
Ajm(A) E a(Ao), and hence
Theorem 8. 15 (J.-M. Jeong [80]) Suppose 0 E p(Ao), I' f:- 0, m(O) f:- 0,
and that the immedding V C H is compact. If the system of generalized
eigenvectors of A 0 is complete in H, then the system of generalized eigen-
vectors of A is complete in Z.
We write for¢ E Z, '1/J E Z* Pn¢ = (Pn¢0 , Pn¢ 1 (·)), P~'ljJ = (P~'IjJ 0 ,P~'IjJ 1 (-)).
Suppose that 'ljJ E Z* is orthogonal to all generalized eigenvectors of A.
8.14. A SPECIAL CASE (CONTINUED) 381
where <P>..i, i = 1, ... , d>.., is a basis of Mf, '1/J)-.i, i = 1, ... , d>.., is a basis
of Mx, and d>.. = dimMf = dimMx. Therefore, if P'[ f = 0 for any
,\ E o-p(AT ), then (F* f, '1/J>.i) = 0 for any i = 1, ... , d>.. and 5. E o-(A). By
Theorem 8.15 we conclude F* f = 0, and hence f = 0 since F* is injective
under the present hypothesis.
Theorem 8.16 Suppose that the assumptions of Theorem 8.15 are satis-
fied and that the system of generalized eigenvectors of Ao is complete in H.
Then the problem (ST) is observable if and only if for any ,\ E o-p(AT)
Ker<l>~ n Ker~T(A.) = {0}. (8.236)
Proof. Suppose that (8.236) holds and <I>i)[ST(t)¢] 0 =0. Since
(f.L- AT)- 1 = 100
e-J.ttST(t)dt
for these values of ft. By virtue of Theorem 8.9 we see that (8.237) holds
for any f.L E p(AT)· Let,\ Eo-p(AT) and set Qf =(AT- A.)P'[. Then
(QI}j =(AT- A.)JP'[, (QI)k>- = 0,
where k>.. is the order of,\ as a pole of (f.L- AT)- 1 . In view of (8.237) we
obtain
(8.239)
We have by (8.238)
(8.240)
ST(t)¢ = e>.t¢,
and hence
cl>~[ST(t)¢]o = <P~(e>.t¢o) = e>.tc:p~(¢o) = 0.
where w = (w1, ... ,WN) E eN and b? E H,i = 1, ... ,N. The adjoint
operator <I>(} : H ~ eN is given by
We suppose that the basis ¢>.i, i = 1, ... , d>., of Mf are arranged so that
¢>.i, i = 1, ... , n>., n>. =dim Ker(A- AT), is the basis of Ker(A- AT). Then
fori= 1, ... ,n>. ¢>.i = (¢~i,eA·¢~i), and ¢~i,i = 1, ... ,n>., is a basis of
Ker6.T(A).
8.15. F-COMPLETENESS 383
where a 0 (~), a 0 (A), etc. are the sets of poles of ~0-1, the resolvent of A,
etc. Since>. E a 0 (A) if and only if,\ E a0 (A*), we have
(8.243)
384 CHAPTER 8. RETARDED FUNCTIONAL DIFFERENTIAL
Proof. (i) In view of Lemma 8.7 g E KerP.x if and only if (t-t- A)- 1 g is
holomorphic at f-t = A. By (8.125) this is equivalent to the statement that
EJJ-ll(t-t)- 1 HJJ-Fg is holomorphic at f-t =A. By the definition (8.119)
Ell-ll(t-t)- 1 Hll-Fg = {ll(t-t)- 1 Hll-Fg, ell-·ll(t-t)- 1 Hll-Fg).
Thus the assertion follows.
(iii) f E KerP~ if and only if (t-t- A*)- 1 f is holomorphic at f-t =A. Analo-
gously to (8.127) we have
F* EJJ-l:l.T(t-t)- 1 H11-f
(8.245)
(8.246)
If>. E crp(A), then by (8.244) >. is a pole of the resolvent of A, and hence >.
is a pole of the resolvent of A*. Therefore Mi can be defined. Similarly in
view of (8.245) we can define Mf.
Analogously, if crp(AT) = cr 0 (~T), then
(8.247)
We assume that the coefficients aij, bi, care real valued and satisfy
aii E C 1 (0), bi E C 1 (0), c E L 00 (0),
aii = aii• i, j = 1, ... , n, and a uniform ellipticity
n
2: ~i(x)t;it;i ~ eol£;1 2, t; = (6, ... , l;n) ERn
i,j=1
for some positive constant eo. As is well known this sequilinear form satis-
fies (8.66),(8.67). The associated operator A 0 E .C(HJ(O), H- 1 (0)), where
H- 1 (0) = HJ(O)*, has the following realization in L 2 (0). Let
t
linear differential operator A., L = 1, 2, given by
8v(t x)
8~ = A;v(t, x) + Aiv(t- h, x)
+ loh a(s)A2v(t + s, x)ds + 'l,b(t, x), t E (0, T), x E 0, (8.256)
for some constant 1 E (0, 7f/2). Hence applying the maximal regularity
result of G. Dore and A. Venni [55] and following the method of G. DiBlasio,
K. Kunisch and E. Sinestrari [51] he constructed the solution semigroup
associated with the problem (8.251)-(8.253), which is a C0 -semigroup in the
space
Zp,q = Hp,q x U(-h, 0; W~'P(O))
where Hp,q = (W~'P(O), w- 1 ,P(fl)h;q,q,q E (l,oo). The enlarged system
of the transposed equation (8.100) is an equation in the space
, 1 ,
Zp',q' = Hp',q' x Lq ( -h, 0; W ,p (0)).
The space Hp,q was characterized by J.- Y. Park and J.-M. Jeong [126]
except some critical cases as follows: if 2/q- 2 + 1/p i- 0
391
392 BIBLIOGRAPHICAL REMARKS
Douglis and L. Nirenberg [11]. In [11] the Schauder estimates are also es-
tablished.
Chapter 5. Section 5.1 is due toM. Schechter [132],[133],[134]. Adjoint
boundary conditions were introduced and discussed by N. Aronszajn and
A. N. Milgram [17]. The proof of Theorem 5.2 is due to Schechter [133]. In
Schechter [134] the regularity of weak solutions and a theorem on the Fred-
holm alternative are established for general elliptic boundary value prob-
lems. Theorem 2.1 of S. Agmon [9] which is Theorem 5.3 in this book is
very famous. There is also a related result in S. Agmon and L. Nirenberg
[12]. N. Ikebe [76] proved that (5.47) holds under the assumption that the
coefficients are Holder continuous in the case of boundary value problems in
contiguous two domains. The paper [21] of F. E. Browder is very useful in
the study of elliptic boundary value problems in unbounded domains. In the
estimate of the kernel of the semigroup exp( -tA2 ) in section 5.3 we followed
R. Beals [19] who deduced an asymptotic behavior of the resolvent kernel
of a selfadjoint realization A of an elliptic operator from that of the kernel
of (A1 - >.)- 1 = (A- >. 1 )- 1 ···(A- >.t)- 1 where Aj,j = 1, ... , l, are the
l th roots of >. and l is an integer such that [l /2] > n/2m. The coefficients
of A are not assumed to be so smooth that A 1 is a differential operator in
the ordinary sense. The use of the operators L(·, D + rt), Bj(·, D + rt) was
suggested by L. Hormander [75] who established a sharp estimate for the
resolvent kernel of a selfadjoint realization of an elliptic operator. Since
the paper [75] is concerned with interior estimates, the boundary operators
Bj(·, D + rt) do not appear. The results of this section were announced
in [148]. This method was used in the study of parabolic equations in L 1
space in D. G. Park [122],[123] and D. G. Park and H. Tanabe [125]. G.
Di Blasio [46] proved the regularity of solutions in the maximal sense in
interpolation spaces in an LP setting for parabolic initial boundary value
problems with time independent coefficients. In [48] Di Blasio proved that
(L 1 (0), D(A1))o,v ~ (L 1 (0), ~· 1 (0) n W~' 1 (0))o,p, 0 < () < 1, 1::; p < oo,
for the realization A 1 of a second order elliptic operator in L 1 (0) under the
Dirichlet boundary condition, and characterized the interpolation spaces
D A 1 (0, 1) in terms of Besov spaces. The example in the last section of this
chapter was investigated in connection with parabolic equations of higher
order in the time variable by A. Favini and H. Tanabe [62]. The generation
of analytic semigroups in various function spaces is established by S. Cam-
panato [28],[29], P. Cannarsa, B. Terreni and V. Vespri [31], P. Cannarsa
and V. Vespri [32],[33],[34], F. Colombo and V. Vespri [36]. In D. G. Park
and S. Y. Kim [124] an example such that J01 IIAetAxlldt = oo for some
analytic semigroup etA is constructed.
Chapter 6. The results of this chapter are due toP. Acquistapace and B.
BIBLIOGRAPHICAL REMARKS 393
Terreni [1],[3],[6], [8] except for the last section. In [1],[8] various function
spaces are introduced and solutions are estimated in these spaces. Re-
lated results are in A. Yagi [159] and [161]. In [161] under the assumptions
(P1),(P2) and (P4) with k = 1 Yagi constructed the fundamental solution
using the fractional power of A(t) with a simpler proof. In this connection
we refer also to Yagi [162],[163].
Classical results on parabolic evolution equations are found in the books
R. W. Carroll [35], S. G. Krein [98] and H. Tanabe [149].
A. Buttu [23] constructed the evolution operator assuming that the map-
ping t 1-t A(t) is merely continuous in case where D(A(t)) is not necessarily
dense and an interpolation space DA(t)(() + 1,oo) between D(A(t)) and
D(A(t) 2 ) is independent oft. In [24] replacing D A( D)((), oo ), D A(o)(() + 1, oo)
by the continuous interpolation spaces D A(O) (e), D A(o) (() + 1) a further reg-
ularity result is obtained. The result is applied to the initial boundary value
problems for parabolic differential equations in noncylindrical domains.
H. Amann [14] constructed the fundamental solution under the assump-
tion that D(A(t).B) is constant for some {3 E (0, 1) and t 1-t A(t) is Holder
continuous. The method is to extend A(t) to an operator A(t) in an ex-
tended space called an extrapolation space so that D(A(t)) is constant.
Owing to the weakness of the smoothness hypothesis for A(t) in t this re-
sult can be applied to quasilinear equations. He continued this study in
[15]. See also Amann [16: Chapter V]. Also by considering the equation in
an extrapolation space G. Da Prato [37] and G. Da Prato and P. Grisvard
[40] showed the existence of a unique solution with the maximal regularity
property for a merely continuous inhomogeneous term under the assump-
tions that D(A(t)) is constant, t 1-t A(t) is only continuous and A(t)- 1 A(s)
has a bounded extension. G. DiBlasio [49] introduced the space D(O,p)
and considering the equation in it established the existence and uniqueness
of a solution with maximal regularity in the £P sense.
A. Lunardi and V. Vespri [106] established the optimal Holder regularity
of solutions of variational problems for second order parabolic equations
using the method of analytic semigroups. Lunardi [102] constructed an
evolution operator using new maximal regularity results in case D(A(t))
is constant but not necessarily dense and t 1-t A(t) is Holder continuous.
See also her book [104]. Based on the estimates of this evolution operator
various regularity results are established. In the subsequent paper [103]
she established further regularity results in case A(t) is of class cHa in t
with an application to nonhomogeneous initial boundary value problems for
parabolic differential equations.
G. Da Prato and E. Sinestrari [42] proved maximal Holder regularity re-
sults in case D(A(t)) is constant without using the fundamental solution but
using some sharp regularity results in the autonomous case. Sinestrari [138]
394 BIBLIOGRAPHICAL REMARKS
Using the result of A. Yagi [164] some linear degenerate equations are
solved by A. Favini and A. Yagi [63],[64]. For degenerate equations see also
A. Favini and P. Plazzi [59],[60],[61] as well as papers quoted there.
A. Lunardi, E. Sinestrari and W. von Wahl [105] proved the unique solv-
ability with the optimal Holder regularity of initial-boundary value problems
with inhomogeneous boundary conditions for parabolic equations of first or-
der in the time variable and of arbitrary order in the space variables by a
semigroup method. W. von Wahl [157] established an estimate which is
applicable to parabolic equations with merely continuous coefficients under
the Dirichlet boundary conditions. He also proved an LP-Lq estimate.
Chapter 7. The first systematic study of evolution equations of hyperbolic
type was done by T. Kato [88]. J. R. Dorroh [56] simplified the original proof
of [88]. In Kato [89] the stability condition was weakened to quasistability:
k k
II R(>.j, A(tj)) :::; M II (,\j- f3(tj))- 1
j=1 j=1
for ,\1 > f3(t 1 ), • • ·, ,\k > f3(,\k), where f3 is an upper-integrable function,
and the conditions on B(·) and S(·) in the relation
397
398 BIBLIOGRAPHY
[13] H. Amann: Dual semigroups and second order linear elliptic boundary
value problems, Israel J. Math. 45 (1983), 225-254.
[45] M. C. Delfour and A. Manitius: The structural operator F and its role
in the theory of retarded systems, II, J. Math. Anal. Appl. 74 (1980),
359-381.
[54] G. Dore and A. Venni: On the closedness of the sum of two closed
operators, Math. Z. 196 (1987), 189-201.
[84] F. John: Plane Waves and Sherical Means Applied to Partial Differen-
tial Equations, Interscience Publishers, Inc., New York & Interscience
Publishers, Ltd., London, 1955.
[130] J. Pruss and H. Sohr: Imaginary powers of elliptic second order differ-
ential operators in £P-spaces, Hiroshima Math. J. 23 (1993), 161-192.
[163] A. Yagi: Parabolic evolution equations in which the coefficients are the
generators of infinitely differentiable semigroups, II, Funkcial. Ekvac.
33 (1990), 139-150.
[164] A. Yagi: Generation theorem of semigroup for multivalued linear op-
erators, Osaka J. Math. 28 (1991), 385-410.
[165] J. Yong and L. Pan: Quasi-linear parabolic partial differential equa-
tions with delays in the highest order spatial derivatives, J. Austral.
Math. Soc. (Series A) 54 (1993), 174-203.
410 BIBLIOGRAPHY
411
412 LIST OF SYMBOLS
(X, Y)o,p, 7
D A((), oo), 246
~(·), 350
~T(·), 350
(}(~), (}(~T ), 355
p(~), p(~T ), 355
(}p(~), (}p(~T ), 367
(/d(A), 371
(}o(A), 378
(}o(~), (}o(~T ), 383
E>., 352
T>., 352
H>., 352
K>., 352
c~ 355
Im, 361
Ker, 358
P>., 370
P[, 370
M>., 370
M~, 370
MI, 370
M T*>. '
370
M, 385
M*, 385
Index
A-admissible subspace, 285 of evolution equation, 237
Accretive operator, 310 of retarded functional
m-, 310 differential equation, 371
regularly, 343
Adjoint boundary value problem, Hilbert transform, 29
175 Hille's representation, 4
Approximately controllable system,
355 Inequality:
Gagliardo-Nirenberg's, 75, 81
Calder6n-Zygmund decomposition, GB.rding's, 343
22 Hausdorff-Young's, 2
Complementing Condition, 131 Young's, 2
Completeness: Infinitesimal generator, 4
F-, 386 Interpolation:
in Cl(ImF), 386 complex, 217
of generalized eigenvectors, 379 pair, 7
Convolution, 2 real----space, 8
Invariant subspace, 285
Dirichlet set, 170
Dissipative operator, 310 Lebesgue point, 2
m-, 310 Linearly independent polynomials
modulo a polynomial, 131
Ellipticity Condition, 130
Elliptic operator, 121 Mapping:
strongly, 184 of type (p, q), 15
uniformly, 130 of weak type (p, oo), 15
Equimeasurable function, 31 of weak type (p, q), 15
Equivalent boundary operators, 174 Maximal nonnegative subspace, 320
Evolution operator, 237
Normal boundary conditions, 169
Fractional power, 11
Fundamental solution: Observable system, 356
of differential equation, 121 Open set:
413
414 INDEX
Parameter of regularity, 1
Positive operator, 8
Semigroup, 3
Co-, 3
analytic, 5
Smoothness Condition, 130, 131
Solution:
classical, 223
mild, 341
strict, 223
strong, 223
Solution semigroup, 336
Spectral projection, 361
Stability constants, 289
Stable family of operators, 289
Structural operator, 351
second, 375
Theorem:
Dini's, 3
Lax-Milgram's, 343
Manitius', 380
Rellich's, 118
Trace on the boundary, 118