Professional Documents
Culture Documents
Volume 44
Editors
JoEo Marsden L. Sirovich F. John (deceased)
Advisors
Mo Ghil 1.K. Hale T. Kambe
1. Keller K. Kirchgiissner
B.Jo Matkowsky C.So Peskin
JoT. Stuart
Springer
New York
Berlin
Heidelberg
Barcelona
Budapest
Hong Kong
London
Milan
Paris
Santa Clara
Singapore
Tokyo
Applied Mathematical Sciences
1. John: Partial Differential Equations, 4th ed. 34. KevorkianiCole: Perturbation Methods in
2. Sirovich: Techniques of Asymptotic Analysis. Applied Mathematics.
3. Hale: Theory of Functional Differential 35. Carr: Applications of Centre Manifold Theory.
Equations, 2nd ed. 36. BengtssoniGhillKlillen: Dynamic Meteorology:
4. Percus: Combinatorial Methods. Data Assimilation Methods.
5. von MisesiFriedrichs: Fluid Dynamics. 37. Saperstone: Semidynamical Systems in Infinite
6. Freiberger/Grenander: A Short Course in Dimensional Spaces.
Computational Probability and Statistics. 38. Lichtenberg/Lieberman: Regular and Chaotic
7. Pipkin: Lectures on Viscoelasticity Theory. Dynamics, 2nd ed.
8. Giacoglia: Perturbation Methods in Non-linear 39. PicciniiStampacchialVidossich: Ordinary
Systems. Differential Equations in Rn.
9. Friedrichs: Spectral Theory of Operators in 40. Naylor/Sell: Linear Operator Theory in
Hilbert Space. Engineering and Science.
10. Stroud: Numerical Quadrature and Solution of 41. Sparrow: The Lorenz Equations: Bifurcations,
Ordinary Differential Equations. Chaos, and Strange Attractors.
11. Wolovich: Linear Multivariable Systems. 42. Guckenheimer/Holmes: Nonlinear Oscillations,
12. Berkovitz: Optimal Control Theory. Dynamical Systems and Bifurcations of Vector
13. BlumaniCole: Similarity Methods for Fields.
Differential Equations. 43. OckendonlI'aylor: Inviscid Fluid Flows.
14. Yoshizawa: Stability Theory and the Existence 44. Pazy: Semi groups of Linear Operators and
of Periodic Solution and Almost Periodic Applications to Partial Differential Equations.
Solutions. 45. Glashoff/Gustafson: Linear Operations and
15. Braun: Differential Equations and Their Approximation: An Introduction to the
Applications, 3rd ed. Theoretical Analysis and Numerical Treatment
16. Lefschetz: Applications of Algebraic Topology. of Semi-Infinite Programs.
17. CollatzIWetterling: Optimization Problems. 46. Wilcox: Scattering Theory for Diffraction
18. Grenander: Pattern Synthesis: Lectures in Gratings.
Pattern Theory, Vol. I. 47. Hale et al: An Introduction to Infinite
19. MarsdeniMcCracken: Hopf Bifurcation and Its Dimensional Dynamical Systems--Geometric
Applications. Theory.
20. Driver: Ordinary and Delay Differential 48. Murray: Asymptotic Analysis.
Equations. 49. Ladyzhenskaya: The Boundary-Value Problems
21. Courant/Friedrichs: Supersonic Flow and Shock of Mathematical Physics.
Waves. 50. Wilcox: Sound Propagation in Stratified Fluids.
22. RouchelHabets/Laloy: Stability Theory by 51. Golubitsky/Schaeffer: Bifurcation and Groups in
Liapunov's Direct Method. Bifurcation Theory, Vol. I.
23. Lamperti: Stochastic Processes: A Survey of the 52. Chipot: Variational Inequalities and Flow in
Mathematical Theory. Porous Media.
24. Grenander: Pattern Analysis: Lectures in Pattern 53. Maida: Compressible Fluid Flow and System of
Theory, Vol. II. Conservation Laws in Several Space Variables.
25. Davies: Integral Transforms and Their 54. Wasow: Linear Turning Point Theory.
Applications, 2nd ed. 55. Yosida: Operational Calculus: A Theory of
26. Kushner/Clark: Stochastic Approximation Hyperfunctions.
Methods for Constrained and Unconstrained 56. Chang/Howes: Nonlinear Singular Perturbation
Systems. Phenomena: Theory and Applications.
27. de Boor: A Practical Guide to Splines. 57. Reinhardt: Analysis of Approximation Methods
28. Keilson: Markov Chain Models-Rarity and for Differential and Integral Equations.
Exponentiality. 58. DwoyermussainWoigt (eds): Theoretical
29. de Veubeke: A Course in Elasticity. Approaches to Turbulence.
30. Shiatycki: Geometric Quantization and Quantum 59. SandersIVerhulst: Averaging Methods in
Mechanics. Nonlinear Dynamical Systems.
31. Reid: Sturmian Theory for Ordinary Differential 60. GhillChiidress: Topics in Geophysical
Equations. Dynamics: Atmospheric Dynamics, Dynamo
32. MeisiMarkowitz: Numerical Solution of Partial Theory and Climate Dynamics.
Differential Equations.
33. Grenander: Regular Structures: Lectures in
Pattern Theory, Vol. III. . (continued following index)
A. pazy
, Springer
Amnon Pazy
Council for Higher Education
Planning and Budgeting Committee
Jerusalem 91040
Israel
Editors
Jerrold E. Marsden L. Sirovich
Control and Dynamical Systems, 104-44 Division of Applied Mathematics
California Institute of Technology Brown University
Pasadena, CA 91125 Providence, RI02912
USA USA
9 8 7 6 5 4 3
This second printing of the book contains a few minor changes and
corrections. It is a pleasure for me to thank Peter Hess, Gunter Lumer,
R. de Roo, and Hans Sager for drawing my attention to many misprints
and some errors.
I am especially indebted to Shinnosuke Oharu, who went through the
whole book and recommended many valuable clarifications, modifications,
and corrections.
A. PAZY
Preface to the First Printing
A. PAZY
Contents
Chapter 4
The Abstract Cauchy Problem 100
4.1 The Homogeneous Initial Value Problem 100
4.2 The Inhomogeneous Initial Value Problem 105
4.3 Regularity of Mild Solutions for Analytic Semigroups 110
4.4 Asymptotic Behavior of Solutions 115
4.5 Invariant and Admissible Subspaces 121
Chapter 5
Evolution Equations 126
5.1 Evolution Systems 126
5.2 Stable Families of Generators 130
5.3 An Evolution System in the Hyperbolic Case 134
5.4 Regular Soiutions in the Hyperbolic Case 139
5.5 The Inhomogeneous Equation in the Hyperbolic Case 146
5.6 An Evolution System for the Parabolic Initial Value Problem 149
5.7 The Inhomogeneous Equation in the Parabolic Case 167
5.8 Asymptotic Behavior of Solutions in the Parabolic Case 172
Chapter 6
Some Nonlinear Evolution Equations 183
6.1 Lipschitz Perturbations of Linear Evolution Equations 183
6.2 Serni1inear Equations with Compact Semigroups 191
6.3 Semilinear Equations with Analytic Semigroups 195
6.4 A Quasilinear Equation of Evolution 200
Chapter 7
Applications to Partial Differential Equations- Linear Equations 206
7.1 Introduction 206
7.2 Parabolic Equations-L2 Theory 208
7.3 Parabolic Equations-LP Theory 212
7.4 The Wave Equation 219
7.5 A SchrOdinger Equation 223
7.6 A Parabolic Evolution Equation 225
Chapter 8
Applications to Partial Differential Equations-Nonlinear Equations 230
8.1 A Nonlinear SchrOdinger Equation 230
8.2 A Nonlinear Heat Equation in R 1 234
8.3 A Semilinear Evolution Equation in R 3 238
8.4 A General Class of Serni1inear Initial Value Problems 241
8.5 The Korteweg-de Vries Equation 247
T{t) = etA = f
n=O
(tAr.
n.
(l.5)
The right-hand side of (1.5) converges in norm for every t ~ 0 and defines,
for each such t, a bounded linear operator T( t). It is clear that T(O) = I and
a straightforward computation with the power series shows that T( t + s) =
T(t)T(s). Estimating the power series yields
IIT{t) - III ::s; tliAlletllAIl
and
T(t) - I II
II t -A ::s;IIAII'O~~tIIT(s)-III
h - I ( T{ h) - I) f T{ s ) ds = h - I (loP T{ s + h) ds - loP T( s ) ds )
=h-l(~P+hT{S)dS- fohT(s)dS)
and therefore
(l.6)
Letting h ~ 0 in (1.6) shows that h - I (T( h) - I) converges in norm and
therefore strongly to the bounded linear operator (T( p) - 1)( f tT( s) ds) - I
which is the infinitesimal generator of T(t). 0
for 0 ~ h ~ 8. (1.8)
Let 0 ~ t ~ T and choose n ~ 1 such that tin < 8. From the semigroup
property and (1.8) it then follows that
Since f> 0 was arbitrary T(t) = S(t) for 0 ~ t ~ T and the proof is
complete. 0
Definition 2.1. A semigroup T(t), 0 =::; t < 00, of bounded linear operators
on X is a strongly continuous semigroup of bounded linear operators if
lim T(t}x = x for every x E X. (2.1)
tiO
PROOF. We show first that there is an '1/ > 0 such that II T(t) II is bounded
for 0 =::; t =::; '1/. If this is false then there is a sequence {tn} satisfying tn ~ 0,
limn .... ootn = 0 and II T(tn) II ~ n. From the uniform boundedness theorem
it then follows that for some x E X, II T(tn)xll is unbounded contrary
to (2.1). Thus, II T(t)1I =::; M for 0 =::; t =::; '1/. Since II T(O) II = 1, M ~ 1. Let
W = '1/-1 log M ~ O. Given t ~ 0 we have t = n'l/ + l) where 0 =::; l) < '1/ and
therefore by the semigroup property
IIT(t}1I = IIT(c5}T('l/rll =::; M n+ 1 =::; MM t/." = Me wt . D
II T( t - h} x - T( t } x II =::; II T( t - h)ll II x - T( h } x II
=::; Me"'tll x - T(h}xll· D
d) For x E D(A),
= -I fl+h T( s ) x ds - -11hT( s ) x ds
h I h 0
and as h!O the right-hand side tends to T(t)x - x, which proves (b). To
prove (c) let x E D(A) and h > o. Then
T( h) - I ( T( h) - I )
h T(t)x = T(t) h x -+ T(t)Ax as h !O.
(2.7)
Thus, T(t)x E D(A) and AT(t)x = T(t)Ax. (2.7) implies also that
d+
YtT(t)x = AT(t)x = T(t)Ax,
i.e., that the right derivative of T(t)x is T(t)Ax. To prove (2.5) we have to
show that for t > 0, the left derivative of T(t)x exists and equals T(t)Ax.
This follows from,
and the fact that both terms on the right-hand side are zero, the first since
x E D(A) and II T(t - h)1I is bounded on 0 ~ h ~ t and the second by the
strong continuity of T(t). This concludes the proof of (c). Part (d) is
obtained by integration of (2.5) from s to t. 0
Dividing (2.9) by t > 0 and letting t ! 0, we see, using part (a) of Theorem
2.4, that X E D(A) and Ax = y. 0
PROOF. Let 6j) be the set of all infinitely differentiable compactly supported
complex valued functions on ]0, 00[. For x E X and cp E 6j) set
y = x(cp) = {X)cp(s)T(s)xds. (2.10)
o
Ifh>Othen
T(h) - I I (00
h Y = YiJo cp(s)[T(s + h)x - T(s)x] ds
(00 1
= Jo Yi[cp(s - h)- cp(s)]T(s)xds. (2.11 )
I Generation and Representation 7
Clearly, if cp E Gj) then cp(n), the n-th derivative of cp, is also in Gj) for
n = 1,2, .... Thus, repeating the previous argument we find that y E D( An)
Any=(-lrf~cp(n)(s)T(s)xds for n= 1,2, ...
o
and consequently y E n~~lD(An). Let Y be the linear span of {x(q:»:
x E X, q:> E Gj)}. Y is clearly a linear manifold. From what we have proved
so far it follows that Y ~ n~ ~ 1D(A n ). To conclude the proof we will show
that Y is dense in X. If Y is not dense in X, then by Hahn-Banach's
theorem there is a functional x* E X*, x* =1= 0 such that x*(y) = 0 for
every y E Y and therefore .
10
00
cp(s )x*(T(s)x) ds = x*(1oOO cp(s )T(s)x dS) = 0 (2.12)
(3.2)
Since t --+ T(t)x is continuous and uniformly bounded the integral exists as
an improper Riemann integral and defines a bounded linear operator R(A)
satisfying
(3.3)
1 Generation and Representation 9
°
*10
Furthermore, for h >
T(hl- I R(A)X =
00 e-A1(T(t + h)x - T(t)x) dt
=
e Ah h- 1 100 e Ah
0 e-A1T(t)xdt - h
1he-AT(t)xdt.
0
(3.4)
As h ~ 0, the right-hand side of (3.4) converges to AR( A)X - x. This im-
plies that for every x E X and A> 0, R(A)X E D(A) and AR(A) =
AR(A) - I, or
(AI - A)R(A) = I. (3.5)
For x E D(A) we have
R(A)Ax = 1o e-A1T(t)Ax dt = 1 e-A1AT(t)x dt
00
0
00
Here we used Theorem 2.4 (c) and the closedness of A. From (3.5) and (3.6)
it follows that
R(A)(AI - A)x = x for x E D(A). (3.7)
Thus, R(A) is the inverse of AI - A, it exists for all A > and satisfies the
desired estimate (3.1). Conditions (i) and (ii) are therefore necessary. 0
°
In order to prove that the conditions (i) and (ii) are sufficient for A to be
the infinitesimal generator of a Co semigroup of contractions we will need
some lemmas.
Lemma 3.2. Let A satisfy the conditions (i) and (ii) of Theorem 3.1 and let
R (A : A) = (AI - A) - 1. Then
lim AR(A: A)x = x for x E X. (3.8)
A-+ 00
= IIR(A: A)Axll :S
1
XIIAxl1 -+ ° as A -+ 00.
Lemma 3.3. Let A satisfy the conditions (i) and (ii) of Theorem 3.1. If Ax is
the Yosida approximation of A, then
lim Axx = Ax for x E D{A). (3.1O)
x--> 00
PROOF. For x E D(A) we have by Lemma 3.2 and the definition of Ax that
lim Axx = lim AR{A: A)Ax = Ax. 0
x--> 00 x--> 00
Lemma 3.4. Let A satisfy the conditions (i) and (ii) of Theorem 3.1. If Ax is
the Yosida approximation of A, then Ax is the infinitesimal generator of a
uniformly continuous semigroup of contractions e tAA . Furthermore, for every
x E X, A, JL > 0 we have
(3.11)
PROOF. From (3.9) it is clear that Ax is a bounded linear operator and thus
is the infinitesimal generator of a uniformly continuous semigroup e tAA of
bounded linear operators (see e.g., Theorem 1.2). Also,
(3.12)
and therefore e tAA is a seroigroup of contractions. It is clear from the
definitions that etAA, etA~, Ax and AI' commute with each other. Conse-
quently
(3.15)
The last equality follows from the uniform convergence of etA~AAx to
°
T(t)Ax on bounded intervals. Let B be the infinitesimal generator of T(t)
and let x E D( A). Dividing (3.15) by t > and letting t ! we see that
x E D(B) and that Bx = Ax. Thus B ;;2 A. Since B is the infinitesimal
°
generator of T(t), it follows from the necessary conditions that 1 E p(B).
On the other hand, we assume (assumption (ii» that 1 E p(A). Since
B ;;2 A, (I - B)D(A) = (I - A)D(A) = X which implies D(B) =
(I - B)-IX = D(A) and therefore A = B. 0
Theorem 3.1 and its proof have some simple consequences which we now
state.
PROOF. From the proof of Theorem 3.1 it follows that the right-hand side of
(3.16) defines a Co semigroup of contractions, S(t), whose infinitesimal
generator is A. From Theorem 2.6 it then follows that T(t) = S(t). 0
The following example shows that the resolvent set of the infinitesimal
generator of a Co semigroup of contractions need not contain more than the
open right half-plane.
EXAMPLE 3.7. Let X = BU(O, 00), that is, the space of all bounded uni-
formly continuous functions on [0, 00[. Define
(T(t)f)(s) = f(t + s). (3.18)
12 Sernigroups of Linear Operators
From Corollary 3.6 we know that p(A) ~ {A: Re A> O}. For every complex
A the equation (A - A)fPA = 0 has the nontrivial solution fPA(S) = e AS . If
Re A ~ 0, fPA E X and therefore the closed left half-plane is in the spectrum
a(A) of A.
Let T(t) be a Co semigroup satisfying II T(t)1I ~ e"" (for some w ;:::: 0).
Consider S(t) = e-W'T(t). S(t) is obviously a Co semigroup of contractions.
If A is the infinitesimal generator of T( t) then A - wI is the infinitesimal
generator of S(t). On the other hand if A is the infinitesimal generator of a
Co semigroup of contractions S(t), then A + wI is the infinitesimal genera-
tor of a Co semigroup T(t) satisfying II T(t)1I ~ e W'. Indeed, T(t) = eW'S(t).
These remarks lead us to the characterization of the infinitesimal generators
of Co semigroups satisfying II T(t)1I ~ e W'.
We conclude this section with a result that is often useful in proving that
a given operator A satisfies the sufficient conditions of the Hille- Yosida
theorem (Theorem 3.1) and thus is the infinitesimal generator of a Co
semigroup of contractions.
Let X be a Banach space and let X* be its dual. We denote the value of
x* E X* at x E X by (x*, x) or (x, x*). If A is a linear operator in X its
numerical range S( A) is the set
S(A) = {(x*, Ax):x E D(A), IIxll = 1,
x* E X*, IIx*1I = I, (x*, x) = I}. (3.22)
Since the unit ball of X* is compact in the weak-star topology of X* the net
zX', A --+ 00, has a weak-star cluster point z* E X*, Ilz*11 .:5; 1. From (4.3) it
follows that Re(Ax, z*) .:5; 0 and Re(x, z*) 2: IIxll. But Re(x, z*) .:5;
I(x, z*) I .:5; IIxll and therefore (x, z*) = IIxll. Taking x* = ·llxllz* we have
x* E F(x) and Re (Ax, x*) .:5; O. Thus for every x E D(A) there is an
x* E F(x) such that Re (Ax, x*) .:5; 0 and A is dissipative. 0
Corollary 4.4. Let A be a densely defined closed linear operator. If both A and
A* are dissipative, then A is the infinitesimal generator of a Co semigroup of
contractions on x.
PROOF. By Theorem 4.3(a) it suffices to prove that R(I - A) = X. Since
° °
A is dissipative and closed R(I - A) is a closed subspace of X. If
R(I - A) =F X then there exists x* E X*, x* =F such that (x*, x - Ax)
= for x E D(A). This implies x* - A*x* = 0. Since A* is also dissipative
it follows from Theorem 4.2. that x* = 0, contradicting the construction of
x*. 0
PROOF. The assertion (a) was proved in the proof of part (a) of Theorem
4.3. To prove (b) let x E DCA), y = Ax. Then there is a sequence {x n}
Xn E D(A), such that xn -+ x and AXn -+ Y = Ax. From Theorem 4.2 it
follows that IIAX n - Axnll ~ Allxnll for A> 0 and letting n -+ 00 we have
IIAX - Axil ~ Alixil for A> O. (4.9)
Since (4.9) holds for every x E D(A), A is dissipative by Theorem 4.2. To
prove (c) assume that A is not closable. Then there is a sequence {xn} such
that xn E D(A), xn -+ 0 and AXn -+ y with lIyll = 1. From Theorem 4.2 it
follows that for every t > 0 and x E D( A)
lI(x + r1x n ) - tA(x + r1xn)1I ~ IIx + r1xnll·
Letting n -+ 00 and then t -+ 0 yields II x - y II ~ II x II for every x E D( A).
But this is impossible if D( A) is dense in X and therefore A is closable. 0
(4.10)
The next example shows that Theorem 4.6 is not true for general Banach
spaces.
EXAMPLE 4.7. Let X = C([O, I)), i.e., the continuous functions on [0, I] with
the sup norm. Let D(A) = {u: u E CI([O, I)) and u(O) = O} and Au = - u'
for u E D(A). For every f E X the equation AU - Au = f has a solution u
given by
(4.11 )
I Generation and Representation 17
Taking the sup over x E [0,1] of the left-hand side of (4.12) we find that
Allull ~ IIAu - Aull and therefore A is dissipative by Theorem 4.2. But
D (A) = {u: u E X and u(o) = o} X = C([O, 1D.+
Lemma 5.1. Let A be a linear operator for which p(A) ::J ]0,00[. If
Then obviously,
(5.5)
and
(5.6)
We claim that
for 0 < A ::; p.. (5.7)
Indeed, if y = R(A: A)x then y = R(p.: A)(x + (p. - A)Y) and by (5.6),
Then
(5.15)
so II T(t)11 ~ M as required. The conditions (i) and (ii) are therefore also
sufficient. 0
20 Semi groups of Linear Operators
Remark 5.4. The condition that every real A, A > W, is in the resolvent set
of A together with the estimate (5.18) imply that every complex A satisfying
Re A > w is in the resolvent set of A and
forReA>w, n = 1,2, ....
(5.19)
PROOF. We define
R{A)X = fOe-A'T(t)xdt.
o
Since II T(t)11 s Me w' , R(A) is weB-defined for every A satisfying Re A > w.
An argument, identical to the argument used in the proof of Theorem 3.1,
shows that R(A) = R(A: A). To prove (5.19) we assume that Re A > w, then
whence
IIR(A: A)"xil ~ M
(n - I)!
1 tn-1e(w-ReX)tllxlldt = (Re AM-
0
00
w)
n Ilxll.
we have
for x EX. (5.27)
whenever the limit exists; the domain of A is the set of all elements x E X
for which the limit (6.1) exists.
Note that in (6.1) t -+ 0 from both sides and not only t --+ 0+ as in the
case of the infinitesimal generator of a Co semigroup.
Let T( t) be a Co group of bounded operators. It is clear from the
definitions that for t ~ 0, T(t) is a Co semigroup of bounded operators
whose infinitesimal generator is A. Moreover, for t ~ 0, S(t) = T( - t) is
also a Co semigroup of bounded operators with ,the infinitesimal generator
- A. Thus if T( t) is a Co group of bounded operators on X, both A and - A
are infinitesimal generators of Co semigroups which are denoted by T +( t)
and Tjt} respectively. Conversely, if A and -A are the infinitesimal
generators of Co semigroups T +( t) and T _( t) then we will see that A is the
I Generation and Representation 23
PROOF. The necessity of the conditions follows from the fact that both A
and - A are the infinitesimal generators of Co semigroups of bounded
operators satisfying the estimate II T(t)1I ::; Me wt . Since A is the infinitesi-
mal generator of such a semigroup it follows from Theorem 5.3 that A is
closed, D( A) = X and (6.3) is satisfied for A > w. Moreover, since -A is
also the infinitesimal generator of such a semigroup and clearly R(A: A) =
- R( - A : -A) it follows that (T( -A) = - (T(A) and that (6.3) is satisfied
for - A < - w. The conditions (i) and (ii) are therefore necessary.
If the conditions (i) and (ii) are satisfied it follows from Theorem 5.3 that
A and - A are the infinitesimal generators of Co semigroups T +( t) and
T -<t) respectively and that II T +(t)11 ::; Me wt . The semigroups T +(t) and
T -<t) commute since clearly etA, and e- tA ., where Ap is the Yosida
approximation of A, commute and by Theorem 5.5, T +(t)x = limA~ooetA,x
and L(t)x = liml'--+ooe-tA.x. If Wet) = T +(t)L(t) then Wet) is a Co
semigroup of bounded operators for t ~ O. For x E D(A) = D( - A) we
have
fort ~ 0
(6.5)
fort ::; 0
Moreover if
T(t) for t ~ 0
{
U( t) = T( _ t)-I
for t ~ 0
then U( t) is a Co group of bounded operators.
PROOF. The semi group property for Set) is obvious since
S(t + s) = T(t + S)-I = (T(t)T(s))-1 = T(S)-IT(t)-1 = S(s)S(t).
We prove the strong continuity of S(t). For s > 0 the range of T(s) is all of
X. Let x E X and let s > 1. There exists ay E X such that T(s)y = x. For
t < I we then have
· T(t)-IX - x
I1m I· T() T(t)-I X - x I· x - T(t)x A
= 1m t = 1m = - x
1.0 t 1.0 t uo t
and therefore - A is the infinitesimal generator of T( t) - I. The rest of the
proof is obvious. 0
the null space of T(t) then clearly N(T(s» c N(T(t» for s :5: t. Let Qn =
N(T(sn» n {x: IIxll = I}. Qn is a decreasing sequence of closed nonempty
subsets of X. Since N(T(so» has finite dimension, Qo IS compact and
consequently n;;O~oQn =F 0. If x E n;;O~oQn then
II T(sn)x - xii = Ilxll = 1 for all sn' (6.6)
But sn ..... 0 as n ..... 00 and therefore (6.6) contradicts the strong continuity
of T(t). This contradiction shows that T(so) must be invertible and the
proof is complete. 0
Lemma 7.1. Let B be a bounded linear operator. Ify > IIBII then
e tB = - .
I jY+iOO e"tR(A:
, B) dA. (7.2)
2'1T1 y-ioo
PROOF. Let y> IIBII. Choose r such that y > r > IIBII and let Cr be the
circle of radius r centered at the origin. For IAI > r we have
00 Bk
R(A: B) = L k+l(7.3)
A k~O
where the convergence is in the uniform operator topology uniformly for
IAI ~ r. Multiplying (7.3) by (l/2'ITi)e At and integrating over Cr term by
term yields.
e tB = 1
-2 .j eAtR(A: B) dA.
'IT I Cr
(7.4)
Since outside Cr the integrand of (7.4) is analytic and IIR(A: B)II :s; CiAI- 1,
we can shift the path of integration from Cr to the line Re z = y, using
Cauchy's theorem. 0
and
(7.8)
For Re A > E + WJ.L/(J.L - w) and J.L > 2w, there is a constant C depending
only on M and E such that for every x E D(A)
C
IIR(A: AI')xlI :s; 1II(lIx ll + IIAxll)· (7.9)
PROOF. Multiplying the right-hand side of (7.7) from the right or from the
left by AI - AI' and using the commutativity of A and its resolvent, one
obtains the identity, thus proving (7.7). To prove (7.8) we note that AI' is the
infinitesimal generator of etA. and that by (5.25)
follows from (7.8) that IIR(A: A,,)II s Me-I. If x E D(A) and IL> 2w
then,
and therefore
PROOF. Set v = f.LA/(f.L + A). From (7.7) we then have for f.L large enough
R(A: A,,) - R(A: A)
s! 2M2 IIA2xII
IL e2
and (7.10) follows for x E D(A 2). Since D(A2) is dense in X (Theorem 2.7),
and since by Lemma 7.2, IIR(A: A,,)II is uniformly bounded for Re A>
w + e provided that p. > w + w2 /e and by Theorem 5.3 the same is true for
II R( A: A) II, (7.10) follows for every x E X. 0
28 Semigroups of Linear Operators
1o T(s)xds
t
= -.
1 f'l+i oo dA
eAtR(A: A)x-, (7.11)
27Tl '1-ioo A
and the integral on the right converges uniformly in t for t in bounded intervals.
PROOF. Let IL > 0 be fixed and let 8 > IIAI1II. Set
_ 1
Pk(s)--2.
'TTl 6-ik
1
6 + ik As ( .
eRA.A l1 ) xdA. (7.12)
i l Pk(s)ds--
o
- 1 1
6+ ik At ( . ) dA 1
2 'TTl. 6-ik e R A.A I1 x~--2.
f\
6+ ik ( .
'TTl 6-ik
R A.A I1 ) x~.
dA
f\
1
(7.13)
Letting k ~ 00 it follows from Lemma 7.1 that Pk(t) ~ etAp.x uniformly
on 0 ~ t ~ T. Also,
hm
.
k-+oo
16+~
6-ik
R(A: AI1)x~
dA
f\
= O. (7.14)
(7.15)
If 'I > max( w, 0) it is clear from Lemma 7.2 that there is a ILo > 0 such that
for IL :2: ILo {A: Re A :2: 'I} is in p(A I1 ) and for x E D(A)
C
IIR(A: AIL)xll ~ W(lIxll + IIAxIl) (7.16)
where C depends only on M and y. Therefore for IL :2: ILo we can shift the
path of integration in (7.15) from Re A = 8 to Re A = 'I and obtain
itesA.x ds
o
= _1_.
2'TTl
1 Y + ioo eA1R(A:
y-ioo
AI1)x dA.
A
(7.17)
the integral
(7.19)
T(t}x = -.
1 jY+iOO A
e 'R("A: A)x d"A (7.20)
2'IT1 y-ioo
and for every 8 > 0, the integral converges uniformly in t for t E [8,1/8].
PROOF. If x E D(A2), then Ax E D(A). Using Theorem 7.4 for Ax we find
T(t)x - x = 1o 1
T(s)Axds = -2'
1 jY+iOO
'IT I
. eA'R("A:A)Ax~
Y-IOO
d"A
f\
_ 1.
--2 jY+iOO AI( ( . )
. e R"A.Ax-, X) d"A. (7.21)
'TTl Y-IOO f\
But
-
1 jY+iOO Al d"A
2'ITi y-ioo
e x-=x
"A
for t> ° (7.22)
1 o
1
(t - s )T(s)x ds
1 jY+iOO A
= -2'
'IT I
d"A
e 'R("A: A)x-
y-ioo
2
"A
(7.23)
1o (t -
1 1 . lljY+iooeASR("A:A)xd"A"A ds
s)T(s)xds = -2
'IT I 0 Y-IOO
But
1 lY+ioo dA
-2. 2 =0
R(A:A)x-
WI y-ioo A
and therefore (7.23) follows for x E D(A). The right-hand side of (7.23)
converges in the uniform operator topology and therefore defines a bounded
linear operator. Since D(A) is dense in X, (7.23) holds for every x E X. 0
11
-1 -.1
2m r 3
eJ"R(p,: A) dP,ll:-;; _1 foo e-rlsin({}-fT/2)Mr-1 dr
2w I-I
I Generation and Representation 31
Therefore there is a constant C such that II U(t)1I ~ C for 0 < t < 00. Next
we show that for ;\. > 0
R(;\.: A) = [Xl
o
e->..tU(t) dt. (7.27)
[Te->..tU(t) dt
10
= _1_.1_ 1_(e(I'->..)T -
2m r IL - ;\.
I)R(IL: A) dlL
-1-1
= R("\1\ .• A) + 2 . e (I'->..)TR(IL: A)
'TTl r
"\ dIL·
IL - 1\
(7.28)
But,
as T --+ 00.
(7.29)
holds for every x E D(A 2 ). Since by the first part of the proof the integral
freXtR(X:A) dX converges in the uniform operator topology and since
D(A2) is dense in X (Theorem 2.7) it follows that (7.31) holds for every
x E X whence the result. 0
= e(t-s)A(h)T(s)(Ax - A(h)x).
I Generation and Representation 33
~ flle(t-S)A(h)IIIIT{s)IIIIAx - A(h)xllds
o
~ tM 2e t(e w +w-l)IIAx - A(h)xll. (8.3)
Letting h ~O in (8.3) yields (8.2) for x E D(A). Since both lIetA(h)11 and
II T(t)11 are uniformly bounded on any finite t-interval and since D(A) is
dense in X, (8.2) holds for every x E X. 0
The limit in (8.5) exists uniformly with respect to x in R and uniformly with
respect to t on any finite interval. Formula (8.5) is a generalization of
Taylor's formula for an f which is merely continuous. Note that if f has k
continuous derivatives then
PROOF. Assume that II T(t)1I ::s; Me"'!. We have seen that for Re A > w,
R(A: A) is analytic in A and
R(A:A)x=lOOe-~ST(s)xds for xEX. (8.7)
o
Differentiating (8.7) n times with respect to A, substituting s = vt and taking
A = nit we find
But
and therefore
[ tn R ( t:
n
A
)] n+ I nn+ I
x = n!
100 (ve-vrT(tv)xdv.
0
Noting that
we obtain
(8.8)
Given e > 0, we choose 0 < a < I < b < 00 such that t E [0, toJ implies
II T( tv ) x - T( t ) x II < e for a::S; v ::s; b.
Then we break the integral on the right-hand side of (8.8) into three
integrals II' 12 , 13 on the intervals [0, aJ, [a, bJ and [b, oo[ respectively. We
have
nn+1 1a
IIItil ::s; - , (ae-ar II T( vt)x - T(t)xlldv,
n. 0
111211
nn+1
::s; e-,-
fb (ve-vr dv < e
n. a
111311 = 11-,
nn+ I 100 (ve-V)n(T(tv)x - T(t)x) dvll·
n. b
Here we used the fact that ve- V ~ 0 is monotonically non decreasing for
o ::s; v ::s; 1 and non increasing on v ~ 1. Since furthermore ve- V < e- I for
v f 1, 111111 -+ 0 uniformly in t E [0, toJ as n -+ 00. Choosing n > wt in 13 ,
we see that the integral in the estimate of 13 converges and that 111311 -+ 0
I Generation and Representation 35
li~s~pll[~R(~ :A)r+ IX
- T(t)xll~ e
and since e > 0 was arbitrary we have
lim
n~oo
[-nt R (n-t : A )]"+1 x = T( t ) X.
lim
ll~OC
!!.t R(!!.t : A) x = X
u
n
()t) _ u
n n
((j -n I) t ) _ ()t)
-~:"":"'---'---~-.!.- - AU n - , (8.10)
t n
n
which is an implicit difference approximation of (8.9). The equations (8.10)
can be solved explicitly and their solution u,,(t) is given by
un(t)= (/-~ArnX
un(t) is an approximation of the solution of (8.9) at t. Theorem 8.3 implies
that as n ----> 00, un(t) ----> T(t)x. From what we know already it is not
difficult to deduce that if x E D(A), T(t)x is the unique solution of (8.9).
Thus the solutions of the difference equations (8.10) converge to the solution
of the differential equation (8.9). If x rt:. D( A) then (8.9) need not have a
solution at all. The solutions of the difference equations do, nevertheless,
36 Semigroups of Linear Operators
Lemma 9.2. Let fl be a subset ofC (the complex plane). If J(A) is a pseudo
resolvent on fl, then J(A)J(IL) = J(IL)J(A). The null space N(J(A» and the
range, R(J(A», are independent of A E fl. N(J(A» is a closed subspace of X.
PROOF. It is evident from (9.2) that J(A) and J(IL) commute for A, IL E fl.
Also rewriting (9.2) in the form
J(A) = J(IL)[I + (IL - A)J(A)]
it is clear that R(J(IL» :J R(J(A» and, by symmetry, we have equality.
Similarly N(J(A» = N(J(IL». The closedness of N(J(A» is evident. D
and
lim AnJ{An)X = x forall x E X (9.8)
n-+oo
This is a consequence of Theorem 5.3. From Lemma 10.2 and Lemma 10.1
it follows that if A > w, A E p(A*) and
Let J(A) be the restriction of R(A: A*) to Y*. Then obviously we have
From (10.8), (10.9) and Corollary 9.5 it follows that J(]") is a resolvent of a
closed densely defined operator A + in Y*. From (10.7) and Theorem 5.3
it follows that A + is the infinitesimal generator of a Co semigroup T(t)+
on Y*. For x E X and x* E Y* we have by the definitions
n = 1,2, ....
(10.10)
Letting n ~ 00 in (10.10) and using Theorem 8.3 we obtain
(10.12)
We recall that any adjoint operator is closed and that U is unitary if and
only if R(U) = Hand U is an isometry. Both these facts are easy to prove
and are left as exercises to the reader.
Lemma 1.1. Let the real valued function w be continuous and differentiable
from the right on [a, b[. Let D+ w be the right derivative of w. If w(a) = 0 and
D+w(t) sOon [a, b[ then w(t) sOon [a, b[.
PROOF. Assume first that D + w (t) < o. If the result is false then there is a
tl EJa, b[ for which W(tl) > O. Let to = inf{t: w(t) > O}. By the continuity
of w, w(to) = 0 and by the definition of to we have a sequence Un} such that
tn ~ to and w(tn) > O. Therefore,
Returning to the general case where D + w (t) ::; 0 we consider for every
e > 0 the function w,(t) = w(t) - e(t - a). For w,(t) we have w,(a) = 0
and D + W, ::; - e < O. Therefore, by the first part of the proof, w,( t) ::; 0 on
[a, b[, i.e., w(t) ::; e(t - a). Since e > 0 is arbitrary, w(t) ::; 0 on [a, b[. D
Corollary 1.2. Let cp be continuous and differentiable from the right on [a, b[.
If D+cp is continuous on [a, b[ then cp is continuously differentiable on [a, b[.
PROOF. Let 1/; = D+cp and define X(t) = cp(a) + f:H'T) d'T. The function X
thus defined is clearly continuously differentiable on [a, b[. Let w(t) = X(t)
- cp(t) then w(a) = 0 and D+ w(t) = 0 on [a, b[. From Lemma 1.1 it then
follows that w(t) ::; 0 on [a, b[. Similarly -w(t) also satisfies the conditions
of Lemma 1.1 and therefore w(t) ~ O. Hence w(t) = 0 on [a, b[, i.e.,
cp (t) = X(t) and the proof is complete. D
W - l1m
. T( t + h) x - T( t ) x
=W-lm
1. T() ( T( h ) x - x )
t
h to h h to h
( l.2)
Therefore, if x E D( A) and x* E X* then
D+(x*, T(t)x) = (x*, T(t)Ax), (l.3)
i.e., the right derivative of (x*, T( t)x) exists on [0, oo[ and equals
(x*, T(t)Ax). But t ~ (x*, T(t)Ax) is continuous in t and so by Corollary
l.2 (x*, T( t)x) is continuously differentiable on [0, oo[ and its derivative is
(x*, T(t)Ax). Furthermore,
=\X*,{T(S)AXdsj. (1.4)
Since (1.4) holds for every x* E X*, it follows from the Hahn-Banach
theorem that
T( t ) x - x = {T( s ) Ax ds. (l.5)
o
Dividing (1.5) by t > 0 and letting t ! 0, we obtain
· T(t)x - x
1Im A-
= x. (l.6)
t to t
44 Semigroups of Linear Operators
Another result in which weak implies strong is the next theorem which we
state here without proof.
(T(t)f)(x) = {f(x 0+ t)
if x+t::;1
if x+t>l
T(t) is obviously a Co semigroup of contractions on X. Its infinitesimal
generator A is given by
Therefore a(A) = cpo On the other hand, since for every t ~ 0, T(t) is a
bounded linear operator, a(T(t» =F cp for all t ~ 0 and the relation a(T(t»
= exp{ ta( A)} does not hold for any t ~ O.
2 Spectral Properties and Regularity 45
h h II h I
(2.4)
(2.ll)
n=O nl
1)1
e-P.sT{s )x o ds
L
00
= en(X-P.)t[e-P.ST{s )x o ds
n=O 0
= {I - e(X-P.)t)-I[e-P.ST{s)xods (2.12)
o
where we used the periodicity of e-xST(s)x o' The integral on the right-hand
side of (2.12) is clearly an entire function and therefore R(JL: A)xo can be
extended by (2.12) to a meromorphic function with possible poles at
An = A + 27Tin/t, n E 7L. Using (2.12) it is easy to show that .
(2.13)
and
(2.l4)
2 Spectral Properties and Regularity 47
From the closedness of A and (2.l3), (2.14) it follows that Xk E D(A) and
that (AJ - A)Xk = 0, i.e., Ak E C1p (A). 0
for x E D(A) n E Z.
(2.15)
Since by our assumption eAt = e Ant E C1,(T(t» the left hand side of (2.15)
belongs to a fixed nondense linear subspace Y of X. On the other hand if
An E peA) U C1c (A) then the range of AnI - A is dense in X which implies
by (2.15) that the range of BA (t) belongs to Y for every n E Z. Writing
the Fourier series of the conti~uous function e-AsT(s)x we have
e-At
L
00 .
PROOF. From Theorem 2.3 it follows that if A E O'AA) then eAt E O'(T(t)).
If eAt E O'p(T(t)) then by Theorem 2.4 some Ak E O'p(A) and therefore
eAt ~ O'p(T(t)). Similarly if eAt E O'r(T(t)) then some Ak E O'r(A) and again
eAt ~ O'r(T(t)). 0
Remark. The converse of Theorem 2.6 does not hold. It is possible that
= A + 2'1Tin/t are in p(A).
eAt E O'c(T(t)) while all An
Theorem 3.2. Let T(t) be a Co semigroup. If T(t) is compact for t > to, then
T(t) is continuous in the uniform operator topology for t > to.
PROOF. Let II T(t)11 ::0:; Me w1 • If T(t) is compact for t > 0, then by Theorem
3.2, T(t) is continuous in the uniform operator topology for t > 0. There-
fore,
for Re A> W {3.4}
and the integral exists in the uniform operator topology. Let e > 0, Re A > W
and
R,{A} = 1• e-AST(s} ds.
00
(3.5)
+ fsooAe-ASIIT(t + s} - T(t}llds
::0:; sup II T( t + s} - T( t) II
which implies
limsupIIAR(A:A}T(t) - T(t)II::o:; sup IIT(t +s) - T(t)11
°
,\-->00
But AR(A: A)T(t) is compact for every A > wand therefore T(t) is
compact. o
50 Semigroups of Linear Operators
PROOF. We will assume without loss of generality that p(A) ~ {"A: Re"A > o}
and that IIT(t)11 :5 M. Otherwise, we consider S(t) = e~WT(t) with w
and set
cp(ITI) = max IIR{1 + it:A)II·
It I ;0, ITI
By what we have already proved above, cp(ITI) -+ 0 as ITI -+ 00. The series
(3.12) clearly converges (in the uniform operator topology) for 11 - a I ~
1/2cp(ITJ), which implies (3.8). Moreover, for any fixed a satisfying 11 - al
~ 1/2cp(ITI) we have
Corollary 3.7. Let T(t) be a compact Co semigroup and let A be its infinitesi-
mal generator. For every - 00 < a ~ f3 < 00, the intersection of the strip
a ~ Re A ~ f3 with a( A) contains at most a finite number of eigenvalues of A.
PROOF. The compactness of the semigroup T( t) implies the compactness of
R(A: A) for A E p(A) (Theorem 3.3). Therefore the spectrum of R(A: A)
consists of zero and a sequence, which may be finite or even empty, of
eigenvalues converging to zero if the sequence is infinite. This implies that
a(A) consists of a sequence of eigenvalues with 00 as the only possible limit
point. From Theorem 3.6 it follows that the intersection of a(A) and the
strip a ~ Re A ~ f3 is compact and hence can contain only a finite number
of eigenvalues of A. D
2.4. Differentiability
Definition 4.1. Let T(t) be a Co semigroup on a Banach space X. The
semigroup T(t) is called differentiable for t> to if for every x E X, t -+
T(t)x is differentiable for t > to. T(t) is called differentiable if it is differen-
tiable for t > O.
differentiable for t > O. Note that if t --+ T( t)x is differentiable for every
x E X and t ~ 0 then D(A) = X and since A is closed it is necessarily
bounded.
Lemma 4.2. Let T(t) be a Co semigroup which is differentiable for t > to and
let A be its infinitesimal generator, then
(a) For t> nto, n = 1,2, ... , T(t): X --+ D(An) and T(n)(t) = AnT(t) is a
bounded linear operator.
(b) For t > nt o, n = 1,2, ... , T(n- 1)( t) is continuous in the uniform operator
topology.
PROOF. We start with n = 1. By our assumption t - T(t)x is differentiable
for t> to and all x E X. Therefore T(t)x E D(A) and T'(t)x = AT(t)x
for every x E X and t> to. Moreover, since A is closed and T(t) is
bounded, AT(t) is closed. For t> to, AT(t) is defined on all of X and
therefore, by the closed graph theorem, it is a bounded linear operator. This
concludes the proof of (a) for n = 1. To prove (b) let II T(t)11 s MI for
o s t s I and let to < tl S t2 S tl + I then,
T(t2)X - T(tl)x = {2AT(s)xds = {2T(s - tl)AT(tl)xds (4.l)
/\ /\
and therefore
IIT(t2)x - T(tl)xlI S (t2 - tl)MtlIAT(tl)llllxll
which implies the continuity of T(t) for t > to in the uniform operator
topology.
We now proceed by induction on n. Assume that (a) and (b) are true for n
and let t > (n + I)t o. Choose s > nto such that t - s > to' Then
T(n)(t)x=T(t-s)AnT(s)x forevery xEX. (4.2)
The right-hand side of (4.2) is differentiable since t - s > to and therefore
T(t)x is (n + I)-times differentiable and T(n+ 1)(t)X = A n+ IT(t)x for every
x E X and t > (n + I)t o. This implies like in the case n = 1 that T(t): X
--+ D(An+l) and that An+IT(t) is a bounded linear operator for t > (n +
I)t o. This concludes the proof of (a). The continuity of T(n)(t) for t > (n +
I)to in the uniform operator topology is proved exactly as for the case
n = 1, using the fact that AnT(t) is bounded for t > (n + I)t o. 0
Corollary 4.3. Let T(t) be a Co semigroup which is differentiable for t > to. If
t > (n + 1)t 0 then T( t) is n-times differentiable in the uniform operator
topology.
PROOF. From part (b) of Lemma 4.2 it follows that for t> (n + l)t o,
AkT(t), 1 s k s n is continuous in the uniform operator topology. There-
2 Spectral Properties and Regularity 53
Let
C{t)x = Aelllx - AT{t)x.
For t > to, C(t) is a bounded linear operator. It is easy to check that B~(t)
and C(t) commute and that for x E D(A), AB~(t)x = B~(t)Ax. If Ae lll E
p{AT(t» then C(t) is invertible and from (4.6) it follows that
x = (AI - A)B~{t)C{t)-IX for every x E X,
i.e., B~(t)C(t)-1 is a right inverse of AI - A. Multiplying (4.6) from the left
by C(t)-I we have
x = C{t)-I{AI - A)B~{t)x.
Choosing x E D{A) we can commute B~(t) and AI - A. Then using the
commutativity of B~ (t) and C( t) and therefore also of B~ (t) and C( t) - I,
we obtain
x = B~{t)C{t)-I{AI - A)x for every x E D{A).
°
(i) There exists a to > such that T(t) is differentiable for t > to.
(ii) There exist real constants a, band C such that b > 0, C > 0,
°
three parts; fl given by Re A = 2a - b log ( - 1m A) for - 00 < 1m A :$
- L = _e 2a / b , f2 is given by Re A = for - L :$ 1m 'A :$ Land f3 is given
by Re A = 2a - blog(lm A) for L :$ 1m A < 00. f is oriented so that 1m A
increases along f. By changing the constant C in (4.8) we can assume that
(4.8) holds for A E fi' j = 1,3. Let fn = f n {A: 11m AI < n}. Since A ~
eAtR(A: A) is a continuous function from p{A) c C into B(X) (the space
of all bounded linear operators on X) the integrals
1
Sn(t) = -2 .1rnelllR{A: A) d'A
'TTl,
2 Spectral Properties and Regularity 55
are well defined. If Sn(t) converge in B(X) as n --+ 00 we define the limit to
be the improper integral
S~(/) = - 12.
'TTl
jr.AeAtR(A: A) dA. (4.lO)
converges in B(X) for I> 31b. Moreover (4.9) and (4.11) converge uni-
formly in I for I ~ 21b + 8 and t ~ 31b + 8 respectively, for every 8 > O.
To prove these claims we set rj,n = rj II {A: 11m AI < n} j = 1,2,3,
S
J.n
(/)=~j
'TTl ~ .•
eAtR(A:A)dA )= 1,2,3, (4.12)
and
}=1,2,3. (4.13)
Taking n > L it is clear that r 2 • n = r 2 and S2, net) = S2(t) and thus S2(t) is
well defined for every t ~ O. To prove the convergence of the integrals
Sj,n(t),} = 1,3, we estimate their integrands on the respective paths of
integration and find for A = a + iT E rj , } = 1,3
IleAtR(A:A)1I = leAtIIIR(A:A)11 ~ e2atlTI-btqTI = Ce2atITII-bt.
(4.14)
Therefore, for n > m ~ L we have,
note that S;(t) exists for t ~ O. Then we estimate the integrands of SjjO,
j= 1, 3 on their respective paths of integration.
(4.16)
where C2 is a constant independent of t. The convergence of S;, net),} = 1,3
for t> 31b now follows exactly as the convergence of Sj, n(t)} = 1,3 for
t > 21b. Thus S(t) exists for t > 21b and is differentiable for t > 31b. To
conclude that T(t) is differentiable for t > 31b we will now show that for
t> 21b, S(t) = T(t).
Let x E D(A 2 ). From Corollary 1.7.5 it follows that
. 1 jY+iT A
T(t)x = hm -2' e tR(A: A)x dA for every y > O.
ITI--->oo 7Tl y-iT
( 4.17)
But for x E D(A2) we have
Consequently
p ( A) :::) {A : Re A > t]] log M ( t]) - t]] log 11m AI}.
Set
~ = {A : Re A > t]] log (1 + c5) M ( t]) - t]] log 11m AI}
for some c5 > O. (4.21)
Obviously ~ C peA), which proves (4.7). To prove (4.8) substitute R(A: A)x
for x in (4.6). The result is,
and
for A E ~b' Re A ~ w. (4.24)
p. + iT we obtain
00
From the remarks following Theorem 4.7 we have that T(t) is differentiable
for t> 3(C + e) and since e> 0 was arbitrary, T(t) is differentiable for
t> 3C. 0
We conclude this section with some results that give the connection
between the differentiability of a Co semigroup for t > to and the behavior
of II T(t) - III as t --+ o. We already know (see Theorem l.l.2) that if
II T(t) - III --+ 0 as t ! 0 then T( t) is a differentiable semigroup. In this case
T(t) is differentiable in the uniform operator topology for t ~ 0 and its
generator A is a bounded linear operator. Our next theorem is a consider-
able generalization of this result.
This implies
IIT(t)x - eiatxll :5: tMII(A - iaI}xll.
Substituting a = ± '1TIt we obtain
and therefore,
for ° < t < 8e ,
(4.31 )
where T = ±'1Tlt.
Thus, for IT I sufficiently large A - iT! is one-to-one and has closed range.
We will show that the range of A - iT! is all of X. Since A is the
infinitesimal generator of a uniformly bounded Co semigroup T( t), it
follows from Remark 1.5.4, that for every p> 0, (A - (p + iT)I)-1 is a
bounded linear operator in X and its norm is bounded by Mp - I. Let I E X
and set
(A - (p + iT )I}xp = I.
Then Ilxpll :5: Mp-III/II and therefore,
II(A - iTI}Xpll :5: pllxpll + 11/11 :5: (M + 1)11/11. (4.32)
From (4.31) and (4.32) it follows that IIxpll is bounded as p ~ 0. Therefore,
II (A - iTI}X p - III :5: pllxpll ~ ° as p ~ 0. (4.33)
Using (4.31) again we deduce from (4.33) that xp converges to some x as
p ~ 0. Since A is closed it follows that x E D(A) and (A - iTI)x = I and
r
therefore A - iT! is onto and from (4.31) we have
which implies
and the result follows from Theorem 4.9. This concludes the proof for the
case II T(t)1I :5: M. If II T(t)1I :5: Me wt , W > 0, we consider S(t) = e-wtT(t).
Then IIS(t)1I :5: M and
for every C> C I > 0 and 0 < t < 8c- Therefore, S(t) is differentiable for
t > 3M/C I by the first part of the proof. Since T(t) = ewtS(t), T(t) is
differentiable for t > 3M/C I and since C I < C is arbitrary, T(t) is differen-
tiable for t > 3M/C. 0
PROOF. From Corollary 4.12 it follows that for every C > 0 and a > 0
sup
OStSa
(1/ T( t) - II/ + Cllog 1.)t ~ 2. (4.35)
Definition 5.1. Let ~ = {z: !PI < arg z < fP2' !PI < 0 < !P2} and for z E .1
let T( z) be a bounded linear operator. The family T( z), z E .1 is an ana~}'tic
semigroup in .l if
(i) z -> T( z) is analytic in ~.
(ii) T(O) = I and lim T(z)x = x for every x E X.
:-0
:E.l
(iii) T(zl + zz) = T(ZI)T(Z2) for Zl' Z2 E ~.
2 Spectral Properties and Regularity 61
(5.1 )
and
IIR('\:A)II ~M/I'\I for ,\ E ~,'\ =f 0 (5.2)
(c) There exist 0 < 8 < 7T/2 and M > 0 such that
and
M
IIR(A: A)II ::; W for A E ~, A =1= o. (5.5)
PROOF. (a) = (b). Let 0 < 8' < 8 be such that II T(z)11 ::; C I for z E ~6' =
{z: larg zl ::; 8'}. For x E X and a> 0 we have
From the analyticity and the uniform boundedness of T(z) in ~6' it follows
that we can shift the path of integration in (5.7) from the positive real axis
to any ray pei~, 0 < P < 00 and 1-801 ::; 8'. For 'T > 0, shifting the path of
integration to the ray pew and estimating the resulting integral we find
I R( + i'T: A)x II::; [Oe-p(UCOS IJ'+Tsin IJ')C1 II x II dp
(T
o
::; C111xll. ::; C Ilxll.
(T cos 5' + 'T sm 5' 'T
Similarly for 'T < 0 we shift the path of integration to the ray pe- i6 ' and
obtain IIR(a + i'T: A)II ::; -CI'T and thus (5.3) holds.
(b) = (c). Since A is by assumption the infinitesimal generator of a Co
semigroup we have IIR(A: A)II ::; MI/Re A for Re A> o. From (b) we have
for Re A> 0, IIR(A: A)II ::; CI 11m AI and therefore, IIR(A: A)II ::; CII
IAI for Re A> o. Let a > 0 and write the Taylor expansion for R(A: A)
around A = a + i'T
00
C 1 ';C 2 + 1 1 M
IIR(A:A)II::; l-k·"GT::; (l-k) W=W· (5.10)
T( z) = T( t) + L
00
n=\
T(n)(t)
, (z -
n.
t r. (5.16)
There are several relations between the different constants that appear in
the statement of Theorem 5.2. These relations can be discovered by check-
ing carefully the details of the proof. In particular, as we have mentioned
before the statement of the theorem, the 8 in (5.4) implies the same 8 in part
(a) of the theorem. This follows easily by checking the regions of conver-
gence of the integrals (5.11) and (5.12).
In the part (d) = (a) of the theorem we saw that if IIAT(t)1I ~ Cit then
T( t) can be extended to an analytic semigroup in a sector around the
64 Semigroups of Linear Operators
positive real axis. If the constant C is small enough the opening angle of the
sector becomes greater than 2'17 and T(t) is analytic in the whole plane
which implies in particular that A is bounded. More precisely we have
li~s~p;IIT'(;)II< lje
and therefore the series
converges in the uniform operator topology for Iz - tilt < 1 + 8 for some
8 > O. But this domain contains the origin as an interior point. Therefore
liml-+oll T(t) - III = 0 which by Theorem 1.1.2 implies that A is bounded.
But a bounded linear operator clearly generates a seroigroup T(t) which can
be extended analytically to the whole plane. 0
(5.18)
and therefore
limsuptllAT(t)ll = 1..
/-+0 e
Since A is unbounded, this example shows that the constant 1/e in Theorem
5.3 is the best possible one.
PROOF. We note first that from Theorem 5.2 it foHows easily that T(t) is
analytic if and only if it is differentiable for t > 0 and there are constants
C I > 0 and WI > 0 such that
C
IIAT(t)1I :::;; ---;-e w1 ' for t> O. (5.20)
for x E D(A).
Letting n --+ 00 it follows from Theorem 1.8.3 and the closedness of A that
Since D( A) is dense in X and AT( t) is closed, it follows that (5.22) holds for
every x E X. Therefore there are constants C I > 0 and WI > 0 such that
(5.20) holds and T(t) is analytic.
For the converse, we differentiate the formula
R(A: A)x = 1o e-"A'T(t)x dt
00
(5.23)
Operating with A on both sides of (5.23) and estimating the right-hand side
using (5.20) yields
PROOF. (a) = (b). Let T(t) be analytic in a sector around the nonnegative
real axis. From Theorems 5.2 and 1.7.7, it follows that for t > 0
1
T{t) = -2
7Tl
.1 elltR{A: A) dA
f'
where f' is a path composed from two rays p ei{\ 7T /2 < {} I < 7T, P ;::: I and
pea;" -7T < {}2 < -7T /2, p ;::: I and a curve p = p( {}) joining e iif \ to e iif ,
inside the resolvent set. f' is oriented in a way that 1m A increases along f'.
Changing variables to z = At we obtain
B{t) = 1 .1e Z (e Z
-2 - n-1(zl - tA)-1 dz 0<t<8. (5.26)
7Tl f
This integral converges in the uniform operator topology and thus defines a
bounded linear operator B (t). Since on f we have II (zl - tA) - I II s
2 Spectral Properties and Regulari ty 67
MI Iz I - I, it follows that
Since e Z and e Z ( e Z - n
-I are analytic on and to the left of r and tend
rapidly to zero as Re z -- - 00 and since e Z • e Z ( e Z - I = eZ + n-
~e:(eZ - n-
I , we obtain from the Dunford-Taylor operator calculus that
T( t ) B ( t) = T( t) + ~ B ( t ),
which implies
(I - B(t»)(O - T(t» = (0 - T(t»(I - B(t» = 0. (5.28)
Therefore,
(0 - T( t » - I = ~ - I (I - B (t »
and
(5.29)
(b) = (c) is trivial.
(c) = (a). Substituting A = - ia with a real into (2.3) we have
e- II "T(t)x - x = [e-ifaT(s)(A - iaJ)xds for x E D(A).
o
(5.30)
Since II T(t)11 ~ M, (5.30) implies
II(T(t) - ell"I) xii ~ Mtll(A - iaJ)xlI. (5.31)
If e ± II" = e iD = ~, ~ > 0, then by assumption (c) we have
(5.33)
and therefore, A ± iaI is one to one and has closed range. We will now
show that it is onto. Since A is the infinitesimal generator of a uniformly
bounded Co sernigroup, (A - (e ± ia)l)-I exists and II(A - (e ±
ia)l)-III ~ Me-I. Forevery/E X let
(A -(e±ia)J)x,=I. (5.34)
Then Ilx,11 ~ Me-III/II and ellx,11 ~ MII/II. This together with (5.34) imply
II(A ± ial)x,11 ~ (M + 1)11/11. From (5.33) we then deduce that Ilx,11 ~ C
and therefore,
Assumption 6.1. Let A be a densely defined closed linear operator for which
p(A):::) ~+= {A: 0 < Co) < largAI 5 'IT} U V (6.1)
where V is a neighborhood of zero, and
M
IIR(A: A)II 5 1 + IAI for AE ~+. (6.2)
For 0 < 0: < I we can deform the path of integration C into the upper
and lower sides of the negative real axis and obtain
0<0:<1. (6.4)
will assume, unless we state explicitly otherwise, that w < 'IT /2. In this case
since by Assumption 6.1 0 E p(A) there exists a constant 8 > 0 such that
- A + 8 is still an infinitesimal generator of an analytic semigroup. This
implies the following estimates;
II T( t)ll :5; Me- B1 (6.5)
IIAT(t)1I :5; M1r1e- B1 (6.6)
IIAmT(t)1I :5; Mmt-me- B1 . (6.7)
The two first estimates are simple consequences of the results of Section 5
while (6.7) follows from (6.6) since
A -a = sin;a 10 00
r a (looo e-sIT(s) dS) dt
= sin'IT'lTa 10 00
T(s )(10 00
t-ae- SI dt) ds
Since
we finally obtain
A-a = -1-
r(a)
1 ta-1T(t) dt
0
00
(6.9)
where the integral converges in the uniform operator topology for every
a > O. In the case where w < 'IT /2, i.e., - A is the infinitesimal generator of
an analytic semigroup T(t) we will use (6.9) as the definition of A -a for
a > 0 and we define A - 0 = I.
PROOF.
PROOF. Assume first that x E D(A). Since 0 E p(A) we have x = A -Iy for
some y E X. Therefore,
for every k > 0 and 0 s a s 1. Given e > 0 we first choose k so large that
the second term on the right of (6.13) is less than e/2 and then choose a so
small that the first term on the right of (6.13) is less than e/2. Thus for
x E D(A) we have A-ax -+ x as a -+ O. Since D(A) is dense in X and by
Lemma 6.3, A -a are uniformly bounded (6.12) follows for every x E X. 0
72 Semigroups of Linear Operators
Definition 6.7. Let A satisfy Assumption 6.1 with w < 7T /2. For every a > 0
we define
(6.14)
For a = 0, A" = I.
In the rest of this section we assume that A satisfies Assumption 6.1 with
W < 7T /2 and collect some simple properties of A" in our next theorem.
A",-I X = - 7Ta
sin - 1 00
t",-I(tI + A) _ I
xdt. (6.17)
7T 0
The integrand on the right-hand side of (6.17) is in D(A) for every t > 0 and
t",-IA(tI + A)-IX is integrable on [0, oo[ since near t = 0 IIA(tI + A -1)11 is
uniformly bounded and near t = 00 1it"'-IA(tI + A)-IXIl ~ t a- 2MIIAxll.
Finally if x E D(Aa), Aa-Ix E D(A) and from the closedness of A we
deduce
Remark. From the proof of Theorem 6.9 it is clear that (6.16) holds for
every x E D(AY) with y > a.
Theorem 6.10. Let 0 < a < 1. There exists a constant Co> 0 such that for
every x E D(A) and p > 0, we have
IIAax11 ~ Co(pallxll + pa-IIIAxll) (6.18)
and
(6.19)
PROOF. By our assumptions on A there exists a constant M satisfying
II(tI + A)-III ~ Mit for every t > O. If x E D(A) then by Theorem 6.9,
~ Co(p"'lIxll + pa-IIIAxll)·
For x = 0, (6.19) is obvious. For x 1= 0, (6.19) follows from (6.18) taking
p = IIAxll1 IIxli. D
(6.24)
Since T(t) is an analytic semigroup T(t)x E D(A) for every t > O. Choos-
ing 8 = Po I and using (6.22) with p = t- I in the first integral on the
right-hand side of (6.24) and with p = Po in the second integral and making
use of (6.5) and (6.6) we find IIBA-axll.::; CIIxll. This is true for all
x E D(A I- a ). Since BA- a is closed and D(A I-,,) is dense in X, IIBA-axll
.::; Cllxll for every x E X and therefore D(B) :J D(A"). D
= A-aT(t)y = A-aT(t)Aax
and (b) follows.
Since A a is closed so is AaT(t). By part (a) AaT(t) is everywhere defined
and therefore by the closed graph theorem AaT(t) is bounded. Let n - 1 <
a ~ n then using (6.7) we have
< Mn 1°Osn-a-l(t+s)-ne-li(t+S)ds
- f(n - a) 0
Me-lit 00 M
~f( n )a1 un-a-I(I+u)-ndu=~e-lit.
n- a t o t
Finally,
~ C [sa-lIIAaxllds = CutallAaxll. o
o
CHAPTER 3
then
(AI - A - B)R = (I - BR(A: A))-I
-BR(A: A)(I - BR(A: A))-l = I
and
R· (AI - A - B)x = R(A: A)(AI - A - B)x
00
00
= x - R ( A: A) Bx + L [R (A : A) B] kX
k~l
00
- L [R(A:A)B]kX = x
k=2
3 Perturbations and Approximations 77
Since the operators on both sides of (1.2) are bounded. (1.2) holds for every
x E X. The semigroup S(t) is therefore a solution of the integral equation
(1.2). For such integral equations we have:
( 1.6)
Indeed, for n = 0, (1.6) holds by our assumptions on T(/) and the definition
78 Semigroups of Linear Operators
V( t) = L v" (t ), (1.7)
n=O
it follows from (1.6) that the series (1.7) converges uniformly in the uniform
operator topology on bounded intervals. Therefore t --+ V(t)x is continuous
for every x E X and moreover by (1.4) and (1.5) it follows that for every
x E X, V(t)x satisfies the equation (l.3). This concludes the proof of the
existence statement. To prove the uniqueness let U( t), t ~ 0 be a family of
bounded operators for which t --+ U(t)x is continuous for every x E X and
From Proposition 1.2 and the fact that the semigroup S(t) generated by
A + B satisfies the integral equation (1.2) we immediately obtain the
following explicit representation of Set) in terms of T(t):
(1.10)
PROOF. From the integral equation (l.2) and Theorem 1.1 we have
The main result of this section, Theorem 1.1, shows that the addition of a
bounded linear operator B to an infinitesimal generator A of a Co semi-
group, does not destroy this property of A. It is natural to ask which special
properties of the semigroup T( t) generated by A are preserved when A is
perturbed by a bounded operator B. It is not difficult to show that if A is the
infinitesimal generator of a compact or analytic semigroup so is A + B. We
will prove here the statement about compact semigroups. The statement
about analytic semigroups will follow from the results of the next section
(see Corollary 2.2).
and IIR("A: A)II S; M("A - W)-I for "A> w, it follows that for "A> w +
MIIBII + I, (1.13) converges in B(X) and since each one of the terms on
the right-hand side of (1.13) is compact so is R("A: A + B) for "A > w +
MIIBII + l. From the resolvent identity it follows that R("A: A + B) is
compact for every "A E p(A + B). To show that S(t) is a compact semi-
group it is therefore sufficient, by Theorem 2.3.3., to show that S(t) is
continuous in the uniform operator topology for t > O. To show this we
note that if T( t) is continuous in the uniform operator topology for t > 0
then each one of the operators Sn(t) defined by (1.11) is continuous in the
uniform operator topology for t> O. Since S(t) is the uniform limit (on
bounded t-sets) in the uniform operator topology of L'J~o5.J(t) it follows
that S(t) is continuous in the uniform operator topology for t > o. D
Choosing 8 = ~(1 + M)-l and IAI > 2bM we have IIBR(A: A)II < 1 and
therefore the operator 1- BR(A: A) is invertible. A simple computation
shows that
(AI - (A + B))-l = R(A: A)(I - BR(A: A))-l. (2.3)
Thus for IAI > 2bM and Iarg AI :::; 'TT/2 + w we obtain from (2.3) that
IIR(A:A + B)II :::; M'IAI- 1 (2.4)
which implies that A + B is the infinitesimal generator of an analytic
semigroup.
If T(t) is not uniformly bounded, let II T(t)11 :::; Me w' . Consider the
semigroup e-W'T(t) generated by Ao = A - wI. From (2.1) we have
IIBxl1 :::; allAoxl1 + (aw + b)lIxll for x E D(A).
Therefore, by the first part of the proof if 0 :::; a :::; 8, Ao + B = A + B - wI
is the infinitesimal generator of an analytic semigroup which implies that
A + B is also the infinitesimal generator of an analytic semigroup. 0
From the proof of Theorem 2.1 one deduces easily the following corollary.
Theorem 3.2. Let A and B be linear operators in X such that D(B) :::) D(A)
and A + tB is dissipative for 0 S t S 1. If
IIBxl1 s allAxl1 + ,Bllxll for x E D(A) (3.1)
82 Semigroups of Linear Operators
°
follows from the fact that if A is m-dissipative Re (Ax, x*) ::s; for every
x* E F(x). Indeed, if B is dissipative with D(B) ::J D(A), then for every
x E D(A) there is an x* E F(x) such that Re (Bx, x*) ::s; and for this°
same x*, Re (Ax + tBx, x*) ::s; 0. From Theorem 3.2 it follows that A + tB
is m-dissipative for all t E [0, 1] and in particular A + B is m-dissipative.
Since D(A + B) = D(A) is dense in X, A + B is the infinitesimal generator
of a Co sernigroup by Lumer-Phillips' theorem. 0
Note that Corollary 3.3 can be stated in a slightly more symmetric form
as follows: If A + tB is dissipative for t E [0,1], D(B) ::J D(A), D{A) = X
and (3.5) holds then either both A and A + Bare m-dissipative or neither A
nor A + Bare m-dissipative.
Theorem 3.2 and Corollary 3.3 do not hold in general if a < 1 in (3.1) is
replaced by a = 1. One of the reasons for this is that in this case it is no
more true that A + B is necessarily closed. If A + B is not closed it cannot
be the infinitesimal generator of a Co sernigroup. A simple example of this
kind of situation is provided by a self adjoint operator iA in a Hilbert space.
If iA is self adjoint both A and -A are infinitesimal generators of Co
semigroups of contractions (see Theorem 1.10.8). Taking B = -A in Theo-
rem 3.2 we have the estimate (3.1) with a = 1 and f3 = 0, but A + B
restricted to D(A) is not closed. In this simple example however, the closure
of A + B, i.e., the zero operator on the whole space, is the infinitesimal
generator of a Co sernigroup of contractions. Our next theorem shows that
under a certain additional assumption this is always the case.
°
Let y* E X* be "orthogonal" to the range of I - (A + B), that is,
(y*, z) = for every z E R(I - (A + B)). Lety E Xbe such that Ily*11 ::s;
°
(y*, y). From Corollary 3.3 it follows that A + tB is m-dissipative for
::s; t < 1 and therefore the equation
(3.7)
84 Semigroups of Linear Operators
Corollary 3.5. Let X be a refleXive Banach space and let A be the infinitesimal
generator of a Co semigroup of contractions in X. Let B be dissipative such that
D(B) ::) D(A) and
IIBxl1 ~ IIAxll + .BllxlI for x E D(A)
where we have used the fact that R(A: A)T(s)x = T(s)R(lI.: A)x. Integrat-
ing the last equation from 0 to t yields (4.1). 0
Theorem 4.2. Let A, An E G(M, w) and let T(t) and Tn(t) be the semigrnups
generated by A and An respectively then the following are equivalent:
(a) For every x E X and A with Re lI. > w. R(A: An)x ~ R(A: A)x as
n --> 00.
(b) For every x E X and t 2 0, Tn(t)x --> T(t)x as n --> 00.
Since II Tn(t)11 :$; Me wT for O:$; t :$; T it follows from (a) that D, --> 0 as
n --> 00 uniformly on [0, T]. Also, since t --> T( t)x is continuous the set
{T(t)x: 0 :$; t :$; T} is compact in X and therefore D) --> 0 as n --> 00
86 Semigroups of Linear Operators
and the limit in (4.4) is uniform on [0, T]. Since every x E D(A) can be
written as x = R(A: A)z for some z E X it follows from (4.4) that for
x E D(A), D2 ~ 0 as n ~ 00 uniformly on [0, T]. From (4.2) it then
follows that for x E D( A 2 )
lim II(Tn(t) - T{t))xll = 0 (4.5)
n~oo
and the limit in (4.5) is uniform on [0, T]. Since II T,,(t) - T(t)11 are
uniformly bounded on [0, T] and since D(A2) is dense in X (see Theorem
1.2.7) it follows that (4.5) holds for every x E X uniformly on [0, T] and
(a) = (b).
Assume now that (b) holds and Re A > w then
Remark. From the proof of Theorem 4.2 it is clear that a weaker version of
(a) namely, for all x E X and some AO with Re AO > w, R(AO: An)x ~
R(Ao: A)x as n ~ 00, still implies (b).
We say that a sequence of operators An' r-converges to an operator A if
for some complex A, R(A: An)x ~ R(A: A)x for all x E X. In Theorem 4.2
we assumed the existence of the r-limit A of the sequence An and further-
more assumed that A E G( M, w). It turns out that these assumptions are
unnecessary. This will follow from our next theorem.
Theorem 4.4 (Trotter-Kato). Let An E G(M, w) and let Tn(t) be the semi-
group whose infinitesimal generator is An. If for some AO with Re AO > W we
have:
(a) As n -+ 00, R(AO: An)x -+ R(AO)X for all x E X and
(b) the range of R(AO) is dense in X,
88 Semigroups of Linear Operators
i.e., R(Ao: An) converges on the range of A01 - A. But by (b) this range is
dense in X and by our assumptions IIR(Ao: An)1I are uniformly bounded.
Therefore R(Ao: An)x converges for every x E X. Let
lim R( AO : An}x = R( Ao}X. (4.14)
n ..... 00
From (4.13) it follows that the range of R(AO) contains D and is therefore
dense in X. Theorem 4.3 implies the existence of an operator A'E G(M, w)
satisfying R(Ao) = R(Ao: A'). To conclude the proof we show that X = A'.
Let xED then
lim R(Ao: An){A01 - A}x = R(Ao: A'}(AoI - A}x. (4.15)
n-oo
closed, A is closable. Next we show that A:J A'. Let y' = A'x'. Since
(Ao! - A)D is dense in X there exists a sequence xn E D such that
Yn = (Ao! - A')x n = (Ao! - A)x n -+ Aox' - y'
= (Ao! - A')x' as n -+ 00. (4.17)
Therefore,
xn = R(Ao: A'}Yn -+ R(Ao: A')(A o! - A')x' = x' as n -+ 00 (4.18)
and
as n -+ 00. (4.19)
From (4.18) and (4.19) it follows that y' = Ax' and A:J A'. Thus A = A'.
The rest of the assertions of the theorem follow now directly from Theorem
« 0
(5.2)
PROOF. Let k, n ~ 0 be integers. If k ~ n then
k-l
IITkX - Tnxll = L (Tj+lX - Tjx)
j=n
k-l
:s; Mllx - Txll L Nj:s; (k - n)MNk-1Ilx - Txll
j=n
(5.3)
From the symmetry of the estimate (5.3) with respect to k and n it is clear
that (5.3) holds also for n > k. For k = n we have equality and therefore
90 Semigroups of Linear Operators
00 (tN)k
::5; MNn-111x - TXlle-tk~o ~Ik - nl· (5.4)
IISp(t)11 ~ e- t/ p
k=O
f (~)k IIF~)kll ~ Mexp {~(eWp -
p. P
I)}.
Let e > 0 be such that Re AD > W + e and let Po > 0 be such that for
o< P ~ Po, (e WP - I)p - I < W + e. Then
From Theorem 4.5 it follows that A is closable and that X E G(M, w + e).
If T(t) is the semigroup generated by X then Theorem 4.5 implies further
that
as p ~ 0 (5.11)
uniformly on bounded t intervals.
On the other hand, it follows from Lemma 5.1 that
IISpJPnkJx - F(Pn)knxll ~ Mexp {wPn(k n - 1) + (e wPn - I)k n }
+ IISp,,(knpn)x - F(Pn)k"xll = 11 + 12 + 13 •
From (5.11) and (5.12) it follows that II ~ 0 and 13 ~ 0 as n ~ 00. To
show that 12 ~ 0 as n ~ 00 we observe that for xED, 0 ~ t ~ T we have
for large values of n
as n ~ 00.
T( t) x = lim
Ii-OO
F(!..)
n
nX for x EX (5.15 )
T(t)x = lim
II-OC
(I - !"A)-n
n
X for x E X (5.16)
Corollary 5.5. Let Ai E G( Mi , w), j = 1,2, ... , k and let S)(t) be the semi-
group generated by Aj' Let n J_tD(A) be dense in X and
for some constants M ~ 1 and w ~ O. If for some A with Re A > w the range
of AI - (AI + A z + ... + A k ) is dense in X then Al + A z + ... + Ak E
G(M, w). If S(t) is the semigroup generated by Al + A z + ... + Ak we have
for x E X (5.18)
PROOF. Set F(t) = SI(t)SZ(t) ... Sk(t) and n{=ls;(t) = SI(t)SZ(t) ...
~(t). For x E n :=ID(A) and t -+ 0 we have
(5.19)
The result follows now directly from Theorem 5.3. o
n = 1, 2, ... ( 5 .22 )
(5.24)
Here we used that if A E G(M, w) then (/ - tA)-ly ~ Y as t ~ 0 for every
y E X and rl«(/ - tA)-I X - x) ~ Ax as t ~ 0 for x E D(A). The result
follows now directly from Corollary 5.4. 0
EXAMPLE 6.2. Let X = BU([ - 00,00]) be the space of all bounded uni-
formly continuous real valued functions defined on R I. Let Xn = b be the
space of all bounded real sequences {c n }::"= -00' Both spaces BU([ - 00, 00])
and b are normed with the usual supremum norm. We define Pnf(x) =
{f(kln)}'k=-oo' Then Pn is obviously linear and IIPnll .:S 1. From the
definitions of the norms and the uniform continuity of the elements of X it
is also clear that (ii) is satisfied. Taking for En the linear operator which
assigns to a sequence {Ck}'k= -00 the functionf(x) which is equal to ck at the
point x = kin and is linear between any two consecutive points jln and
j + ljn we obtain IIEnll.:S 1. Obviously PnEn = In and (iii) follows
from the uniform continuity of the elements of X and the definitions of En
and Pn •
3 Perturbations and Approximations 95
~ lim
n~oo
IIPnx - xnlln + n--+oo
lim Ilxn - Pnylln = O.
and
Ax = lim AnPnx for x E D(A}. (6.3)
n-> 00
Lemma 6.5. Let {X~}k= 1 be a Cauchy sequence in Xn. If for every fixed
k, x~ ~ xk E X as n --+ 00 (in the sense of Definition 6.3) and x~ --+ Xn E Xn
uniformly with respect to n as k --+ 00 then the double limit exists and
lim Xn = lim xk = x E X. (6.5)
n-+oo k--+oo
tk _ tk k ( t k k) _
L L L
_ 00 00 00
Sn(t) = k! A~ = k! EnAnPn = En k! An Pn - EnSn(t)Pn·
k-O k=O k=O
(6.11)
Therefore, for n large enough we have
IISn(t)1I ::;;; MNN'e(",+e)' = M1e(",+e)t. (6.l2)
3 Perturbations and Approximations 97
( 6.15)
From Lemma 5.1 we have a constant C such that
IISn(Pnkn)Pnx - F(Pn)knPnxlin
The estimate (6.16) follows from Lemma 5.1 similarly to the way (5.12)
follows from this lemma. Choosing x E D( A) we have
Finally,
Since II F( Pn)kn II are uniformly bounded, (6.19) holds for every x E X, i.e.,
F(Pn)k n --+ --+ S(t). 0
98 Semigroups of Linear Operators
Remark. From the proof of Theorem 6.7 it follows that if k n = [tIPn] the
convergence of F(Pn)k n to S(t) is uniform on bounded t intervals.
We now turn to a concrete example. Let X = BU([ - 00, 00]) be the space
of all bounded uniformly continuous real valued functions on IR I, and
consider the following initial value problem for the classical heat equation
au a2 u
{ at = ax 2 for - 00 < x < 00, t > 0
(6.20)
u(O,x} =f(x} for -00 < x < 00
f:
hEX and consider the function
PROOF. Let x* E X* and set cp(t) = (x*, u(t» then cp is clearly continuous
on [0, T] and
i E (_I~k-I
T
lo k=1 k.
ekn(I-T+s)cp(s) dsl
~ k~l
00 I ekn(I-T) I10T eknscp(s) ds I ~ M1(exp{en(I-T)} -
k! I). (1.4)
For t < T the right-hand side of (1.4) tends to zero as n -+ 00. On the other
hand we have
10k=IL
TOO (_I)k-I
k.
,ekn(I-T+S)cp(s) ds = 1 (I - exp{ _en(t-T+S)})cp(s) ds.
0
T
(1.5)
Using Lebesgue's dominated convergence theorem we see that the right-hand
side of (1.5) converges to fJ-ICP(S) ds as n -+ 00. Combining this together
with (1.4) we find that for every 0 ~ t < T, fJ-ICP(S) ds = 0 which implies
cp(t) == 0 on [0, T]. D
Theorem 1.2. Let A be a densely defined linear operator. If R(A: A) exists for
all real A ~ Ao and
limsupA -llogIIR(A: A) II ~ 0 (1.6)
,\--->00
then the initial value problem (1.1) has at most one solution for every x E X.
PROOF. Note first that u(t) is a solution of (1.1) if and only if eZ1u(t) is a
solution of the initial value problem
dv
dt = (A + zI)v, v(O) = x.
Thus we may translate A by a constant multiple of the identity and assume
that R(A: A) exists for all real A, A ~ 0 and that (1.6) is satisfied.
102 Semi groups of Linear Operators
which implies
R(A: A)u(t) = - [eAU-T)u( T) d-r. ( \.7)
o
From the assumption (1.6) it follows that for every 0 > 0
(1.8 )
From Theorem 1.2 it follows that in order to obtain the uniqueness of the
solutions of the initial value problem (l.l) it is not necessary to assume that
A is the infinitesimal generator of a Co semi group or equivalently, that for
some wEIR!, p(A)::l]w,oo[ and II(A-W)nR(A:Anl $M for A>W,
much less than this suffices for the uniqueness. Also to obtain existence of
solutions of (I.l) for some dense subsets D of initial values it is not
necessary to assume that A is the infinitesimal generator of a Co semigroup.
Depending on the set D of initial values, existence results can be obtained
under weaker assumptions. However, in order to obtain existence and
uniqueness for all x E D(A) as well as differentiability of the solution on
[0, oo[ one has to assume that A is the infinitesimal generator of a Co
semigroup. This is the contents of our next theorem.
every x E D(A) the initial value problem (1.1) has a unique continuously
differentiable solution on [0, oo[ which we denote by u(t; x).
For x E D(A) we define the graph norm by IxlG = Ilxll + IIAxll. Since
peA) -=1= 0 A is closed and therefore D(A) endowed with the graph norm is
a Banach space which we denote by [D(A)]. Let X/ o be the Banach space of
continuous functions from [0, to] into [D(A)] with the usual supremum
norm. We consider the mapping S:[D(A)]-+ X/ o defined by Sx = u(t; x)
for 0 ::; t ::; to. From the linearity of (1.1) and the uniqueness of the
solutions it is clear that S is a linear operator defined on all of [D(A)]. The
operator S is closed. Indeed, if Xn -+ x in [D(A)] and SXn -+ v in X/ o then
from the closedness of A and
u{t; xJ = xn + fAu{ T; x n ) dT
o
it follows that as n -+ 00
V{t)=x+ fAv{T)dT
o
which implies vet) = u(t: x) and S is closed. Therefore, by the closed graph
theorem, S is bounded, and
sup lu{t; x)IG::; qXlc. (1.9)
0';/';/0
we have
which implies
( 1.14)
Our next theorem describes a situation in which the initial value problem
(1.1) has a unique solution for every x E X.
Consequently we have
°
The definition of the mild solution of the initial value problem (2.1)
coincides when / == with the definition of T( t)x as the mild solution of the
corresponding homogeneous equation. It is therefore clear that not every
mild solution of (2.1) is indeed a (classical) solution even in the case / == 0.
For / E L'(O, T: X) the initial value problem (2.1) has by Definition 2.3 a
unique mild solution. We will now be interested in imposing further
conditions on / so that for x E D( A), the mild solution becomes a (classical)
solution and thus proving, under these conditions, the existence of solutions
of (2.1) for x E D(A).
We start by showing that the continuity of /, in general, is not sufficient
to ensure the existence of solutions of (2.1) for x E D( A). Indeed, let A be
the infinitesimal generator of a Co semigroup T( t) and let x E X be such
that T(t)x rE D(A) for any t z 0. Let /(s) = T(s)x. Then /(s) is continu-
ous for s z 0. Consider the initial value problem
°
o
but tT(t)x is not differentiable for t > and therefore cannot be the
solution of (2.4).
Thus in order to prove the existence of solutions of (2.1) we have to
require more than just the continuity of f. We start with a general criterion
for the existence of solutions of the initial value problem (2.1).
4 The Abstract Cauchy Problem 107
PROOF. If the initial value problem (2.1) has a solution u for some x E D( A)
then this solution is given by (2.3). Consequently vet) = u(t) - T(t)x is
differentiable for t > 0 as the difference of two such differentiable functions
and v'(t) = u'(t) - T(t)Ax is obviously continuous on ]0, T[. Therefore (i)
is satisfied. Also if x E D( A) T( t)x E D( A) for t ::::: 0 and therefore v(t) =
u(t) - T(t)x E D(A) for t> 0 and Av(t) = Au(t) - AT(t)x = u'(t) -
f(t) - T(t)Ax is continuous on ]0, T[. Thus also (ii) is satisfied.
*
On the other hand, it is easy to verify for h > 0 the identity
From the continuity of f it is clear that the second term on the right-hand
side of (2.6) has the limit f(t) as h -> O. If v( t) is continuously differentiable
on ]0, T[ then it follows from (2.6) that v(t) E D( A) for 0 < t < T and
Av(t) = v'(t) - f(t). Since v(O) = 0 it follows that u(t) = T(t)x + vet) is
the solution of the initial value problem (2.1) for x E D( A). If v( t) E D( A)
it follows from (2.6) that vet) is differentiable from the right at t and the
right derivative D+v(t) of v satisfies D+v(t) = Av(t) + f(t). Since D+v(t)
is continuous, vet) is continuously differentiable and v'(t) = Av(t) + f(t).
Since v(O) = 0, u(t) = T(t)x + vet) is the solution of (2.1) for x E D(A)
and the proof is complete. 0
PROOF. We have
It IS clear from (2.7) that v (t) is differentiable for t > 0 and that its
108 Semigroups of Linear Operators
derivative
is continuous on ]0, T[. The result therefore follows from Theorem 2.4 (i). 0
Theorem 2.7. Let fE LI(O, T: X). Ifu is the mild solution of (2.1) on [0, T]
then for every T' < T, u is the uniform limit on [0, T'] of solutions of (2.1).
PROOF. Assume that II T(t)11 ~ Me w1 . Let x1/ E D(A) satisfy xn ~ x and let
/" E CI([O, T]: X) satisfy /" ~ f in LI(O, T: X). From Corollary 2.5 it
follows that for each n ~ 1 the initial value problem
dU/1{t) () ()
{ ~ = AU/1 t + /" t (2.8)
un{O) - xn
Corollary 2.11. Let X be a reflexive Banach space and let A be the infinitesi-
mal generator of a Co semigroup T(t) on X. If f is Lipschitz continuous on
[0, T] then for every x E D(A) the initial value problem (2.1) has a unique
solution u on [0, T] given by
PROOF. From the previous remarks it is obvious that (2.1) has a strong
solution. Therefore by Theorem 2.9, v(t) given by (2.5), is differentiable
110 Semigroups of Linear Operators
°
I < P < 00 then v(t) = f~T(t - s)f(s) ds is Holder continuous with expo-
nent (p - I)/p on [0, T]. For h > we have
vet + h) - vet) = j t+h
T(t +h - s)f(s) ds
t
(3.3)
°
where Iflp = <ioTllf(s) liP dS)I/p is the norm offin LP(O, T: X). In order to
estimate 12 we note that for h >
IIT(t + h) - T(t)1I 50 2M for t, t +h E [0, T]
and
IIT(t + h) - T(t)1I 50 C~ for t, t + h E ]0, T].
Therefore,
II T( t + h) - T( t) II 50 CIJ.L( h, t) = C I min ( 1, ~ )
for t, t + h E [0, T] (3.4)
where C I is a constant satisfying C I ~ max (2M, C). Using (3.4) and
Holder's inequality we find
iT (iT
111211 50C I oJ.L(h,t-s)llf(s)llds5oCllfl p /(h,t-s)P P- ds
/( I) )(P-I)/P
.
°
(3.5)
But since J.L ~ we have
0 0
and combining (3.5) with the last inequality we find 111211 50 const . h(p-I)/p.
o
We turn now to conditions on f that will ensure that the mild solution of
(3.1) is a strong solution.
liT > °
T(t). Let f E LI(O, T: X) and assume that for every < t < T there is a
and a continuous real value function ~(r):
°
[0, oo[ ~ [0, oo[ such that
Ilf(t) - f(s)1I 50 ~(It - sl) (3.6)
and
1o - - d r <
81 ~(r)
r
00. (3.7)
°
the theorem it is therefore sufficient, by Theorem 2.4, to show that vet) =
f;T(t - s)f(s) ds E D(A) for < t < T and that Av(t) is continuous on
112 Semigroups of Linear Operators
From Theorem 1.2.4 (b) it follows that V2 (1) E D(A) and that AV2(t) =
(T( t) - 1)/( I). Since the assumptions of our theorem imply that / is
continuous on ]0. T[ it follows that Av 2 (t) is continuous on ]0. T[. To prove
the same conclusion for v I we define
for 1~ E (3.9)
and
V1 .• (I) = 0 for 1 < E. (3.10)
From this definition it is clear that v I .• ( I) -+ V I (t) as E -+ O. It is also clear
that vI.,(t) E D(A) and for 1 ~ E
AVI..(t) = fal-'AT(t - s)([(s) - /(1» ds. (3.11)
From (3.6) and (3.7) it follows that for I > 0 Avl .•(t) converges as E -+ 0
and that
limAvl..(I) = [IAT(I - s)([(s) - /(1» ds.
f~O 10
The closed ness of A then implies that v I (t) E D( A) for t > 0 and
To conclude the proof we have to show that AvI(t) is continuous on ]0. T[.
For 0 < 8 < t we have
(3.13)
For fixed 8 > 0 the second integral on the right of (3.13) is a continuous
function of t while the first integral is 0(8) uniformly in I. Thus. Avl(t) is.
continuous and the proof is complete. 0
More can be said on the regularity of the solution u under the assump-
tions of Corollary 3.3. This will be seen in Theorem 3.5. In the proof of
Theorem 3.5 we will need the following lemma.
+A j t+h
T(t + h - s)(/(s) - I(t + h)) ds
t
= II + 12 + 13 , (3.18)
We estimate each of the three terms separately. First from (3.14) and (3.17)
we have
111111 ~ [IIAT(t + h - s) - AT(t - s)llll/(s) - l(t)lIds
o
111311 :s; J
t
t+h
IIAT(t + h - s)IIII/(s) - I(t + h)lIds
Combining (3.18) with the estimates (3.19), (3.20) and (3.21) we see that
Avl(t) is Holder continuous with exponent 1Jo on [0, T]. 0
The main regularity result for the case where A generates an analytic
semigroup and I is Holder continuous comes next.
8> °
Since by (3.17) AT(t)x is Lipschitz continuous on 8 :s; t:s; T for every
it suffices to show that Av(t) E C D([8, T]: X). To this end we
decompose v as before to
(3.22)
where we used (3.4), (3.14) and denoted 11/1100 = maxO$/$T II/(t)lI. This
completes the proof of (i). To prove (ii) we note first that if x E D(A) then
AT(t)x E C([O, T]: X). By Lemma 3.4 Avl(t) E CD([O, T]: X) and sincel
is continuous on [0, T] it remains only to show that T(t)/(t) is continuous
°
on [0, T]. From (i) it is clear that T(t)I(t) is continuous on ]0, T]. The
continuity at t = follows readily from,
IIT(t)/(t) - 1(0)11 :s; IIT(t)/(O) - 1(0)11 + MII/(t) - 1(0)11
4 The Abstract Cauchy Problem 115
and this completes the proof of (ii). Finally. to prove (iii) we have again only
to show that in this case T(t )f(l) E C~([O. T 1: X) and this follows from
IIT(I + h)f(1 + h) - T(I)f(I)1I
~ IIT(t + h)llllf(t + h) - f(t)1I + II(T(t + h) - T(t»f(1)11
~ MLh'~ +IIF+hAT(T)f(t) dTIl
~ MLh~ + r;hIIAT(T)(f(t) - f(O»lIdT
I
~ Cjt - sla-III(-Arf(s)lI.
We start with the solutions of the homogeneous problem i.e.,f == 0 and look
for conditions that guarantee their exponential decay.
then there are constants M ;::: 1 and p. > 0 such that II T(t)11 ::; Me-P.I.
PROOF. We start by showing that (4.2) implies the boundedness of t ~
IIT(t)ll. Let IIT(t)11 ::; M1e wl where MI ;::: 1 and w;::: O. If w = 0 there is
nothing to prove so we assume w > O. From (4.2) it then follows that
T( t)x ~ 0 as t ~ 00 for every x E X. Indeed, if this were false we could
find x E X, 8 > 0 and t) ~ 00 such that II T(t))xll ;::: 8. Without loss of
generality we can assume that t) + 1 - t) > w - I. Set 11) = [t) - w - I, t)], then
m(l1) = w- I > 0 and the intervals 11) do not overlap. For t E 11) we have
II T(t)xll ;::: 8(M 1e)-1 and therefore
fO
t)p )pPllxll P ::; [x(Pl ll T(t)xII P dt ::;
o 0
II T(t)xII P dt ::; MfllxliP
and therefore tAp)::; (M2 /p)P = to. For t > to we have
IIT(t)xll ::; IIT(t - tx(p))IIIIT(tx(p))xll ::; Mpllxll ::; f3llxll
where 0 ::; f3 = Mp < l. Finally, let tl > to be fixed and let t = nt l + S,
o ::; s < t I' Then
IIT(t)ll::; IIT(s)IIIIT(ntl)11 ::; MIIT(tl)ll n ::; Mf3n::; M'e-P.I
where M' = M{3-1 and JL = -(1/t l )log {3 > O. o
4 The Abstract Cauchy Problem 117
and let E be the space of all measurable functions I on [0, oo[ for which
III1 < 00. Let X = Ell LP(O, 00), 1 < P < 00. X endowed with the norm
11/11 = III1 + 11/11 LP is easily seen to be a Banach space. In X we define a
semigroup {T(t)} by;
AU - Au = AU - u' = I. (4.7)
u(t} = 1o e-~Sl(t + s}
00
ds = e~ljoo e-~SI(s} ds
t
(4.8)
t
11.+ 1)(t-S)eSI/( s) Ids dt
= fooo({e(Rd.+I)(I-S) dt )esl/(s)ldS
p(A):::)~={A:larg(A-w)I<~+8}UU (4.9)
and
M
IIR(A: A)II :s; IA - wi for AE ~. (4.10)
<Moreover,
where 0> (JI > (J. From Cauchy's theorem it follows that f in (4.11) can be
shifted without changing the value of the integral to the path f' where f' is
w-a}
composed of
f' =
1
{=A pe iit + w'• P >- 1
Icos 1'J-1 '
f2 = {Re A = (JI : 11m AI ::;; (w - (JI)ltan it!),
PROOF. Since II T(t)11 ::;; Me-P.l it follows that 0 E peA) (see Theorem 1.5.3)
and II T(t)xlI-+ 0 as t -+ 00. Now
°as t
°
To complete the proof we have to show that VI(t)
Given E > we choose to such that for t > to
-+ -+ 00.
Choosing t > to large enough, the first term on the right becomes less than
e/2 and thus for t large enough IIvl(l)11 < e and the proof is complete. 0
and the Iimit'is uniform on every interval [8, T] where 0 < 8 < T.
PROOF. The operator e-IA is clearly the infinitesimal generator of the Co
semigroup T.(t) = T(t/e). We have
= e- 1 1o 1'.{
OO
T)f{t) dT - e-1joo1'.{ T)f{t) dT
t
= -A-1f{t) + T.{t)A-lf{t).
Letting € ~ 0 we therefore have vel (t) ~ - A - If( t) uniformly on [I), T]. 0
PROOF. From the results of Chapter 1 it follows that there is an w such that
Remark. From the proof of Theorem 5.1 it is clear that the result holds also
if Y is a closed convex cone with vertex at zero, rather than a closed
suhspace of X.
(5.6)
Evolution Equations
du ( t) = Au ( t ) u(O) = x. ( 1.3)
dl '
We will see later that a similar result is also true when A(t) depends on t.
5 Evolution Equations 127
In order to obtain some feeling for the behavior of the solutions of (1.4)
we consider first the simple case where for 0 :s; t :s; T, A(t) is a bounded
linear operator on X and t --+ A(t) is continuous in the uniform operator
topology. For this case we have:
Theorem 5.1. Let X be a Banach space and for every t, 0 :s; t :s; T let A ( t) be
a bounded linear operator on X. If the function t --+ A(t) is continuous in the
uniform operator topology then for every x E X the initial value problem (1.4)
has a unique classical solution u.
PROOF. The proof of this theorem is standard using Picard's iterations
method. Let a = max O:5t:5T IIA(t)1I and define a mapping S from
C([s, T] : X) into itself by
and therefore,
IISnu - snvlloo 5,
an(T - s
oo ,
r lIu - vll '
n.
For n large enough an(T - s)n/n! < 1 and by a well known generalization
of the Banach contraction principle, S has a unique fixed point u in
C([s, T]: X) for which
u(t) = x + fA( T)u( T) dT. (1.7)
s
Since u is continuous, the right hand side of (1.7) is differentiable. Thus u is
differentiable and its derivative, obtained by differentiating (1.7), satisfies
u'(t) = A(t)u(t). So, u is a solution of the initial value problem (1.4). Since
every solution of (1.4) is also a solution of (1.7), the solution of (1.4) is
unique. 0
Note that by analogy to the autonomous case, since we are not really
interested in uniform continuity of solutions, we have replaced the continu-
ity of U(t, s} in the uniform operator topology by strong continuity.
In the next sections we will give conditions on a given family of linear,
usually unbounded, operators {A(t}}, 0:::; t:::; T that guarantee the ex-
istence of a unique classical solution of the initial value problem
a
as U( t , s ) v = - u( t, s ) A (s ) v (1.17)
{
du(t) = A(t)u(t)
dt
o~ s ~ t
(2.1 )
u(s} = x
Note that in general the operators R(A: A(t) do not commute and
therefore the order of terms in (2.3) is important. In (2.3) and in the sequel
products containing (t) will always be "time-ordered", i.e., a factor with a
larger I j stands to the left of ones with smaller I j .
From the definition of stability it is clear that the stability of a family of
infinitesimal generators {A(t)} is preserved when the norm in X is replaced
by an equivalent norm. The constants of stability however, depend on the
particular norm in X.
5 Evolution Equations 131
If for t E [0, Tl, A(t) E G(1, w), i.e., A(t) is the infinitesimal generator of
a Co seruigroup St(s), s ~ 0, satisfying IISt(s)11 ~ e WS then the family
{A(t)}tE[O. TJ is clearly stable with constants M = 1 and w. In particular any
family {A (t )}t E [0, TJ of infinitesimal generators of Co semigroups of contrac-
tions is stable.
(2.4)
Letting N --> 00, such that Nsj , 1 ~ j ~ k, stay integers, each one of the mj
tends to infinity and by the exponential formula (Theorem 1.8.3) we obtain
and therefore (2.4) holds for all positive rationals Sj' The general case of
non-negative real Sj follows from the strong continuity of St(s) in s and thus
(2.3) implies (2.4).
In Chapter 1 we saw that
R(Aj:A(tJ)x =l°Oe-A,SSt (s)xds for Aj>W. (2.7)
o '
132 Semigroups of Linear Operators
D R(Aj : A(tJx = {Xl .. '1000 exp { - j~1 AjSj } J] St/Sj)X dS I ... dsk·
(2.8)
Using (2.4) to estimate the norm of the right-hand side of (2.8) we find
Ii Ii
II J=I R(A j : A(tj))xll:::;; Mllxll J=I lOOe(W-~j)Sjdsj
0
= Mllxll Ii
J=I
(Aj - w r l
and therefore (2.4) implies (2.5). Finally, choosing all Aj equal to A in (2.5)
shows that (2.5) implies (2.3) and the proof is complete. 0
= M (A - w - MK)-k
and the proof is complete. o
Let X and Y be Banach spaces and assume that Y is densely and
continuously embedded in X. ~et {A(t)}IE[O. T) be a stable family,?f infinites-
imal generators in X and let {A(t)}'E[O. T) be the family of p~rts A(t) of A(t)
in Y. Our last result gives a useful sufficient condition for {A(t)}IE[O. T) to be
stable in Y.
and thus,
k k
TI R(>..: A(tj )) = TI Q(tjrIR(>": AI(tJ)Q(tJ. (2.10)
j-I j~1
n (I + M,II~II).
k
M I (;\ - WI)-k {2.12}
J~2
Denoting by V the total variation of t -> Q(t) in the B(Y, X) norm and
estimating the Y norm of (2.11) using (2.12) and (2.13) yields
where the family {A(t )}'E[O. TI satisfies the conditions (HI )-( H 3 ) below. The
set of conditions (HI )-( H 3 ) is usually referred to as the" hyperbolic" case
in contrast to the" parabolic" case in which each of the operators A (t).
t ~ 0 is assumed to be the infinitesimal generator of an analytic semigroup.
The reason for these names lies in the different applications of the abstract
results to partial differential equations.
Let X and Y be Banach spaces with norms II II and II II Y respectively.
Throughout this section we will assume that Y is densely and continuously
imbedded in X, i.e., Y is a dense subspace of X and there is a constant C
5 Evolution Equations 135
such that
for WE Y. (3.2)
Let A be the infinitesimal generator of a Co semigroup S(s), s ~ 0, on X.
Recall (Definition 4.5.3) that Y is A-admissible if Y is an invariant subspace
of S( s) and the restriction S( s) of S( s) to Y is a Co semi group on Y.
Moreover, A the part of A in Y is, in this case, the infinitesimal generator of
the semigroup S( s) on Y.
For t E [0, T] let A(t) be the infinitesimal generator of a Co semigroup
SI(S), s ~ 0, on X. We will make the following assumptions.
(HI) {A(t)}IE[O,Tl is a stable family with stability constants M,., w.
(H2 ) Y is "!(t}-admissible for t E [0, Tj and the family {A(t)}IE[O, T) of
parts A(t) of A( t) in Y, is a stable family in Y with stability constants
M,w.
(H) For t E [0, Tj, D(A(t»::) Y, A(t) is a bounded operator from Y into
X and t -+ A(t) is continuous in the B(Y, X) norm II II Y-x.
The principal result of this section, Theorem 3.1, shows that if {A(t)}IE[O. Tl
°
satisfies the conditions (HI )-( H) then one can associate a unique evolution
system U(t, s), ~ s ~ t ~ T, with the initial value problem (3.1).
a+
TtU(t, s}v I=s I = A(s}v for v E Y, 0 ~ s ~ T.
a for v Y, 0 s t T.
asU(t,s}v= -U(t,s}A(s}v E ~ ~ ~
Where the derivative from the right in (£2) and the derivative in (£3) are in
the strong sense in X.
PROOF. We start by approximating the family {A(t)}IE[O, T) by piecewise
constant families {A,,(t)}IE[O, T)' n = 1,2, ... , defined as follows: Let ti: =
(k/n)T, k = 0,1, ... , n and let
uniformly in t E [0, T]. From the definition of An(t) and the conditions of
the theorem it follows readily that !or n :2: I, {An(t)}IE[O, T] is a stable family
in X with ~onstants M, wand {An(t)}IE[O, T] is a stable family in Y with
constants M, W.
N ext we define a two parameter family of operators Un (t, s), 0 ::s; s ::s; t ::s;
Tby,
(3.l3)
5 Evolution Equations 137
= [Un ( t, r ) ( An ( r) - A ( T )) ST (r - s ) v dr
s (3.16)
and therefore,
IIUn(t,s)v - ST(t - s)vll .:s; MMeY(I-S)lIvlly[IIAn(r) -A(T)lly-+x dr.
s
For s < t, (E2 ) together with the strong continuity of U(t, s) in X imply
a+ 1
-a
s
U(t, s)v = lim -h {U(t, s + h)v - U(t, s)v}
h ~o
(3.21 )
and for s ::; t we have by (3.20)
a- 1
-a u( t, s ) v = lim -h {U( t, s) v - U( t, s - h) v}
S h ~O
= !i~ U(t, s) { h
V- U(s S-h)V}
= - U(t, s )A(s )v.
(3.22)
Combining (3.21) and (3.22) shows that U(t, s) satisfies (E3)'
To complete the proof it remains to show that U(t, s), °: ;
s ::; t ::; Tis
the only evolution system satisfying (E 1 ), (E2 ), (E3)' Suppose V( t, s) is an
evolution system satisfying (EI)-(E3)' For v E Y consider the function
r -+ V(t, r)Un(r, s)v. Since V(t, s) satisfies (E3) it follows from the con-
struction of Un(t, s) that this function is differentiable except for a finite
number of values of r. Integrating its derivative yields
V( t, s) v - Un (t, s) v = [V( t, r)( A (r) - An (r)) 0" (r, s) v dr
s
and therefore,
IIV(t,s)v - Un(t,s)vll ::; MMeYU-S)lIvlly[IIA(r) -An(r)IIY~x dr.
s
(3.23)
Letting n -+ 00 in (3.23) and using (3.4) implies V(t, s)v = U(t, s)v for
v E Y. Since Y is dense in X and both U(t, s) and V(t, s) satisfy (E 1 ),
U( t, s) = V( t, s) and the proof is complete. D
The assumption that the family {A(t)}tE[O. T] satisfies (H2 ) is not always
easy to check. A sufficient condition for (H2 ) which can be effectively
checked in many applications is given in Theorem 2.4 above. It states that
(H2 ) holds if there is a family {Q(t)} of isomorphisms of Y onto X for
which II Q(t)1I y~X and II Q(t)-III x~ yare uniformly bounded and t -+ Q(t)
is of bounded variation in the B( Y, X) norm.
and similarly,
( E 3 )'
a
asU(t,s)v= -U(t,s)A(s)v for v E Yand a.e. on 0 ~ s ~ t ~ T.
The properties (E 2 ), and (E3)' together with (E I ) and the strong continu-
ity of U(t, s) suffice to ensure the uniqueness of U(t, s).
Letting n -+ 00 in (4.5) and using (3.4) and (3.15) we find (4.2). The
uniqueness of u is a consequence of the representation (4.2). 0
From Theorem 4.2 it follows that if the family {A(t)}tE[O. TI satisfies the
conditions of Theorem 3.1 and the initial value problem (4.6) has a Y-valued
solution, this solution is given by u(t) = U(t, s)v where U(t, s), 0 ~ s ~
t ~ T, is the evolution system associated with the family {A(t)}tE[O. T] by
Theorem 3.1. In general however, u(t) = U(t, s)v is not a Y-valued solution
of (4.6) even if v E Y. The reason for this is twofold, Y need not be an
invariant subspace for U(t, s) and even if it is such an invariant subspace,
U(t, s)v for v E Y need not be continuous in the Y-norm. Both these
properties of U(t, s) are needed for u(t) = U(t, s)v to be a Y-valued
solution of (4.6). Our next result shows that they are also sufficient for this
purpose.
Theorem 4.3. Let {A(t)}tE[O. T] satisfy the conditions of Theorem 3.1 and let
U(t, s), 0 ~ s ~ t ~ T be the evolution system given in Theorem 3.1. If
( E4 ) U( t, s) Y C Y for 0~s ~ t ~ T
and
(E5) For v E Y, U(t, s)v is continuous in Y for 0 ~ s ~ t ~ T
then for every v E Y, U(t, s)v is the unique Y-valued solution of the initial
value problem (4.6).
PROOF. The uniqueness of Y-valued solutions of the initial value problem
(4.6) is an immediate consequence of Theorem 4.2. It suffices therefore to
prove that if v E Y then u(t) = U(t, s)v is a Y-valued solution of (4.6).
From (E4) and (E5) it follows that u(t) E Y for s ~ t ~ T and that it is
continuous in the Y-norm for s ~ t ~ T. To complete the proof it remains
to show that u satisfies the differential equation in (4.6). Since u(t) =
U(t, s)v E Y for s ~ t ~ T we have by (E 2 ) that
a+ U( ) -1' U(t + h, s)v - U(t, s)v
-at
t, s v - 1m
h,J.O
h
From Theorem 4.3 it follows that if U(t, s), the evolution system given by
Theorem 3.1 also satisfies (E4) and (E5) then for every v E Y the initial
value problem (4.6) has a unique Y-valued solution given by U(t, s)v. In
order to get an evolution system U(t, s) that satisfies (E))-(E5) we will
142 Semigroups of Linear Operators
Lemma 4.4. The conditions (HI) and (H2 )+ imply the condition (H 2 ).
PROOF. From (H2 )+ it follows that for every v E Y, t ---> dQ(t)v/dt is
continuous in X on [0, T] and therefore IIdQ(t)/dtll y~X is bounded on
[0, T]. This implies that t ---> Q(t) is Lipschitz continuous and hence of
bounded variation on [0, T] in the B(Y, X) norm and II Q(t)11 y~X is
bounded on [0, T]. The Lipschitz continuity of t ---> Q(t) in B(Y, X) also
implies the continuity of t ---> Q( t) - I in B( X, Y) and therefore
IIQ(t)-'llx~Y is bounded on [0, T]. Since by (HI) {A(t)}'E[O,T] is stable in
X it follows from Theorem 2.3 that {A(t) + B(t)}tE[O, T] is a stable family in
X. From Theorem 2.4 it then follows that Y is A(t)-admissible for every
t E [0, T] and {A(t)}tE[O, T] is a stable family in Y. 0
° °
Lemma 4.5. Let U( t, s), :$; s :$; t :$; T be an evolution system in a Banach
space X satisfying II U(t, s) II :$; M for :$; s :$; t :$; T. If H( t) is a strongly
°
continuous family of bounded linear operators in X then there exists a unique
family of bounded linear operators V( t, s), :$; s :$; t :$; T on X such that
°
by induction on m. From the uniform boundedness principle it follows that
there is an H > such that IIH(t)11 :$; H for t E [0, T] and by induction on
m one verifies easily the estimate
PROOF. From Lemma 4.4 it follows that {A(t)}IE[O. TJ satisfies the conditions
(HI)' (H 2 ), (H 3 ) and therefore, by Theorem 3.1, there exists a unique
evolution system U(/, s) satisfying (EI )-(E3)'
Let v E Y and denote the derivative of Q(t)v by Q(t)v. Set
C(t) = Q(t)Q(t)-I. (4.13)
C( I), 0 :$ t :$ T, is clearly a strongly continuous family of bounded opera-
tors on X. Let W( t, s) be the unique solution of the integral equation
W(t, s)x = U(t, s)x + {W(t, r)[B(r) + C(r)]U(r, s)xdr
.<
Set
Q(t, r) = U(t, r)Q(r)-I. ( 4.17)
From (E3) and (4.16) it follows that for every x E X, r ~ Q(t, r)x is
differentiable in X and
for v E Y (4.19)
where (4.19) holds for all s::s; r except for a finite number of values of r.
Combining (4.18) and (4.19) we find
8
8r Q(t, r)Un(r,s)v
= - Q(t, r )(A(r) + B(r)+ C(r) - An(r ))Un(r, s )v. (4.20)
Integrating (4.20) from r = s to r = t yields
Q(t)-IUn(t,S)v - Q(t,s)v
I
::s; MMey(t-s) sup Q-l(r) Ilx~yllvllY[II A(r) - An(r) IIY~x dr (4.22)
r s
where y = max (w, w). Passing to the limit as n ~ 00 in (4.21) and using
(4.22) and (3.15) we obtain for v E Y
(4.24)
On the other hand, multiplying (4.14) from the left by Q(t)-I yields
Q(t)-IW(t, s)x = Q(t)-IU(t, s)x + [Q(t)-IW(t, r){B(r)
s
One special case in which the conditions of Theorem 4.6 can be easily
verified is the case where D(A(t)) = D is independent of t. In this case we
define on D a norm II II y by
Ilvll y = IIvll + IIA(O)vll for v E Y = D (4.27)
and it is not difficult to see, using the closedness of A(O), that D equipped
with this norm is a Banach space which we denote by Y. This Y is clearly
densely and continuously imbedded in X and we have:
du ( t) = A ( t ) u ( t ) for 0 ~ s < t ~ T
{ dt (5.3)
u{s) = v.
To prove that u given by (5.2) is a Y-valued solution of (5.1) we will show
that
w{ t) = {U( t, r) f{ r ) dr (5.4)
s
is a Y-valued solution of (5.1) with the initial value w(s) = v = O. From our
assumptions on f and (£4) it follows readily that w( t) E Y for s ~ t ~ T.
From (£5) it follows that r ~ U(t, r)f(r) is continuous in Y which implies
that t ~ w(t) is continuous in Yand that r ~ A(t)U(t, r)f(r) is continu-
ous in X for s ~ t ~ T. The continuity of r ~ A(t)U(t, r)f(r) implies that
w( t) is continuously differentiable in X and that
d
dt w{t) = A{t)w{t) + f{t) for s ~ t ~ T
PROOF. As in Theorem 4.8 we endow D with the graph norm of A(O) and
denote this Banach space by Y. From our assumptions it then follows that
for ;\.0 large enough and every t E [0, Tj, Q(t) = ;\.01 - A(t) is an isomor-
phism of Y onto X such that Q( t) v is continuously differentiable in X for
every v E Y. We denote the derivative of Q(t)v by Q(t)v and note that
Q(O E B(Y, X) and that {IIQ(Olly .... x} is uniformly bounded. From Theo-
148 Semigroups of Linear Operators
rem 4.8 it follows that vet, s)v is the Y-valued solution of the homoge-
neous initial value problem (5.3). To show that u given by (5.5) is a
classical solution of (5.1) it is, therefore sufficient to show that
w(t)= [V(t,r)f(r)dr
s
=Q(r)-lg(r) (5.6)
where f'(r) is the derivative of fer) and g(r) = f'(r) - Q(r)Q(r)-lf(r).
Differentiating Vet, r)Q(r)-lf(r) with respect to r using (E3) and (5.6)
we find
:r Vet, r)Q(r)-lf(r)
(5.8)
Therefore, using (5.7) we have
Since dv(t)/dt and Q(t)-Ig(t) are continuous in Xit follows that dw(t)/dt
5 Evolution Equatiom 149
{
du d/) + A ( t ) u ( t) = f ( t ) (6.1 )
u(s) = x
in the parabolic case.' The results of this part are independent of the results
of Sections 5.2-5.5 in which the corresponding hyperbolic case was treated.
The evolution system for the parabolic initial value problem
{
dUd~t) + A ( t ) U( t) = 0 O~s<t~T
(6.2)
u(s) = x
will be constructed below by a method which is entirely different from the
method used in the hyperbolic case (Section 5.3). The present section is
devoted to this construction and to the study of the main properties of the
resulting evolution system.
We start with a formal computation that will lead us to the method of
construction of the evolution system. Suppose that for each t E [0, Tj,
- A(t) is the infinitesimal generator of a Co semigroup SI(S), s z 0 on the
r
Banach space X and let U( t, s) be an evolution system for (6.2). Set
ata U( t, s) il
= - A (s ) Ss (t - s) + R (t, s) - s A ( 7" ) ST (t - 7") R ( 7", s) d7"
I In the parabolic case it is customary to write the term A(t)u(t) on the left-hand side of the
equation. This is done to overcome some notational difficulties related to the use of fractional
powers of A (I).
150 Semigroups of Linear Operators
and
a
-a U(t,s)+A(t)U(t,s)=R(t,s)-RI(t,s)- ft RI(t,r)R(r,s)dT
t s
( 6.4)
where
RI{t, s) = (A(s) - A{t))Ss{t - s). (6.5)
Since U(t, s) is an evolution system for (6.2) it follows from (6.4) that the
integral equation
R(t,s)=RI(t,s)+ [RI(t,r)R(r,s)dT (6.6)
s
must be satisfied. Given RI(t, s) we can try to reverse the argument, i.e.,
solve the integral equation (6.6) for R(t, s) and then define U(t, s) by
(6.3). This will indeed be the method of constructing U(t, s) below. To carry
out this program rigorously we will need the following assumptions:
(PI) The domain D(A(t» = D of A(t), O:s t :S T is dense in X and
independent of t.
°
(P2 ) For t E [0, T], the resolvent R(A: A(t» of A(t) exists for all A with
Re A :S and there is a constant M such that
M
IIR(A: A(t))11 :S IAI + 1 for Re A :S 0, t E [0, T]. (6.7)
°
Theorem 6.1. Under the assumptions (P I)-(P3 ) there is a unique evolution
system U( t, s) on :S s :S t :S T, satisfying:
(E I ), II U(t, s)11 :S C for O:s s :S t :S T.
(E2 )+ For O:s s < t :S T, U(t, s): X -+ D and t -+ U(t, s) is strongly
°
differentiable in X. The derivative (a/at)u(t, s) E B(X) and it is
strongly continuous on :S s < t :S T. Moreover,
a
at U(t, s) + A(t)U(t, s) = 0 for O:s s < t:S T, (6.9)
to s on °:; ;
(E3)+ For every v E D and t E]O, T], U(t, s)v is differentiable with respect
s :;;; t :;;; T and
a
as U(t, s)v = U(t, s )A(s )v. ( 6.12)
The proof of Theorem 6.1 will occupy most of this section. It will be
divided into three main parts. In the first part we will construct U(t, s) by
solving the integral equation (6.6) and using (6.3) to define U(t, s). In the
second part we will prove that U(t, s) satisfies the properties stated in
(E 2 )+ and in the third part the uniqueness of U(t, s) together with
U(t, s) = U(t, r)U(r, s), for °:; ;
s :;;; r :;;; t:;;; T and (E3)+ will be proved.
Before starting with the proof we derive some direct consequences of the
assumptions (PI)-(P3)' First we note that (P2 ) and the fact that D is dense
in X imply that for every t E [0, T], - A(t) is the infinitesimal generator of
an analytic semigroup S/(s), s ~ 0, satisfying (see Theorem 2.5.2)
IIS/(s)1I :;;; C for s ~ ° (6.13)
IIA(t)S/(s)1I :;;; C
s
for s> ° (6.l4)
where here, and in the sequel, we denote by C a generic constant. From (P2 )
it also follows that there exists an angle 1'Jo E ]0, 'TT12[ such that
p(A(t)) :::> }: = {A: larg AI ~ 1'Jo} U {O} (6.15)
and that (6.7) holds for all A E }:, possibly with a different constant M.
Some more consequences of the assumptions (P I )-(P3 ) are collected in
the next lemma.
Moreover, A(t)ST(S) E B(X) for s E]O, T], 7, t E [0, T] and the B(X)
valued function A(t)ST(S) is uniformly continuous in the uniform operator
topology for s E fe, T], t,7 E [0, T] for every e > 0.
152 Semigroups of Linear Operators
II ( A ( t I) - A ( t 2) ) ST (s ) II :s; II ( A ( t I) - A ( t 2» A ( r ) - I II II A ( r ) ST ( S) II
:s; C It2 - tda
° SI
S
which proves (6.16). To prove (6.17) let < :s; S2 and x E X. From the
results of Section 2.5 we have
:s; IIA(t)A(rl)-IIIIIAh)R(A:A(rl»)11
whence (6.18).
Finally, to prove the uniform continuity of A(t)ST(S) in the uniform
operator topology for t, T E [0, Tj, s E [f, Tj we have only to combine
(6.16), (6.17), (6.18) and use the triangle inequality. 0
{ (Cf{a))m{ )ma-I
IIRmt,s)ll~ r{ma) t-s (6.23 )
where f(·) is the classical gamma function. In the inductive proof of (6.23)
we use the well known identity
which holds for every a, {3 > O. We note that the integral defining Rm+ l(t, s)
is an improper integral whose existence is an immediate consequence of
(6.23). The continuity of Rm+1(s, t) also follows easily from the continuity
of Rm{t, s), R1(t, s) and (6.23).
The estimates (6.23) imply that the series
00
R{t, s) = L Rm{t, s)
m=l
converges uniformly in the uniform operator topology for 0 ~ s ~ t - E ~ T
and every E > O. As a consequence R(t, s) is uniformly continuous in B(X)
for 0 ~ s ~ t - E ~ T and every E > O.
From (6.22) it follows that
00 00
(6.25)
The continuity of Rm(t, s), m ~ 1, (6.21) and (6.23) imply that one can
interchange the summation and integral in (6.25) and thus see that R(t, s) is
a solution of the integral equation (6.6). Moreover, using Stirling's formula
we have
00
~ C1 + l
C2 l{ r - s )a-l
s
~ c. (6.27)
We turn now to the proof that U(t, s), constructed above, has the properties
stated in (£2)+. For this we need a few preliminaries.
Lemma 6.4. For every P, 0 < P :s; IX, there is a constant Cp such that
IIRt(t,s) - RI(T,s)1I :s; Cp(t - T)P(T - s),,-p-t
for O:s; s < T < t :s; T. (6.28)
PROOF. We have
R t ( t , s) - R I (-r, s) = (A ( T) - A ( t ) ) Ss (t - s)
+ (A ( s) - A ( T) )( S, (t - s) - Ss ( T - s».
From (6.16) it follows that
o
156 Semigroups of Linear Operators
Corollary 6.5. For every {3, 0 < {3 < a, there is a constant Cf3 such that
II R ( t , s) - R ( T, S) II .::; Cp (t - T) P ( T - S )'" - p- 1
for 0.::; s < T < t .::; T. (6.29)
PROOF. From the integral equation (6.6) we have
+ j"( R 1( t , 0) - R 1( T, 0 ) ) R ( 0, s ) do.
s
lit( R 1( t, 0) - R 1( T, 0») R ( 0 , s ) do I
.::; C(t - T)P {(T - O)"'-P-I(O - S)"'-I do
s
.::; C(t - T)P(T - s)2a- p -I.::; C(t - T)P(T - S)"'-P-I.
The estimate (6.29) is now an immediate consequence of (6.28) and the two
last inequalities. D
Therefore,
and (6.30) holds for every xED. Since D is dense in X and IISt(s)1I .::; C
the result for every x E X follows by approximation. D
(6.32)
Using the equality A(t)St(t - T) = (a/aT)St(t - T) we can rewrite the last
equation as
a
at W.(t, s) = St_,(E)R(t - E, s)
(
~CI-s ) a-I (
~CI-S-E
)a-I .
Combining these estimates we find
II : I w. (I , s ) I ~ (t-S-E)
C I- a (6.34)
158 Semigroups of Linear Operators
%IW(/,S) = W'(/,S).
Therefore, U(t, s) is strongly continuously differentiable,
a
al U(/, s) = -A(s)Ss(1 - s) +
a
al W(/, s),
and by (6.14) and (6.36)
Setting
U.(t,s) =Ss(t-s) + w.(t,s) for /3 > 0, t - s > 0,
it follows readily that lJ.(t, s): X -+ D and by (6.31), (6.32),
a
at lJ.(/, s) + A(/)lJ.(/, s)
= SI_,(e}R(1 - e, s} - RI(/, s) - [-'RI(t, 'T }R( 'T, s} d'T. (6.37)
s
Passing to the limit as e -+ 0, the right hand side of (6.37) tends strongly to
zero. Since (a/at)lJ.(/, s) -+ (a/at)u(t, s) strongly, it follows from (6.37)
that A(/)lJ.(/, s) converges strongly as e -+ O. Let x E X, the closedness of
5 Evolution Equations 159
A(t) together with U.(t, s)x -+ U(t, s)x imply that U(t, s)x E D and that
A(t)U.(t, s)x -+ A(t)U(t, s)x. Thus passing to the strong limit as f -+ 0 in
(6.37) yields
a
at U(t, s) + A(t)U(t, s) = 0 for t > s.
(6.38)
then there is a constant C such that cp( t, s) ~ C for 0 ~ s< t ~ T.
PROOF. Iterating (6.38) n - I times using the identity (6.24) and estimating
t - s by T we find
We turn now to the proof of (6.11). Let x E X and consider the function
!/I(s) = S,(t - slUes, T)A(T)-I X for 0 ~ T < S < t ~ T. It is easy to see
that !/I is differentiable with respect to s and that
(6.39)
where
Y( t , s) = A (t ) S, (t - s)[ A ( I) - A (s )] A (s ) - I
and
160 Semi groups of Linear Operators
~ IISt(t - r)IIIIA(t)A(r)-111 ~ CI
and from (6.8) and (6.14),
IIZ(t,r)11 = IIA(t)U(t,r)A(r)-11i ~ C
as desired. This completes the proof of (E 2 ) +.
III. Uniqueness
The uniqueness of the evolution system U(t, s) satisfying (E I )" (E 2 )+ and
(E3)+ will be a simple consequence of (E3)+ as we will see below.
We start by proving (E3)+ under the supplementary assumption that for
every v E D, A(t)v is continuously differentiable on [0, T]. This assumption
and the uniform boundedness theorem imply that (a/at)A(t)A(O)-l =
A'(t)A(O)-l is uniformly bounded on [0, T]. It also implies that for every
A E I, R(A : A(s» is differentiable with respect to s and that
J
JSR(A: A(s)) = R(A: A(s ))A'(s )R(A: A(s )). (6.40)
The assumptions (PI) and (P2 ) imply (see Section 2.5) that
a (t
-s
as S
1.
- s) = -1. Ae-A(t-s)R(A: A(s)) dA
27Tl r
= -~S(t-s)+_1_. (e-A(t-S)~R(A:A(s))dA.
at S 2m Jr as
To prove (£3)+ we construct an operator valued function V(t, s) satisfying
and prove later that V(t, s) = U(t, s). The construction of V(t, s) follows
the same lines as the construction of U( t, s) above. We set
Q I ( t, s ) -- (~
at + ~)S( 1 (-A(I-S)~
as S t - s ) -_27TiJ/
_ as R ('"1\. A ())d"
s 1\.
This is done in exactly the same way as the solution of the integral equation
(6.6). Since in this case QI(t, s) is uniformly bounded the solution Q(t, s) of
(6.43) will satisfy
IIQ(t, s)11 ::; C.
Setting
V( t, s) = Ss (t - s) + [Q ( t, T) Ss ( T - s) d T
s
we find that II V(t, s)11 ::; C and for v E D, V(t, s)v is differentiable in s.
Differentiating V( t, s) v with respect to s yields
a
as V(t, s)v - V(t, s)A(s)v
= QJt,s)v + [Q(t,T)QI(T,S)vdT-Q(t,S)v = O.
s
For x E X and s < r < t the function r --+ V(t, r)U(r, s)x is differentia-
ble in rand
a
ar V(t, r)U(r, s)x = V(t, r)A(r)U(r, s)x - v(t, r)A(r)U(r, s)x = O.
This shows that V(t, r)U(r, s)x is independent of r for s < r < t. Letting
r t sand r i t we find V(t, s)x = U(t, s)x for every x E X. Therefore
U(t, s) = V(t, s) and U(t, s) satisfies
a
as U(t, s)v = U(t, s )A(s)v for v ED (6.44)
as desired.
We continue by showing the validity of (6.44) in general, that is, without
assuming the continuous differentiability of A(t)A(O)-1 which was assumed
above. To do so we approximate A(t) by a sequence of operators An(t) for
which An(t)An(O)-1 is continuously differentiable. This is done as follows:
Let p(t);::: 0 be a continuously differentiable real valued function on R
satisfying p(t) = 0 for It I ;::: 1 and f~oop(t) dt = 1. Let Pn(t) = np(nt) and
extend A(t) to all of R by defining A(t) = A(O) for t < 0 and A(t) = A(T)
for t ;::: T. Let v E D and set
An(t)v = J'X)-00
Pn(t - (J)A«(J)vd(J = foo
-00
Pn«(J)A(t - (J)vd(J.
'AI - AI/(t) is closed, R('AJ - An(t» = X and 'AI - An(t) has a bounded
inverse R ('A: An (t» satisfying
M
IIR('A: AI/(t))11 ::; I'AI + 1 for 'A E L
and so (P2) is satisfied.
Choosing n in (6.46) such that Cn-a < 1 we obtain
00
A(t)AI/(t)-l = L [1 - AI/(t)A(t)-lr
k~O
and IIA(t)AI/(t)-lll ::; C. From the definition of AI/(t) and (6.8) it follows
that
JJ(An(t) -An(s))A(lT)-luJJ
therefore
II(An(t) - An(s))AnCr)-lll
::; II(An(t)-An(s))A(T)-lll·IIA(T)An(T)-lll::; qt-sl"
and so (P3 ) is also satisfied by An (t).
From the first part of the proof it follows that there is an operator valued
function U,,(t, s) satisfying II Un(t, s)11 ::; C, where C is independent of n,
and
for 0::; s < t ::; T.
for v E D. ( 6.48)
From (6.48) and the properties of U(t, s) it follows that for every v E D the
function r --> Un(t, r)U(r, s)v is differentiable and
= {Un(t,r)[An(r)-A(r)]U(r,s)vdr
s
x U(r,s)A(s)-lA(s)udr. (6.49)
Using (6.46) and (6.11) to estimate (6.49) we find
II U{t, s)v - Un(t, S )vll ::; Cn-"(t - s) IIA(s )vll ::; Cn-aIIA(O)vll
and therefore Un (t, s) V --> U( t, s) V uniformly in t and s. Since D is dense in
164 Scmigroups of Linear Operators
X it follows that Vn(t, s)x --+ V(t, s)x uniformly in t and s for every x E X.
For v E D we have
II Vn(t, s)An(s)v - V(t, s)A(s)vlI
:s; II U,,(t, s )(An(s)v - A(s)v)1I + II( Vn{t, s) - V(t, s »)A(s) vii
:s; Cn-"IIA(O)vll + II(Vn(t, s) - V(t, s»)A(s)vll
and therefore Vn(t, s)An(s)v --+ V(t, s)A(s)v uniformly in t and s. For
r < s < t and v E D we have
a
Vn(t,s)v- U,,(t,r)v= 1, aoVn(t,o)vdo=
s
1, Vn(t,o)An(o)vdo s
and therefore (6.44) holds in general. This concludes the proof of (E)+. To
conclude the proof of Theorem 6.1 we still have to show the uniqueness of
Vet, s) and that it satisfies V(t, s) = Vet, r)V(r, s) for 0 :s; s :s; r :s; t :s; T.
Both these claims follow from:
Theorem 6.S. Let A(t), 0 :s; t:s; T satisfy the conditions (p\)-(p). For every
o :s; s <
T and x E X the initial value problem
has a unique solution u given by u(t) = V(t, s)x where Vet, s) is the evolution
system constructed above.
PROOF. From (6.9) it follows readily that u(t) = Vet, s)x is a solution of
(6.50). To prove its uniqueness let v(t) be a solution of (6.50). Since for
every r> s, vCr) ED, it follows from (6.12) and (6.50) that the function
r --+ Vet, r)v(r) is differentiable and
a
ar V(t, r)v(r) = V(t, r)A(r)v(r) - V(t, r)A(r)v(r) = O.
v(t, s)x = U(t, s)x and so V(t, s) = U(t, s) and U(t, s) is the unique
evolution system satisfying (E])', (E 2 )+ and (E3)+. This concludes the
proof of Theorem 6.1. 0
°
In Theorem 6.1 we proved that -(a/at)U(t, s) = A(t)U(t, s) is strongly
continuous on ~ s < t ~ T. Much more is actually true. Indeed we have:
E °
Theorem 6.9. Let the assumptions of Theorem 6.1 be satisfied. Then for every
°
> the map t -> A(t)U(t, s) is Holder continuous, with exponent (3 < a, in
the uniform operator topology, for < s + E ~ t ~ T.
PROOF. We recall that
U( t, s) = Ss (t - s) + W( t, s).
Since (a/at)Ss(t - s) = A(s)Ss(t - s) is Lipschitz continuous in t for
° °
t E [s + E, T] it remains to show that (a/at)W(t, s) is Holder continuous
as claimed. We fix E > and assume that ~ s < S + E ~ 7 ~ t ~ T. From
(6.35) we have
aW(t, s) aw( 7, s)
at at
= [s/ (t - s) R ( t, s) - ST ( 7 - S) R ( 7, S )]
+ [( A ( t ) S/ (t - a) - A ( a ) s" (t - a) - A ( 7 ) ST ( 7 - a)
s
i
T
~ C t( 1 - a ) a - I(
a - s) a - I da
T
IIA(a)Sa(P)-A(T)ST(p)1i ~ C(T-ar
P
and therefore,
IIA(a) 2Sa(P) -A(T)2 ST (p)11
~~(T-ar. (6.52)
P
We rewrite the integrand of 13 as follows,
[ A ( 1) St (I - a) - A ( a ) Sa (I - a) - A ( T ) ST ( T - a)
+ A ( a ) Sa ( T - a)] R ( a, s)
= [A (a )( Sa ( T - a) - Sa (I - a)) - A ( T)( ST ( T - a) - ST (I - a))
+ A ( 1) St (I - a) - A ( T ) ST (I - a)] R ( a, s)
= [~~-aa(A(a)2Sa(P) -A(T)2ST(P)) dp + A(/)St(1 - a)
- A ( T ) ST (I - a)] R ( a, s ).
Estimating this integrand using (6.52), (6.51) and (6.26) we find for 0 <
{3<a
111311 ~ C[[(I - T)(T - ar-I(I - a)-I
s
For /4 we have
11/411 :s; [IIA(t)SI(t - a)IIIIR(t, s) - R(a, s)lI da
T
Here we used (6.l4) and Corollary 6.5. Finally to estimate /5 we rewrite its
integrand as follows
[A(t)SI(t - a)(R(t, s) - R(a, s»
a)( R ( T , s) - R ( a, s
- A ( T ) ST ( T - »]
= A(t)SI(t - a)(R(t, s) - R( T, s»
+ [A ( t ) SI (t - a) - A ( T ) ST (t - a)
+ A ( T ) ( ST (t - a) - ST ( T - a»] ( R ( T, s) - R ( a, s ) )
Taking {3 < y < a and estimating the integrand of /5 using Corollary 6.5,
(6.14), (6.51) and (6.17) we find
lI/sll:s; C[(t - a)-I{(t - Tr(T - s),,-.B- I
s
in the Banach space X. From Theorem 6.1 it follows that there is a unique
evolution system U(t, s), 0::;; s ::;; t ::;; T, associated with the family
{A(t)}tE[O. TJ' As we have already done in the autonomous and hyperbolic
cases, the continuous function
withf E Ll(S, T: X) and x E X will be called the mild solution of the initial
value problem (7.1). Thus for every f E Ll(S, T: X) and x E X the initial
value problem (7.1) possesses a unique mild solution given by (7.2). In this
section we will be interested in classical solutions of (7.1) i.e., functions
u :[s, T]---+ X which are continuous for s ::;; t ::;; T, continuously differentia-
ble for s < t::;; T, u(t) ED for s < t ::;; T, u(s) = x and u'(t) + A(t)u(t) =
f(t) holds for s < t ::;; T. We will call a function u a solution of the initial
value problem (7.1) if it is a classical solution of this problem. In order to
obtain (classical) solutions of (7.1) we will have to impose further conditions
on the function f. The situation here is completely analogous to the
situation in the autonomous case with - A being the infinitesimal generator
of an analytic semigroup (see Corollary 4.3.3).
Theorem 7.1. Let {A(t)}tE[O. TJ satisfy the conditions (Pl)-(P3) of section 5.6
and let U( t, s) be the evolution system provided by Theorem 6.1. If f is Holder
continuous on [s, T] then the initial value problem (7.1) has, for every x E X,
a unique solution u given by;
PROOF. From Theorem 6.8 it follows that U(t, s)x is the unique solution of
the homogeneous initial value problem
du(t}
-;Jt + A(t}u(t} = 0, u(s}=x. (7.3)
v(t}= [U(t,a}f(a}da
s
{
dVd~t} + A(t}v(t} = f(t} (7.4)
v(s} = 0.
To this end we set
ve(t} = [-'U(t, a}f(a} da. (7.5)
s
5 Evolution Equations 169
and therefore
a
7iiVE(t) + A(t)vE(t) = U(t, t - e)f(t - e). (7.6)
The proof will be concluded by letting e ! 0 in (7.6). In order to justify this
passage to the limit, we will first show that (a/at) V.( t) has a limit as e ! O.
From the results of Section 6 we have
U( t, s) = Ss (t - s) + W( t, s) (7.7)
where S/ s) is the analytic semigroup generated by - A (t) and W( t, s) is
strongly continuously differentiable in t for 0 ::; s < t ::; T (see proof of
Theorem 6.1) and
+ js
l-' a
7ii W(t,a)f(a)da.
Moreover, W(t, t) = 0 and (see (6.36)) II(a/at)W(t, s)11 ::; C(t - S),,-I.
Therefore,
= St_,(e)f(t - e)
+ r-'[A(t)St(t - a) -A(a)S,,(t - a)]f(a) da
s
To show the existence of the limit as e ! 0, we treat each of the three terms
on the right-hand side of (7.8) separately.
From Lemma 6.6 it follows that
limSt_,(e)f(t - e) = f(t).
dO
The assumptions (PI )-( P3 ) imply (see Lemma 6.2) that
IIA(t)St(t - a) - A(a)So(t - a)11 ::; C(t - a),,-I
170 Sernigroups of Linear Operators
and therefore,
t-'A(t)St(t - o)f(o) do
s
(7.9)
The Holder continuity of f and the estimate IIA(t)St{t - 0)11 ~ C(t - 0 )-1
imply that the integrand on the first term on the right-hand side of (7.9) is
integrable and therefore
(7.10)
Passing to the limit as e ~ 0 yields
Finally, dividing (7.11) by h and letting h!O we find that v(t) satisfies (7.4).
The uniqueness of the solution of the initial value problem (7.1) is an
immediate consequence of the uniqueness of the solution of the homoge-
neous initial value problem (7.3) which was proved in Theorem 6.8. This
concludes the proof of Theorem 7.1. 0
5 Evolution Equations 171
The proof of remark 7.2 is rather long and tedious and we will not give it
here. Instead, we will show now how to use Theorem 7.1 in order to obtain
higher differentiability of the solution of (7.1) under stronger assumptions.
A typical result of this kind is:
Theorem 7.3. Let {A(t)}tE[O, T] satisfy the conditions (PI) and (P2 ) and
assume that t ~ A(t)A(O)-1 is differentiable and its derivative A'(t)A(O)-1
satisfies a Holder condition
IIA'{t)A(O)-1 - A'{T)A(O)-III =0; Cit - Tl a
{
dUd~t) + A{t)u{t) = f{t) for 0 < t =0; T
(7.12)
u(O) = x
then u is twice continuously differentiable on ]0, T].
PROOF. Let u be the solution of (7.12) and set
=u{t+h)-u(t) r( )=f(t+h)-f(t)
uh ( t ) h , Jh t h
then
dU~; t) + A ( t ) Uh( t) = fh ( t) _ A (t + h~ - A ( t) u (t + h) (7.13)
Our assumptions on I(t) imply that Ih(t) --+ /'(t) as h --+ 0 uniformly on
[0, T]. From the differentiability of A(t)A(O)-I, the strong continuity of
A(~)A(t)-1 and the continuity of A(t)u(t) for t > 0 it follows that
A(o+h)-A(o) ( h)
h u 0+
°
converges as h --+ 0 uniformly on [7, T - e] for e > 0, to A'(u )A(O)-l
A(O)u(u). Therefore we can let h --+ in (7.14) and obtain
From our assumptions and the fact that u is C I on [T, t] it follows that
g(o) = /'(0) - A'(o)A(O)-IA(O)u(o) satisfies a Holder condition on [T, T]
and therefore by Theorem 7.1 u'(t) is continuously differentiable on ]T, t]
and satisfies the equation
(7.15)
Since T > 0 is arbitrary it follows that u'( t) is continuously differentiable on
]0, T] as claimed. 0
has a unique solution u on [0, 00[. The asymptotic behavior of this solution,
as t ~ 00, is the subject of the present section. In order to study this
asymptotic behavior we will assume that the conditions (PI)-(P3) hold
uniformly on [0, oo[ i.e., that they hold for every T> 0 with constants M, L
and a which are independent of T. We will further assume:
(P4 ) The operators A(t)A(s)-1 are uniformly bounded for 0 :$ s, t < 00
and there exists a closed operator A (00) with domain D such that
lim II(A(t) -A(oo))A(O)-111 = o. (8.2)
t---+ 00
From (P3 ) and (P4 ) it follows that p(ll) is finite for Il ~ 0 and p(p.) ~ 0 as
Il-> 00. Combining (8.6) with the assumption (P3 ) we find
where throughout the rest of the proof C will denote a generic constant.
From (8.7) we deduce
(8.8)
174 Scmigroups of Linear Operators
II R '" ( 1• s ) II = II { R 1( I. T) Rm_ 1 ( T, S ) d T II
r::t.:\
e-8(t-q ( Cvp(p.) (I - s)'" /2) m
<-- (8.9)
- 1 - s r( n;a)
Since for 0 < f3 .$ 1 there is a constant Cp such that
for x ~ 0,
we have for p. .$ s .$ 1
oc
IIR(I,s)lI.$ L IIR",(t,s)II.$C/p(p.)(r-s),,/2-'
",=1
and thus, for every 0 < ~' < 6 there is a P.o > 0 such that for t ~ s ~ p. ~ P.o
IIR(I, s)11 .$ C/p(p.) (I - S),,/2-1 exp{ -~'(I - s». (8.10)
r
Finally fixing ~, ~ < ~' < 6, we find
II U ( 1, s ) II .$ II Ss (I - s) II + II ST (I - T) II II R ( T, S ) II d T
s
We turn now to the inhomogeneous initial value problem (8.1), and make
the following additional assumption:
(F). The function f:[O, oo[ --+ X satisfies a uniform Holder condition on
[0,00[, i.e., there are constants C ~ 0 and 0 < y .$ 1 such that
IIf(t) - f(s)1I .$ Cil - slY for 0.$ s, t < 00
of the initial value problem (1) then there is an element u( (0) E X, indepen-
dent of x E X, such that
lim u(t) = u(oo), (8.13)
t --+ 00
Lemma 8.3. Let the conditions of Theorem 8.2 be satisfied. Then for /L .::; s <
'T, t,
IIA(t)St(t - s) - A(s )Ss(t - s) II .::; C/p(Jl) (t - s r /2 - l e- 8 (t-s)
(8.18)
and
II R (t, s) - R ( 'T, s) II .::; C/P(/L) (t - 'T) 13 ( 'T - s r /2 - 13 - Ie-il(r-s)
(8.19)
where 0 < & < S, 0 < f3 < aj2 and as before
P(Jl) = sup {II (A (t) - A (s )) A (r) - III : Jl .::; s, t < 00, 0 .::; r < oo}.
PROOF OF LEMMA 8.3: The first estimate, (8.18), is obtained similarly to
(6.18) by contour integration. Let f = {A: I arg AI = &} and f8 = {A: A -
S E f} then
A ( t ) St (t - s) - A ( s ) Ss (t - s)
= 1
-2 .1 Ae-i\(t-S)[R(A: A(t)) - R(A: A(s))] dA
7TI f8
. [R (A + S : A (t )) - R (A + S : A (s ))] d A. (8.20)
But,
IIR(A + S: A(t)) - R(A + S; A(s ))11
.::; IIR(A+S:A(t))IIII(A(t)-A(s))A(s)-111
. IIA(s)R(A + S: A(s))11
where we used (8.7) and (P2). Using (8.21) to estimate (8.20) yields (8.18).
To prove (8.19) we note that if we use (8.7) to estimate II(A(t)-
A(s»A( 'T)-III and follow the proof of Lemma 6.4 we find that for Jl .::; s <
'T .::; t
we find,
We now return to the proof of Theorem 8.2. For every t ;:::: s > 0 the
solution u of the initial value problem (8.1) can be written as
Since by (6.10)
(8.26)
III ( t) - I ( s ) II .::; VII (J-L) It - slY/2 for J-L'::; s, t < 00. (8.27)
178 Semigroups of Linear Operators
(8.28)
and therefore estimating each of the three terms on the right-hand side of
(8.28), separately, using (8.18), (8.27) and (8.4) we get
(8.29)
To estimate the second term on the right-hand side of (8.26) we note that
by the proof of Theorem 7.1 we have
aft W(/, a)f(a) da = ft -a
-a a W(t, a)f(a) da (8.30)
1 s s t
and from (6.35)
aW(t,s)
at =
ft[
s A(/)St(t-T)-A(T)ST(/-T) ] R(T,S)dT
Estimating each one of the terms on the right-hand side, using (8.18), (8.24),
(8.19), (8.5) and (8.4) yields
and therefore,
Combining (8.29) and (8.32) and noting that P(fL) ~ 0 and {j(fL) ~ 0 as
fL
~ 00 yields that for any e > 0 there is a fL such that if 1 > s ~ fL
Theorem 8.2 shows that if as 1 ~ 00, A(t) converges to A( 00) and f(t) to
f(oo), then the solution u(t) of the initial value problem (1) converges to a
limit u( 00) as t ~ 00. In order to get more detailed information on the
convergence of u(t) to u( 00) more must be known on the convergence of
5 Evolution Equations 179
A (t) to A ( 00) and f (t) to f (00). We conclude this section with one result in
this direction.
We will make the following assumptions:
A(t) = A +.!.A
o t '
+ ~A
t2 2
+ ... + ~A + ~B (t)
tn n tn n
(8.33)
where Ao is a densely defined closed linear operator for which the resolvent
set p(Ao) satisfies p(Ao):) {A: ReA'::;; O} and
Mo
IIR(A: Ao)1I .::;; IAI + I (8.34)
The operators A k , 1 .::;; k .::;; nand Bn(t) for t ;::: 0 are closed linear operators
satisfying D(Ak):) D(Ao) and D(Bn(t»:) D(Ao). Furthermore, the
bounded linear operators Bn( t )Ao' satisfy
(8.35)
for some 0 < P .::;; 1, C > 0 and
and
(8.37)
Lemma 8.4. If {A(t)}t>o satisfies (An) with n ~ 0 then there is a to> 0 such
that {A(t)}t>t
-
satisfies;
()
(i) For every t ~ to' the resolvent R(X: A(t)) of A(t) exists for all Re X:::; 0
and
M
IIR(X: A(t))11 :::; IXI + I for all X with Re X :::; O.
(iii) The operators IIA(t)A(s)-11i are uniformly bounded for to :::; s, t < 00
and
lim II(A(t) -Ao)Aolli = o. (8.40)
t --+ 00
PROOF. (i) Set Q(t) = A(t) - A o' from the closed graph theorem it follows
that for every t > 0 and X E p(Ao), Q(t)R(X: Ao) is a bounded linear
operator. Furthermore, for X with Re X :::; 0 we have
II
Lemma 8.4 implies that if A(t), t ;;::: 0, satisfies (An) with n ;;::: 0 then
{A(t)}t;,to satisfies on [to' oo[ the assumptions (PI)-(P4) with A(oo) = Ao.
Moreover, it is easy to check that if f satisfies (Fn) with n ;;::: 0 then it
satisfies the assumption (F) with f( 00) = fo and therefore under these
assumptions the initial value problem (8.39) has a unique solution u on
[to' 00[.
Theorem 8.5. Let A(t) satisfy the conditions (An) with some n > 0 and let f
satisfy the condition (Fn) with the same n > o.
If u is the solution of the initial
value problem (8.39) then for t ;;::: to,
1 1 1 1
u(t) = u o + -u
t 1 + -u
t2 2 + ... + -u
tn n + -
tnvn(t) (8.43)
~[dW + (A(t)
t'" dt
_ m
t
I)W]
1 [
= t'" (m - m 1
l)u",_1 - P~IA.U",_p + f",-B",(t)u o + CPm(t) + "(g(t) ]
(8.48)
182 Semigroups of Linear Operators
where
n
Brn{t) = L t-l+rnA, + rn+rnBn{t),
'~rn+1
n
IPrn{t) = L t-'+rnl, + t-n+rnIPn{t)
and g(t) is a finite sum of terms of the form t-k(A,uj + Brn(t)uJ with
o :::; k, j
:::; m - 1 and 0 :::; i, I:::; m. It is easy to check that for t ~ to > 0,
t-Ig(t) is Holder continuous in t. Multiplying both sides of (8.48) by t m we
find
Substituting (8.49) into (8.46) gives the desired result for m. The theorem
follows by induction. D
CHAPTER 6
We start with the following classical result which assures the existence
and uniqueness of mild solutions of (1.1) for Lipschitz continuous func-
tions f.
where M is a bound of II T(t)1I on [to' T). Using (1.3), (1.4) and induction
on n it follows easily that
"
II(F"u)(t) - (F"v)(t)1I ~ ( ML ( t ~ to ») lIu - vll oc
n.
whence
(MLT)"
IIF"u - F"vll ~ ,
n.
Ilu - vll oo · ( 1.5)
For n large enough (MLT)"/n! < I and by a well known extension of the
contraction principle F has a unique fixed point u in C([to' T): X). This
fixed point is the desired solution of the integral equation (1.2).
The uniqueness of u and the Lipschitz continuity of the map U o --+ u are
consequences of the following argument. Let v be a mild solution of (1.1) on
6 Some Nonlinear Evolution Equations 185
and therefore
IIu - vll oo .s MeML(T-Io)IIu o - voll
which yields both the uniqueness of u and the Lipschitz continuity of the
map U o -> u. 0
Corollary 1.3. If A and f satisfy the conditions of Theorem 1.2 then for every
g E C([to' T]; X) the integral equation
°
If we assume that f satisfies only a local Lipschitz condition in u, uniformly
in t on bounded intervals, that is, for every t' ~ and constant c ~ there
is a constant L( c, t') such that
°
IIf(/, u) - f(/, v)11 .s L(c, 1')IIu - vII ( 1.7)
holds for all u, v E X with IIuli .s c, IIvll .s c and I E [0, I'], then we have
the following local version of Theorem 1.2.
has a unique mild solution u on [0, t max [. Moreover, if t max < 00 then
lim Ilu(t)11 = 00.
ti (max
(1.10)
Moreover, 8 depends only on Ilu(r)II, K(r) and N('T).
6 Some Nonlinear Evolution Equations 187
Let [0, t max [ be the maximal interval of existence of the mild solution u of
(1.8). If t max < 00 then liml .... lmax lIu(t)11 = 00 since otherwise there is a
sequence tn i t max such that lIu(tn)1I :::; C for all n. This would imply by
°
what we have just proved that for each tn' near enough to t max , u defined on
[0, t n ] can be extended to [0, tn + 8] where 8 > is independent of tn and
hence u can be extended beyond t max contradicting the definition of t max .
To prove the uniqueness of the local mild solution u of (1.8) we note that
if v is a mild solution of (1.8) then on every closed interval [0, to] on which
both u and v exist they coincide by the uniqueness argument given at the
end of the proof of Theorem 1.2. Therefore, both u and v have the same t max
and on [0, t max [, u == v. 0
+ 1
I
1
o
a
T(t - s) as/(s, u(s)) ds. (1.11)
From our assumptions it follows that g E C([t o, T]: X) and that the
function h(t, u) = B(t)u is continuous in t from [to, T] into X and uni-
formly Lipschitz continuous in u since s --+ B(s) is continuous from [to, T]
into B(X). Let w be the solution of the integral equation
and
/(s + h, u(s + h)) - /(s, u(s + h»
= (a / as) / ( s, u (s + h» . h + w2 ( s, h )
(1.14)
where h-11Iwi(s, h)11 ~ 0 as h---> 0 uniformly on [to, T] for i = 1,2. If
whet) = h-I(u(t + h) - u(t» - wet) then from the definition of u, (1.12),
(1.13) and (1.14) we obtain
wh{t) [h-I(T{t + h - to)u o - T{t - to)u o) +AT{t - to)uoJ
*
=
{
dVd~t) _+ Av{t) = /(t, u{t»
(1.18)
v{t o ) - Uo .
and therefore,
lIu(t + h) - u(t)11 ~ hMIIAuoll + hMN
+MC{(h+ lIu(s+h)-u(s)ll)ds
10
Let g(s) = f(s, u(s)). From our assumptions it follows that g(s) E D(A)
for s E [to' T] and that s ~ Ag(s) is continuous in X. Therefore it follows
from Corollary 4.2.6 that the initial value problem
dv
{ dt + Av = g(t) ( 1.23)
v(t o ) = U o
has a unique classical solution von [to' T]. This solution is then clearly also
a mild solution of (1.23) and therefore
[to'
t max [ and only IIAu(t)11 ~ 00 as t i t max . This is indeed the case in
many applications to partial differential equations.
PROOF. Since we are interested here only in local solutions, we may assume
that a < 00. Let II T(t)11 ::; M for 0 ::; t ::; a and let t' > 0, p > 0 be such
that B/u o ) = {v: Ilv - uoll ::; p} c U and Ilf(s, v)11 ::; N for 0::; s ::; t'
192 Semigroups of Linear Operators
Since T(t) is compact for every t > 0, the set Y,(t) = {(F'.u)(t): u E Yo) is
precompact in X for every e, 0 < e < t. Furthermore, for u E Yo we have
dWd~ t) + A w ( t) = f (t + t], W( t ) )
{ (2.7)
w(O) = u(t])
+ 11"+11,, liT (
I"
tn+hll-s ) f ( s,u (s) ) lids
We conclude this section with two useful conditions for the existence of
global mild solutions of the initial value problem (2.1) under the assump-
tions of Theorem 2.2.
(i) There exists a continuous function k o(s) :[0, oo[ ~ ]0, oo[ such that II u( t) II
.:s; k o( t) for every t in the interval of existence of u.
(ii) There exist two locally integrable functions k](s) and k2(S) such that
The function I/; thus defined is obviously continuous on [0, oo[ and we have
Ilu(t)lle-wI:'S: e-WIIIT(t)uoll + e-WILIIT(I - 5)/(5, U(5»)lId5
o
(2.10)
dUd~l) + Au ( I) = / ( I, u ( 1) ) , 1 > 10
{ (3.1 )
U(lo) = Xo
o< a < fJ implies X" :;) Xp and that the imbedding of Xp in X" is continu-
ous.
Our main assumption concerning the function f in (3.1) will be,
We can now state and prove the main existence result of this section.
(3.6)
Let Y be the Banach space C([t o, tJl: X) with the usual supremum norm
which we denote by II . II y. On Y we define a mapping F by
which implies
+ f
I
l+h
IIAaT(t + h - s )J(s, A -ay(s)) lids
= II + 12 + 13 • (3.13)
Using (3.11) and (3.12) we estimate each of the terms of (3.13) separately.
II s C(t - to)-(a+P)hPllxoll S Mlh P (3.14)
12 s CNh Pret - s) -(a+p) ds s M 2h P (3.15)
10
(3.16)
By Corollary 4.3.3. this problem has a unique solution u E CI(]to, tIl: X).
The solution of (3.19) is given by
u(t) = T(t - to)xo + [T(t - s )J(s, A -ay(s)) ds. (3.20)
10
For t > to each term of (3.20) is in D(A) and a fortiori in D(Aa). Operating
on both sides of (3.20) with Aa we find
Aau(t) = T(t - to)Aa xo + [A"T(t - s)J(s, A-ay(s)) ds. (3.21)
10
Corollary 3.2. Let A and f satisfy the assumptions of Theorem 3.1 and assume
further that f satisfies (3.2) for every (t, x) E U (i.e. the constants it and L are
uniform in U). If u is the solution of the initial value problem (3.1) on [to, t d
then du/ dt is locally Holder continuous on lto, t ,1 with exponent I' = min (it, (3)
for any 13 satisfying 0 < 13 < I - lX.
PROOF. Let 0 < 13 < I - lX. In the proof of Theorem 3.2 we showed that if
u is the solution of the initial value problem (3.1) then for every to < tb < t"
f(t, u(t» is Holder continuous on [tb, td with exponent I' = min(i}, (3).
From Theorem 4.3.5 it then follows that for every t~ > tb, du/dt is Holder
continuous on [t~, ttl with the same exponent 1'. D
it follows that
which implies by Lemma 5.6.7 that lIu(t)ll" :s; Con [0, T[ and the proof is
complete. D
200 Scmigroup, of Linear Operator,
{
dUd~t) + A (t, u) u = ° for 0.:0; t .:0; T
(4.1 )
u(o) = Uo
in a Banach space X.
The initial value problem (4.1) differs from the semi Ii near initial value
problems that were treated in the previous sections by the fact that here the
linear operator A(t, u) appearing in the problem depends explicitly on the
solution u of the problem, while in the semilinear case the nonlinear
operator was the sum of a fixed linear operator (independent of the solution
u) and a nonlinear" function" of u.
In general the study of quasi linear initial value problems is quite com-
plicated. For the sake of simplicity we will restrict ourselves in this section
to a rather simple framework starting with mild solutions of the initial value
problem (4.1). We begin by indicating briefly the general idea behind the
definition and the existence proof of such mild solutions.
Let u E C([O, T] : X) and consider the linear initial value problem
dv
{ dt + A ( t , u) v = ° for 0.:0; t .:0; T
( 4.2)
v(o) = Uo
If this problem has a unique mild solution v E C([O, T]: X), for every given
u E C([O, T]: X), then it defines a mapping u -+ v = F(u) of C([O, T]: X)
into itself. The fixed points of this mapping are defined to be mild solution
of (4.1).
To prove the existence of a local mild solution of (4.1) we will show that
°
under suitable conditions, there exists always a T', < T' .:0; T such that the
restriction of the mapping F to C([O, T']: X) is a contraction which maps
some ball of C([O, T']: X) into itself. The contraction mapping principle
will then imply the existence of a unique fixed point u of F in this ball and u
is then, by definition, the desired mild solution of (4.1).
In order to carry out the program as indicated above, we will need some
preliminaries. We start with the existence of mild solutions of the linear
initial value problem (4.2). To this end we modify the assumptions (HI )-( H)
of section 5.3 so that they depend on an additional parameter.
°
Definition 4.1. Let B be a subset of X and for every .:0; t .:0; T and b E B
let A( t, b) be the infinitesimal generator of a Co semigroup St. b(S), S ? 0, on
X. The family of operators (A(t; b)}, (t, b) E [0, T] X B, is stable if there
6 Some Nonlinear Evolution Equations 201
and every finite sequences °: :; t] :::; t2 :::; ... :::; tk :::; T, bj E B, 1 :::; j :::; k.
It is not difficult to show (see proof of Theorem 5.2.2) that the stability of
{A(t, b)}, (t, b) E [0, T] X B implies that
(4.5)
and any finite sequences 0:::; t] :::; t 2 :::; ... :::; tk :::; T, bj E B, 1 :::;j:::; k.
Let X and Y be Banach spaces such that Y is densely and continuously
imbedded in X. Let B c X be a subset of X such that for every (t, b) E
[0, T] X B, A(t, b) is the infinitesimal generator of a Co semigroup St.b(S),
S 2 0, on X. We make the following assumptions:
Theorem 4.3. Let Be X and let {A(t, b)}, (t, b) E [0, T] X B be afamity of
operators satisfying the conditions (HI )-(H4). If u E C([O, T]: X) has values
in B then there is a unique evolution system Uu(t, s), °:;
s :;; t :;; T, in X
satisfying
a
as Uu(t, s)w = - Uu(t, s )A(s, u(s ))w
for wE Y, °:; s :;; t:;; T. (4.10)
Lemma 4.4. Let Be X and let {A(t, b)}, (t, b) E [0, T] X B, satisfy the
conditions (H I )-(H4 ). There is a constant C I such that for every u, v E
C([O, T]: X) with values in B and every w E Y we have
(4.14)
where C depends only on the stability constants of {A(t, b)} and {A(t. b)}.
Combining (4.14) with (H4) yields (4.13). D
We turn now to the existence of local mild solutions of the initial value
problem (4.1). In the first result the initial value U o will be assumed to be in
Y and B will be a ball of radius r in X centered at uo.
6 Some Nonlinear Evolution Equations 203
Theorem 4.5. Let U o E Yand let B = {x: IIx - uoll :s; r}, r > O. If{A(t, b)},
(t, b) E [0, T] X B satisfy the assumptions ( ill )-( i14 ) then there is a T,O <
T :s; T such that the initial value prohlem
du
f dt + A{t, u)u = 0, {J::::t::::1"
(4.15 )
\u(O) = U o
has a unique mild solution u E C([O, T]: X) with u(t) E B for 0 :s; t :s; T.
PROOF. We note first that the constant function u(t) == U o satisfies the
assumptions of Theorem 4.3 and there is therefore an evolution system
Uuo(t, s), 0 :s; s :s; t :s; T associated to u o. Let 0 < t \ :s; T be such that
r
max IIUu (t,O}u o - uoll <-2
O~t~tl 0
and choose
(4.16)
where C is the constant appearing in Lemma 4.4. On the closed subset ;i) of
C([O, T]: X) defined by
5i = {u: u E C([O, T] : X), u(O) = uo, lIu(t) - uoll :s; r for O:s; t:s; T}
(4.17)
we consider the mapping
Fu(t) = Uu(t,O)u o for O:s; t :s; T. (4.18)
By our assumptions and Theorem 4.3 it is clear that F is well defined on ~
and that its range is in C([O, T): X). We claim that F: ~ --+ ~. Indeed, for
u E ;i) we clearly have Fu(O) = U o and by Lemma 4.4 and (4.16),
IIFu(t} - uoll :s; IIUu(t,O)u o - UuJt,O)uoll + IIUuJt,O)u o - uoll
Theorem 4.6. Let U o E Y and let B = {y: Ily - uoll y :::; r}, r> 0. Let
{A(t, b)}, (t, b) E [0, T) X B be a family of linear operators satisfying the
assumptions (HI)-(H6). If A(t, b)u o E Yand
IIA{t, b)uoll y k for (t, b) E [0, T] X B (4.2l)
°
:::;
then there exists aT', < T' :::; T such that the initial value problem (4.15)
has a unique classical solution u E C([O, T') : B) n CI([O, T') : X).
PROOF. We start by showing the existence of a unique mild solution of
(4.15). We note first that from the construction of Uu(t, s) and (Hs) it
follows that
for 0:::; s :::; t :::; T (4.22)
and every u C([O, T') : X) with values in B. After choosing
-I}
E
r 1
T' = min { T, kC 1 ' "2( Clluolly + 1) ( 4.23)
7.1. Introduction
The theory of semigroups of linear operators has applications in many
branches of analysis. Such applications to Harmonic analysis, approxima-
tion theory, ergodic theory and many other subjects can be found in the
general texts that are mentioned at the beginning of the bibliographical
remarks.
In the present and following chapter we will restrict our attention to
applications which are related to the solution of initial value problems for
partial differential equations. The different sections of these two chapters
are essentially independent of each other and each one of them describes a
special application. Basic results from the general theory of partial differen-
tial equations which will be used will be stated, without proof, when needed.
In the applications of the abstract theory, it is usually shown that a given
differential operator A is the infinitesimal generator of a Co semigroup in a
certain concrete Banach space of functions X. This provides us with the
existence and uniqueness of a solution of the initial value problem
au(t'X)_A{
a - u t, x )
{ (l.l)
u{o,~) = uo{x)
in the sense of the Banach space X. The solution u thus obtained may
actually be a classical solution of the initial value problem (1.1). If this is the
case, it is usually proved by showing that u is more regular than the
regularity provided by the abstract theory. A common tool in such regular-
ity proofs is the Sobolev's imbedding theorem, a version of which will be
stated at the end of this section.
7 Application;, to Partial Differential Equations-Linear Equations 207
We turn now to the description of the main concrete Banach spaces that
will be used in the sequel. In doing so we will use the following notations;
x = (x I' Xl" .. , XII) is a variable point in the n-dimensional Euclidean
space 1R". For any two such points x = (XI"'" XII)' Y = (YI"'" Yn) we set
X . Y = L;'~IXiYI and IxI2 = X· x.
An n-tuple of nonnegative integers a = (a" a 2 , . .. , an) is called a multi-
index and we define
n
and
for x=(x"x 2 , ... ,x lI ) .
Denoting Dk = a/ax k and D = (D" D 2, ... , Dn) we have
a'" a'" a""
D" = D"'D'" ... D a " = - - - - ... - - .
'2 n axf' ax~2 ax~"
Let Q be a fixed domain in ~n with boundary aQ and closure Q. We will
usually assume that aQ is smooth. This will mean that aQ is of the class C k
for some suitable k z 1. Recall that aQ is of the class C k if for each point
x E aQ there is a ball B with center at x such that aQ n B can be
represented in the form Xi = <p(x" . .. , x i -" Xi +', . .. , XII) for some i with <p
k-times continuously differentiable.
By C»l(Q) (C»l(Q)) we denote the set of all m-times continuously
differentiable real-valued (or sometimes complex-valued) functions in Q (Q).
C;'(Q) will denote the subspace of C»l(Q) consisting of those functions
which have compact support in Q.
For u E C»l(Q) and 1 .:s; p < 00 we define
'IP
lIullm,p =
( 1L
QI"I<;m
ID"uI P dx ) ( 1.2)
Some relations between the space Wm·p(n) and the spaces of continu-
ously differentiable functions Ck(n) and integrable functions U(n), r ~ 1
are given next.
The space Wok. p(n) is the subspace of elements of Wk. p(n) which vanish
in some generalized sense on an. It can be shown that if an is of class C k
and u E Ck-1(O) n wtp(n) then u and its first k - 1 normal derivatives
vanish on an and conversely, if u E Ck(O) and its k - 1 first normal
derivatives vanish on an then u E Wok. p(n).
(-~u,u)o= -lu~udx=l\1u.
Q Q
\1udx= Ilu11T2-llu1162 (2.5)
"
where the second equality follows from integration by parts while the last
equality is a direct consequence of the definition of the norms II 11m 2' A
simple limiting argument shows that (2,5) stays true for every u E H2(Q) n
HJ(Q) and (2.4) holds for -~.
Let A(x, D) be a strongly elliptic operator of order 2m with smooth
coefficients aa(x) in n.
Using integration by parts (Au + AU, v)o can be
extended to a continuous sesquilinear form on Hf{'(Q) X Hom(Q) for every
complex A. If Re A ;:::: Ao then it follows from Garding's inequality (2.4) that
this form is coercive. We may therefore apply the classical Lax-Milgram
lemma and derive the existence of a unique weak solution u E Hom(Q) of the
boundary value problem
A(x, D)u + AU = f (2.6)
for every f E L2(Q) and Re A;:::: Ao. It can then be shown, but this is not
easy, that the weak solution of (2.6) actually satisfies u E H2m(Q) and
therefore we have,
210 Semigroups of Linear Operators
Theorem 2.3. Let A(x, D) be strongly elliptic of order 2m. For every A
satisfying Re A ~ Ao and every f E L2(Q) there exists a unique u E H2m(Q)
n H(;'(Q) satisfying the equation
A{x, D}u + AU = f.
Theorem 2.5. Let H = L2(Q) and let A be the operator defined above. For
every A satisfying Re A ~ AO the operator - AA = - (A + AI) is the infinites-
imal generator of a Co semigroup of contractions on H = L2(Q).
for some constant b > O. From (2.8) and (2.9) it follows that the numerical
range S(AAO) of AAO satisfies
S(AAJ C SIf\ = {A: - tJ 1 < arg A < tJ 1} (2.10)
where tJ I = arctan( b/ co) < 'IT /2. Choosing tJ such that tJ I < tJ < 'IT /2 and
denoting ~If = {A: larg AI > tJ} there exists a constant elf such that
where d(A: S) denotes the distance between A and the set SeC. From
Theorem 2.3 it follows that all real p" p, < 0 are in the resolvent set of AAO
and therefore ~If is contained in a component of the complement of S( AAJ
which has a nonempty intersection with P(AAO)' Theorem 1.3.9 then implies
that P(AA O) :=l ~If and that for every A E ~If'
(2.12)
(2.13)
212 Semigroups of Linear Operators
~~ + A (x, D) u = f ( t, x) in 0 X R+
{ (2.14)
u(O, x) = U o in 0
is called the formal adjoint of A(x, D). From the definition of strong
ellipticity it is clear that if A(x, D) is strongly elliptic so is A*(x, D). The
coefficients aa(x) of A(x, D) are tacitly assumed to be smooth enough, e.g.
aa(x) E C 2m (Q) or aa(x) E Coo(Q). Many of the results however, hold
under the weaker assumptions that aa(x) E Loo(O) for 0 :$; lal < 2m and
aa(x) E C(Q) for lal = 2m. For strongly elliptic differential operators the
following fundamental a-priori estimates have been established.
C
lIullo,p ~ III"P.I + A)ullo,p (3.4)
(3.5)
and
(3.6)
AE ~.., = {p.: i} - '1T < arg p. < '1T - i}, 1p.1 ~ R} (3.7)
C
IXT
-1
II ( AI + Ap ) II ~
which, by Theorem 2.5.2 (c), implies that -Ap is the infinitesimal generator
of an analytic semigroup on LP(~). D
Theorem 3.5 is based on the deep a-priori LP estimate (3.3). For second
order strongly elliptic operators with real coefficients written in divergence
form, Theorem 3.5 can be proved directly without the use of Theorems 3.1
and 3.2. This will be done next.
Let ~ be a bounded domain with smooth boundary a~ in R n and let
A(x, D) be the symmetric second order differential operator given by
A(x, D)u = -
k,'=1
Ln axa (ak,,(x)-a
k
au ).
x,
(3.8)
We assume that the coefficients a k ,(x) = a, k(X) are real valued and
continuously differentiable in n
and 'that A(x: D) is strongly elliptic, i.e.
7 Applications to Partial Differential Equations- Linear Equations 215
= 1 L ak,l-a
nk./~1
au a
n
-a-(uluI P- 2 ) dx
XI Xk
But,
~ lul p- 2 = .!( p - 2) IU IP - 4( u au + u au ).
aX k 2 aX k aX k
Denoting, lul(P-4)j2 u(au/ax k ) = Oi k + i13 k we find after a simple computa-
tion that
1L
n
(Apu, u*) = ak,l((p - 1)) OikOi, + 13 k 13, + i(p - 2)Oi k 13,) dx.
nk.'~ I
(3.10)
Let 100 k ,(x)1 ~ M for I ~ k, I ~ n and x E Q and set
IIm(Apu,u*)1 Mlp-21
< . (3.13)
IRe ( Apu, u*)1 - 2Co~
From (3.11) it follows readily that for every A > 0 and u E D(A p ) we have
(3.14)
and therefore AI + Ap is injective and has closed range for every A > o.
Since (3.14) holds for every 2 :;;;. p < 00 it follows that for A > 0, AI + A p is
also surjective. Indeed, if v E U(Q) satisfies «AI + Ap)u, v) = 0 for all
u E D(Ap) then, since A(x, D) is formally self adjoint, Jt follows from
Lemma 3.4 that v E D(Aq), q = p/(p - 1), and that (~(AI + Aq)v) = 0
for every U E D(Ap). Since D(Ap) is dense in LP(Q), (AI + Aq)v = 0 and
(3.14), with p replaced by q, implies v = O. Thus, AI + Ap is bijective for
A > 0 and as a consequence of (3.14) we have
-1 1
II ( AI + Ap ) lIo.p :;;; I for A> O. (3.15)
The Hille-Yosida theorem (Theorem 1.3.1) now implies that -Ap is the
infinitesimal generator of a contraction semigroup on LP(Q) for every
2 :;;; p < 00. Finally, to prove that the semigroup generated by -Ap is
analytic we observe that by (3.11) and (3.13) the numerical range S( -Ap)
of -Ap is contained in the set S,'}j = {A: larg AI> 'Tf - ttl} where ttl =
arctan(Mlp - 21!2Co~), 0 < ttl < 'Tf /2. Choosing ttl < tt < 'Tf /2
and denoting
~I} = {A: larg AI < '1T - 1'J-} (3.16)
for AE ~I}.
Since A> 0 is in the resolvent set p(-Ap) of -Ap by the first part of the
proof, it follows from Theorem 1.3.9 that p( -Ap) ::::> ~I} and that
( )
-1 1
II AI + Ap Ilo.p :;;; CI}IAI for AE ~I) (3.17)
We turn now to the cases p = I and p = 00 and start with p = 00. Recall
that the norm in LOOm) is defined by
and
(3.19)
We note first that from Sobolev's theorem (Theorem 1.2) it follows that
D(Aoo) C C 2m - 1(n) and therefore, since by our assumptions an is smooth
the conditions DP u = 0 for 0 ~ 1,81 < m on an make sense. Moreover,
from the regularity of the boundary and the definition of D(Aoo) it follows
that D(A«,) c W 2m ,P(O) n Wom,P(O) = D(A p ) for every p > n. But -Aoo
is not the infinitesimal generator of a Co semigroup of operators on
LOO(O). The reason for this is that D(Aoo) is never dense in LOO(O). Indeed,
we have noted above that D(A oo ) c C(n) and therefore also D( Aoo) c
C(n), where D(Aoo) is the closure of D(A oo ) in the II 110,00 norm. Since
C(n) is not dense in LOO(O), D(A oo ) cannot be dense in LOO(O).
To overcome this difficulty we restrict ourselves to spaces of continuous
functions on n. We define
D(Ac) = {u: u E D(Aoo), A(x, D)u E C(n), A(x, D)u = 0 on an}
(3.20)
and
for u E D(AJ. (3.21)
The operator Ac thus defined is considered as an operator on the space:
C = {u: u E C(n), u = 0 on an} (3.22)
and we have:
different way, which will exploit a duality between continuous functions and
L' functions. We start with a lemma.
the sup on the right-hand side of (3.23) is clearly less or equal to Ilullo,I'
Since CO"(O) is dense in L'(O) it suffices to prove the result for U E CO"(O).
Let Pn(z) E COO(C) be such that Pn(O) = 0, IPn(z)1 ~ 1 and Pn(z) = i/lzl
for Izl ~ lin. Then Pn(u(x» E CO"(O) and IIPn(u(x»lIo,,,,, ~ 1. Also,
lim
n-+oo
1nu{x )Pn(U{X)) dx = lln u{x) Idx = lIullo"
and thus the sup on the right-hand side of (3.23) is larger or equal to lIullo,l'
o
We turn now to the definition of the operator A, associated with the
strongly elliptic operator A(x, D) given by (3.1), on the space L1(O).
° °
semigroup on C. Theorem 2.5.2 then implies that there are constants M > 0,
R ~ and < {t < 'TT' /2 such that
(3.26)
for every,\ E ~,~ = {Jl: largJlI > {t, IJlI ~ R). Now, let U E D(AI)' From
Lemma 3.8 it follows that
and
for x E 1R"
It is easy to check that the completion of CO'(IR ") X COOO(IR ") with respect to
the norm III . III is the Hilbert space H = H I(IR ") X L 2(1R "). In this Hilbert
space we define the operator A associated with the differential operator
(~ ~) as follows;
Lemma 4.2. If p > 0 and f E Hk (IR "), k ~ 0, then there is a unique function
u E H k + 2 (1R") satisfying
u - p~u = f. (4.7)
PROOF. Let j(~) be the Fourier transform of f and let u(O =
(l+ pl~12)-?(n Since fE Hk(IR"), (J + 1~12)k/2ja) E L2(1R") and
7 Applications to Partial Differential Equations-Linear Equations 221
Lemma 4.3. For every F = [/1' f2l E CO'(lR n) X q'''(lRn) and real A+-O the
equation
V-AAV=F (4.8)
has a unique solution V = [UI' u2l E Hk(lRn) X Hk-2(lRn) for every k ;;:: 2.
Moreover,
IIIVIII :::; (1-IAI- 1 )IIIFIII for 0 < IAI < 1. ( 4.9)
PROOF. Let A+-O be real and let WI' W 2 be solutions of
Wi - A2 ~Wi = /; i = 1,2. (4.10)
From Lemma 4.2 it is clear that such solutions exist and that Wi E Hk(lRn)
for every k ;;:: O. Set u l = WI + AW2, u 2 = w2 + A ~WI' It is easy to check
that V = [UI' u2l is a solution of (4.8) and therefore u l - AU 2 = fl and
u 2 - A ~UI = f2' Moreover, V E Hk(lRn) X Hk-2(lRn) for every k ;;:: 2. De-
noting (,)0 the scalar product in L2(lRn) we have
111£111 2 = (fl - ~fl' fl)o + (f2' f2)0
= (u l - AU 2 - ~UI + A ~U2' UI - AU 2 )0
+ (u 2 - A ~UI' U2 - A ~UI)O
;;:: (u l - ~UI' ul)o + Ilu 2115.2 - 21AI Re(u l , u 2 )0
;;:: (I - IAI)IIIVII1 2.
Therefore if 0 < IAI < 1,
III F 1112;;:: (1 - IAI)2111 V 1112. ( 4.11)
o
Lemma 4.3 shows that the range of the operator I - AA contains
C~(If~n) X C~(lRn) for all real A satisfying 0 < IAI < 1. Since the operator A
defined by Definition 4.1 is closed, the range of I - AA is all of H =
Hl(IJ~n) X L2(/R n) and we have
Corollary 4.4. For every FE Hl(IRn) X L2(/R n) and real A satisfying 0 <
IAI < 1 the equation
V- AAV= F (4.12)
222 Semigroups of Linear Operators
( 4.14)
Corollary 4.6. For every fl E H 2(R n), f2 E HI(Rn) there exists a unique
u(t, x) E CI([O, 00[; H2(Rn» satisfying the initial value problem
then
a
at [u l ' u 2] = A[u l , U2] = [u 2' Ilu l ]
and UI is the desired solution. o
We conclude this section by showing that if the initial values fl' f2 in the
ini tial value problem (4.16) are smooth so is the solution. To this end we
note that Sobolev's theorem (Theorem 1.2) can be extended to the special
unbounded domain n = R II as follows:
1( t. 2)N+la l A(t.) 2 t.
.::; C l IR n 1 + 1.. 1 Iv .. I d .. .::; C2I1vII 2N+ lal,2 (4,18)
Consider now the initial value problem (4.16) with 11,12 E Co',o(lRn).
Clearly, [fl' 121 E D(Ak) for every k 2 1, where A is the operator defined in
Definition 4.1. Therefore [up u 2] = T(t)[fl' 12] E D(Ak) for every k 2 1
and in particular tiu l E L2(lRn) for all k 2 O. This implies that U l E
Hk(lRn) for every k 2 0 and from Theorem 4.8 it follows that u l , the
solution of (4.16), satisfies ul(t, x) E coo(lRn) for every t 2 O. With a little
more effort one can show that actually, ul(t, x) E COO(IR X IRn) and is a
classical smooth solution of (4.16), but we will not do this here.
Definition 5.1. Let D(Ao) = H2(lRn) where the space H2(lRn) is defined in
Section 7.1. For u E D(Ao) let
Aou = i llu (5.2)
Lemma 5.4. Let Vex) E LP(lRn). lfp > nl2 andp ~ 2 then for every e > 0
there exists a constant C( e) such that
(5.4)
where the norm II . II denotes the L 2 norm in IR n.
PROOF. If u E H2(lRn) then (1 + 1~12)a(~) E L2(lRn) and since p > nl2
we also have (1 + 1~12)-1 E LP(lRn). Using Holder's inequality and
Parseval's identity we have for q = 2 P1(2 + p)
liVul1 2 = 1V HI!
2U 2 dx 1 I VIP dx )2/P( 1 lul dx )2/r
~ ( H'! H'!
r
PROOF. We have already seen that the operator iAo is self adjoint (Lemma
5.2) and in particular ±Ao is m-dissipative. Since V is real the operator V is
symmetric and therefore iAo + V is a symmetric operator. To prove that it
is self adjoint we have to show that the range of I ± (Ao - iV) is all of
L2(~"). This follows readily from the fact that ±(Ao - iV) is m-dissipative
which in turn follows from the m-dissipativity of ±A o' the estimate
II Vull ~ E11Aou11 + C(e)llull for u E D(Ao)
and the perturbation Theorem 3.3.2. Thus, Ao - iV is self adjoint and by
Stone's theorem it is the infinitesimal generator of a group of unitary
operators on L 2{~ n). 0
Let 1 < p < 00 and let Q be a bounded domain with smooth boundary
aQ in IR n. Consider the initial value problem
au
7ft + A(t, x, D)u = f(t, x) in Q X [0, T]
{ (6.1 )
Dau(t, x) = 0, lal < m, on aQ X [0, T]
u(O,x)=uo(x) in Q
where
A(t,x,D)= L aa(t,x)Da (6.2)
lal "",2m
with the notations introduced in Section 7.1. We will make the following
assumptions;
(HI) The operators A(t, x, D), t ~ 0, are uniformly strongly elliptic in Q
i.e., there is a constant c > 0 such that
(-I)mRe L aa(t, x)ga ~ clgl zm (6.3)
lal =2m
for every x E n, 0 ::; t::; T and g E IRn.
(Hz) The coefficients aa(t, x) are smooth functions of the variables x in n
for every 0::; t ::; T and satisfy for some constants C I > 0 and
0</3::;1
laa(t, x) - aa(s, x)1 ::; Cdt - siP ( 6.4)
for x E n, 0 ::; s, t ::; T and lal ::; 2m.
With the family A(t, x, D), t E [0, T], of strongly elliptic operators, we
associate a family oflinear operatorsA/t), t E [0, T], in LP(Q), I < P < 00.
This is done as follows:
and
Ap(t)u = A(t, x, D)u for u E D.
If U o E LP(Q) and f(t, x) E LP(Q) for every 0::; t::; T then a classical
solution u of the (abstract) initial value problem
du
{ dt + Ap(t)u = f
( 6.5)
u(O) = U o
Lemma 6.1. Under the assumptions (HI ), ( H 2) there is a constant k ;;:: 0 such
that the family of operators {Ap(t) + kJ}tE[O. T] satisfies the conditions
(PI )-( P3) of Section 5.6.
PROOF. From the definition of the operators Ap(t) given above it follows
readily that for every real k the domain of D(Ap(t) + kI) = D(Ap(t» = D
is independent of t and therefore, for any choice of k ;;:: 0, the family
{Ap(t) + kJ}tE[O.T] satisfies the condition (PI)'
Since the constant e in the a-priori estimate stated in Theorem 3.1
(equation (3.3» depends only on Q, n, m, p and the ellipticity constant c, we
have
(6.6)
for every u E D. The a-priori estimate (6.6) implies, via the argument of S.
Agmon, that
( 6.7)
for u E D and A satisfying Re A ;;:: 0 and IAI ;;:: R for some constant R ;;:: 0;
Choosing k > R, (6.7) implies that
( 6.12)
for every u E LP(O) and the family {Ap(t) + kI}tE[o, T] satisfies also the
condition (P3) of Section 5.6. 0
From Lemma 6.1 and Theorem 5.7.1 we now deduce our main result.
Theorem 6.2. Let the family A(t, x, D), 0::::;; t::::;; T, satisfy the conditions
(HI) and (H2 ) and let f(t, x) E LP(O) for 0::::;; t::::;; T satisfy
IIP
(
~If(t, x) - f(s, x)I Pdx ) ::; Cit - slY (6.13)
for some constants C > 0 and 0::::;; y < 1. Then for every uo(x) E LP(g) the
evolution equation (6.1) possesses a unique generalized solution.
PROOF. We note first that if f satisfies (6.13) so does e-ktf for every real k.
From Lemma 6.1 it follows that there are values of k ~ 0 such that the
family {Ap(t) + kI}tE[o, T] satisfies the assumptions (P I )-(P3 ) of Section
5.6. We choose and fix such a k.
Given uo(x) E LP(O), it follows from Theorem 5.7.1 that the initial value
problem
v(O) = U o ( 6.14)
u(O) = U o (6.15)
{
~~ + Aou + F( u) = 0 for I > 0
( 1.2)
u(O) = Uo
1.
(S(/)U)(X)=-4 {exp{iIX~YI2}u(Y)dY,
1ft! J~2 I
(1.3)
8 Applications to Partial Differential Equations-Nonlinear Equations 231
Moreover, we have
°
Lemma 1.1. Let Set), t ~ be the semigroup given by (1.3). If 2:$ P :$ 00
and l/q + l/p = 1 then set) can be extended in a unique way to a
bounded operator from U([R2) into LP([R2) and
( 1.4)
PROOF. Since Set) is a unitary operator on L2(1R2) we have IIS(t)ull o2 =
lIullo 2 for u E L2(1R2). On the other hand it is clear from (1.3) 'that
S(t)': LI(1R2) -> Loo(1R2) and that for t > 0, IIS(t)ull o. oo :$ (47Tt)-lllullo,I'
The Riesz convexity theorem implies in this situation that Set) can be
extended uniquely to an operator from U([R2) into LP([R2) and that (1.4)
holds. D
( 1.7)
Denoting by D any first order differential operator we have for every
u E H2(1R2)
and therefore
IlluI2uIl2,2:$ C(lIuI16.oollull2,2 + lIullo,,,oI!ulli,4)' (1.8)
From Gagliardo-Nirenberg inequalities we have
(1.9)
Lemma 1.3. For every U o E H2(JR 2) there exists a unique solution u of the
initial value problem (1.2) defined for t E [0, Tma,[ such thaI
u E C'([O, Tma,[: L2(JR 2») n C([O, Tmax[: H2(JR 2 »)
with the property that either Tmax = 00 or Tmax < 00 and lim,_T",Jlu(t)lln
= 00.
From Lemma 1.3 it follows that the initial value problem (1.2) has a
unique local solution. To prove that this local solution is a global solution it
suffices, by Lemma 1.3, to prove that for every T > 0 if u is a solution of
(1.2) on [0, T[ then II u( t) 112.2 .::; C( T) for 0 .::; I < T and some constant
C(T). That this is indeed so in our case, at least if k ~ 0, is proved next.
Lemma 1.4. Let U o E H2(JR 2) and let u be Ihe solution of Ihe initial value
problem (1.2) on [0, T[. If k ~ Olhen Ilu(t)II2.2 is bounded on [0. T[.
PROOF. We will first show that Ilu(t)II,.2 is bounded on [0, T[. To this end
we multiply the equation
I au
fat - flu + klul 2 u = 0
(
1.10
)
by u and integrate over JR 2. Then, taking the imaginary part of the result
gives d/dtllull~.2 = 0 and therefore
IIU(/)lIo.2=lIu oll o. 2 for O.::;t<T. (1.11)
Next we multiply (1.10) by aU/aI, integrate over JR 2 and consider the real
part of the result. This leads to
~ ~ 21 V' u ( t, x) 12 dx + ~ ~ 21 it ( t, x) 14 dx
Since u is the solution of (1.2) it is also the solution of the integral equation
u(t) = S(t)u o - [S(t - s)F(u(s)) ds. (1.15)
o
Denoting by D any first order derivative we have
Du(t) = S(t)Duo - {S(t - s)DF{u(s)) ds. (1.16)
We fix now p> 2 and let q = p/(p - 1) and r = 4p/(p - 2). Then
denoting by C a generic constant and using Lemma 1.1, (1.16) and the
Holder inequality we find
where in the last inequality we used the facts that r > 2 and therefore
Ilu(s)llo,r ~ C by (1.14) and that IIDu(s)1I0.2 ~ qu(s)111,2 ~ C. There-
fore, lIu(t)III.p ~ C and since by Sobolev's theorem W 1• P (1R 2 ) c LOO(1R2)
for p > 2, it follows that lIu(t)llo.oo ~ C for ~ t < T. °
Finally, since S(t) is an isometry on L2(IRZ) it follows from (1.15) and
(1.5) that
Combining Lemma 1.3 with Lemma 1.4 yields our main result,
Theorem 1.5. Let U o E H2(1R 2). If k ;;:: °then the initial value problem
-:- -at - t::.u + klul u °
1 au 2
=
{ I (1.17)
u{o, x) = uo(x)
has a unique global solution u E C([O, 00[: H2(R2» n CI([O, oa[: L2(R2».
Also. it is not difficult to show that the initial value problem (1.2) has
local solutions for the more general F( u) defined by F( u) = k Iu IP t u with
p 2: I. Moreover. it can be shown that for k > 0 the solutions of (.1.2) with
F(u) = klul P - IU are actually global solutions for every p 2: I.
u(x) = ,\
2,\ sinh 2"
.[f cosh ,\ (x - y - ~ ) g ( y ) dy + 1. J cosh ,\ ( x - y + ~ ) g ( y) dy ]
(2.3)
X Applications to Partial DifTerential Equations- Nonlinear Equations 235
and that this solution is unique. Denoting Re'A = Ii = P cos it > 0 and
using the elementary inequalities
. [ {'COSh Ii (x - y - ~ ) dy + ! cosh Ii (x - y + ~ ) dY ]
I
II gil (2.4)
From Lemma 2.1 in conjunction with Theorems 6.2.1 and 6.2.2 we now
have:
Theorem 2.2. For every continuous real valued function f and every U o EX
there exists a to > 0 such that the initial value problem (2.1) has a mild
solution u(t, x) on· [0, t o[ and either to = 00 or if to < 00 then
limsup t _ to Ilu{t, x)11 = 00.
If we assume further that f is Holder continuous then the mild solution
given by Theorem 2.2 is a classical solution. In this case we have:
Theorem 2.3. Iff is a Holder continuous real valued function then for every
u()(x) E X there is a to> 0 such that the initial value problem (2.1) has a
236 Semigroups of Linear Operators
We tum now to the study of global solutions of the initial value problem
(2.1) and start by noting that the conditions of Theorem 2.3 do not imply
the existence of a global solution of (2.1). Indeed, choosing for example
f(s) = S2 and uo(x) == 1 it is easy to see that the unique solution of (2.1) in
this case is u(t, x) = (I - t)-I which blows up as t ~ l.
Lemma 2.4. Let f be continuous and let u be a bounded mild solution of (2.1)
on [0, oa[ then the set {u(t, x): t ~ O} is precompact in X.
PROOF. Let Ilu(t)ll::s; K for t ~ O. The continuity of f implies that
Ilf(u(t»11 ::s; N for some constant N. Let T(t), t ~ 0 be the semigroup
generated by A and recall that, by Lemma 2.1, T(t) is compact for t > o.
Let 0 < 6 < 1, t ~ 1 and set
u(t} = T(E}U(t - E} + [u(t} - T(E}U(t - E}] = uE(t} + vE(t}.
Lemma 2.5. Let f be Holder continuous. If for some Uo E X the initial value
problem (2.1) has a bounded global solution u( t, x) then there is a sequence
tk ~ 00 such that
lim U(tk' x} = cp(x} (2.6)
tk~oo
{
cp" + f(cp} = 0 (2.7)
cp(O} = cp(I}, cp'(O} = cp'(I}.
8 Applications to Partial Differential Equations-Nonlinear Equations 237
~ ~jllau(0'X)12
2 0 ax
dx-jl p (u(O,x))dx
0
(2.9)
where pes) = 1;f(r) dr. Since lu(t, x)1 ~ K for some constant K, we
deduce from (2.9) that
°
L2(0, I) and using the closedness of the operator Au = u" as an operator in
L2(0, I) we find cp"(x) + f(cp(x» = in L2(0, I). Sincef(cp(x» is continu-
ous, this equation holds in a classical sense. Furthermore, the periodicity
conditions are satisfied by cp(x) since they are satisfied by u(t, x). 0
Corollary 2.6. Iff is Holder continuous and f(s) "* for all s
initial value problem (2.1) has no bounded global solutions.
° E IR, then the
PROOF. If f(s) "* 0 the boundary value problem (2.7) has no solution.
°
Indeed, integrating the equation cp" + f( cp) = over [0, 1] yields
Theorem 2.7. Iff is Holder continuous and sf(s) < 0 for all s "* then all
solutions of the initial value problem (2.1) are bounded and moreover, all
°
solutions of (2.1) tend to zero as t ~ 00.
PROOF. The boundedness of the solution and, even more, the estimate:
max lu(t, x)1 ~ max lu(s, x)1 for t ~ s (2.10)
O~x~1 O~x~1
238 Semigroups of Linear Operators
to Icp'12 dx :5; 0
(
au
al
= flu + t u~
;=1 ax;
in ]0. T] X {l
(3.1 )
U(/. x) = 0 on [0. T] X a{l
u(O. x) = uo(x) in {l.
We will use the results of Section 6.3 to obtain a strong solution of the
initial value problem (3.1) in L 2 ({l).
In this section we will denote by (.) and II . II the scalar product and
norm in L 2 ({l). As in Section 7.2 we define an operator A by
D(A) = H2({l) () HJ({l), Au = -flu for u E D(A). (3.2)
The operator A is clearly symmetric and since - A is an infinitesimal
generator of a Co semi group on L 2 ({l) (e.g. by Theorem 7.2.5) it follows that
A is self adjoint. Moreover, from Theorem 7.2.7 it follows that -A is the
infinitesimal generator of an analytic semigroup on L 2 ({l). Therefore we can
use the results of Section 2.6 to define fractional powers of A. In particular
we have for some 8 > 0,
(Au, u) = (A 1/ 2U, AI/2u) = IIA'/2ull 2 = II Vull 2 ~ 811ull 2 (3.3)
where VU is the gradient of u and the inequality is a consequence of
Poincare's inequality. The domain of A consists of Holder continuous
functions. This follows from a version of Sobolev's imbedding theorem or
can be shown directly as follows:
H Applications to Partial Differential Equations-Nonlinear Equations 239
() 1 ~cp(y)
cp x = C n Ix - y I dy. (3.5)
r
From (3.5) and the Cauchy-Schwartz inequality we deduce
But,
~ C2~I~CPI2 dy . ~( IXI ~ yl - IX2 ~ yl r dy.
1 1)
~ ( IXI
2
- yl - IX2 - yl dy ~ ClXl - x 21
= 47TL2R3 t(1-
o
TJ1!z('1zdTJ
= CL zR 3 = CL8K- 6
and (3.7) follows readily. o
Lemma 3.3. For y > 3/4 there is a constant C depending only on y and n
such that
for u E D(A). (3.10)
PROOF. Let 3/4 < y < 1. If w = AYu then (3.10) is equivalent to
IIA -Ywll o. 00 :s; Cllwll· In order to estimate IIA -Ywllo. 00 we use the definition
of A -Y given by formula (6.4) of Section 2.6. So,
For 3/4 < y < 1, the integral in (3.15) converges and we have IIA -Ywll o. 00
:s; q w II. For y ~ 1 the result follows from the result for 3/4 < y < 1 via
the estimate IIA -III :s; I)-I. 0
We tum now to the nonlinear term of (3.1) and start with the following
lemma.
Also,
Ilf(u)-f(v}ll ~ lI ull o.oo ll'\7(u-v)11 + lIu- vll o.oo lI'\7ulI
~ C(IIAYuIiIiAI/2U - AI/2VII + IIA 1/ 2vIlIlAYu - AYvll).
o
From (3.17) it follows that the mapping f can be extended by continuity
to D(AY) and that (3.17) and (3.18) hold for every u, v E D(AY). Therefore
the conditions of Theorem 6.3.1 are satisfied and we have:
Theorem 3.5. The initial value problem (3.1) has a unique local strong solution
for every Uo E D(AY) with y > 3/4.
We note that from the results of Section 6.3 it follows in the same way as
above that if
O~P<1
i
then the initial value problem
aau = lJ.u +
t
t
i-I
u aau + f( t, x)
X,
in ]0, T] X n
(3.19)
u(t,x)=O in[O,T]xan
u(O,x)=uo(x) inn
has a unique local strong solution for every initial value uo(x) E D(AY)
with y > 3/4.
Lemma 4.2. Let I < p < 00 and let AI' be the operator defined above. For any
multi-index /3. 1/31 = j < 2m and any jl2m < a s; I we have
PROOF. Set B = Dfl. Since 1,81 < 2m it is clear that D(B):::) D(Ap). From
the previous lemma we have
for p > 0 and u E D(Ap). From Theorem 2.6.12 it follows now that
D( B) :::) D( A~) for jl2m < a S; I i.e .. BA; " is bounded for these values of
a and the proof is complete. 0
PROOF. From Lemma 4.2 it follows readily that X" c WI.p(Q) provided
that j < 2ma and the imbedding is continuous. From Theorem 7.1.1 it
follows that WI.P(Q) is continuously imbedded in Wk.q(Q) provided that
k - nlq < j - nip and (4.10) follows. From Sobolev's theorem (Theorem
7.1.2) it follows that WI.p(Q) is continuously imbedded in C(Q) for
o S; v < j - nip and (4.11) follows. 0
a a
A(x, D) = - L
3
a-a k I(X)-a-
k,l=1 Xk ' XI
where ak,/(x) = al,k(x) are real valued and continuously differentiable in 0,
Let f( t, X, u, p), pER 3, be a locally Lipschitz continuous function of all its
arguments and assume further that there is a continuous function p( t, r) : R X
R --+ R + and a real constant I ~ Y < 3 such that
If(t, X, u, p)1 ~ pet, lul)(I + Ipj1') (4.12)
If(t,x,u,p)-f(t,x,u,q)1 ~p(t,lul)(1 + Iply-I + Iqly-I)lp-ql
(4.13)
If(t,x,u,p)-f(t,x,v,p)1 ~p(t,lul + Ivl)(1 + IpIY)lu-vl. (4.14)
{ :~
u( t , x)
+A(x,D)u=f(t,x,u,gradu)
= 0
inn
on an
( 4.15)
u(O, x) = uo(x) in n
has a unique local strong solution in L 2(D).
(4.16)
In order to apply Theorem 6.3.1 we have to show that the mapping
F(t, u)(x) = f(t, x, u(x), vu(x», xED (4.17)
is well defined on R + X Xa and satisfies a local Holder condition there.
From (4.12) and (4.16) we have for every u E Xa
II F( I, u) - F( I, v) 116. 2 ~ 211/(
0
I, x, u, V u) - /( I, x, u, vv) 11 dx
In
+ 2 1/( I, x, u, Vv) - /( I, x, v, vv) 11 dx
( 4.19)
and estimate each of the two terms on the right of (4.19) separately. From
(4.13) and (4.15) we have
fl/(/,x,u,Vv) -/(t,x,v,Vv)1 2 dx
n
fn
~ Cp( t, Ilullo,oo + Ilvllo,a<i (1 + IVvI 2Y )lu - vl 2 dx
for some To > O. But in fact it is a classical solution of this initial value
problem for t > O. Indeed, since for 0 < t < To, u E D(A) c C(n) and, by
Corollary 6.3.2, t ~ du/dt E X" is locally Holder continuous for 0 < t <
To it follows that (t, x) ~ u(t, x) and (t, x) ~ (a/at)u(t, x) are continu-
ous on 0 < t < To, x E n.
To show that u is a classical solution of the
equation it remains to show that u(t, . ) E e 2 (O). From the fact that for
o < t < To, u(t, . ) E D(A) we have Vu E W I,Ql(O) c LPl(O) where ql =
2, PI = 6/(3 - 2) = 6. So, Au = F(t, u) - du/dt E L PliY(O) by (4.12)
whence by Theorem 7.3.1 u E W 2 ,6iY(O) and therefore Vu E W I,Q2(O)
with q2 = 6/y > 2. Repeating this process we find that Vu E WI/Qn(O)
where l/qn = y(1/qn-l - 1/3). It is easy to check that after a finite
number of steps (one step if 1 ~ Y < 2) qn > 3 and then Vu(t, . ) is
HOlder continuous in 0 and it follows that F(t, u) is Holder continuous in
O. Since a > 3/4 and (a/at)u(t, . ) E X" it follows that (a/at)u(t, . ) is
Holder continuous in O. But then Au = F(t, u) - du/dt is Holder con-
tinuous in 0 and by a classical regularity theorem for elliptic equations it
follows that u(t, . ) E e 2 +o(O) for some 0 > 0 that is, u has second order
Holder continuous derivatives in x and is thus the classical solution of
(4.15).
We conclude this section with some comments on more general existence
results. We assume that A(x, D) is a strongly elliptic differential operator
given by (4.1). We define an operator Ap in LP(n) by D(Ap) = w 2m ·p(n)
n Worn.P(n) and Apu = A(x, D)u for u E D(Ap). By adding a positive
multiple of the identity to Ap we can assume as we will tacitly do that Ap is
invertible. From Theorem 7.3.5 it follows that - Ap is the infinitesimal
generator of an analytic semigroup on LP(n). Let
F{t, u){x) = f(t, x, u, Du, D 2 u, ... , D2m- l u) (4.21 )
where Di stands for any j-th order derivative. Assume that f is a continu-
ously differentiable function of all its variables and consider the initial value
problem
{
~~ + Apu = F{t, u) (4.22)
u{O) = U o
in LP(n). From Theorem 4.3 it follows that if 1 - 1/2m < a < I and pis
sufficiently large, then X" is continuously imbedded in e 2m - I (n). This
implies that
IIF(t, A;"u) - F(s, A;"v)llo. p ~ e(lt - sl + Ilu - vll o. p ) (4.23)
where e is a constant which depends on IIDiA-"ullo.OO' IIDiA-ltvllo.oo for
o~ j < 2m - 1. Therefore if p is large enough the conditions of Theorem
6.3.1 are satisfied and we have
(5.2)
(5.3)
The completion of this space with respect to the norm II II.. is a Hilbert
space which we denote by HS(IR).
It is clear that HO(IR) = L2(1R). The scalar product and norm in L2(1R)
will be denoted by ( , ) and II 110' Furthermore, it is easy to check that the
spaces H'(IR) with s = n coincide with the spaces Hn(IR), n ~ I, as defined
in Section 7.1 and the norms in the two different definitions are equivalent.
In the following lemma we collect some useful properties of the spaces
W(IR).
Lemma 5.1. (i) For t ~ s, W(IR)::> H'(IR) and lIull, ~ lIuliJor u E W(IR).
(ii) For s > !, W(IR) c C(IR) and for u E W(IR)
lIuli oo :;; qull.. (5.4)
where lIull oo = sup{lu(x)l: x E IR}.
248 Semi groups of Linear Operators
PROOF. Part (i) is obvious from the definitions and the elementary inequal-
ity (l + e)1 ~ (1 + er
for t ~ s and ~ E ~.
From the Cauchy-Schwartz inequality we have,
(A) ( v ) u, u) = f v Du . u dx = ! f V Du 2 dx = -! f Dv u 2 dx
~ -! IIDvil00llul12 ~ -collvllslluI1 2.
Therefore -(A 1(v) + f3I) is dissipative for all f3 ~ f3iv) = collvll s. Since
Ao is skew-adjoint, Ao + A 1(v) + f31 is also dissipative for f3 ~ f3o(v).
Moreover,
R Applications to Partial Differential Equations- Nonlinear Equations 249
Using integration by parts it is not difficult to show that for every u E H\lRj
we have IIDul1 :::; lIuI1 2 / 31ID3 ull'/3 and by polarization we obtain for every
E> 0,
IIDul1 :::; EIID3 U II + C(E)lIull· (S.7)
Choosing E= 1/211vlloo and substituting (S.7) into (S.6) yields
II(A,(v) + /3I)ull :::; illAoul1 + Cliull for u E D(Ao) (S.8)
whence, by Corollary 3.3.3, Ao + A ,( v) + /31 = A( v) + /31 is the infinitesi-
mal generator of a Co semigroup of contractions of X for every /3 ;::: /30 ( v).
Therefore, A( v) is the infinitesimal generator of a Co semigroup T. (t)
satisfying (S.S). 0
We let now Br be the ball of radius r > 0 in Y centered at the origin and
consider the family of operators A( v), to E B r • We want to show that this
family satisfies the conditions of Theorem 6.4.6. Because of the special form
of the family A( v), v E Br , it follows that it suffices to prove the following
three conditions:
Nf = _1_
{2;
feiX~( 1 + e )'/2 j( 0 d~. (S .12)
Lemma 5.4. Let f E HS(~), s > 3/2 and let T = (NMf - MfN)N -so Then
T is a bounded operator on X = L2(~) and
we have
ililk(g,7])1 :::; s(l + et-0/ 2Ig - 7]1/U - 7])(1 + 7] 2 t- S
)/2
and
(5.17)
Therefore both TI and T2 are bounded operators in X. Combining (5.15)
with (5.14) and (5.17) yields the desired estimate (5.13). D
We now have:
Lemma 5.5. For every r > 0, the family of operators A( v), v E Br , satisfies
the conditions (AI)-(A3)'
PROOF. Let r > °
be fixed. From Lemma 5.3 it follows that if f3 2 cor. A(v)
is the infinitesimal generator of a Co semigroup Te(t) satisfying II T.(t)11 :::;
ef3 1 and therefore A( v), v E Br is a stable family in X (see Definition 6.4.1).
As we have mentioned above S = N is an isomorphism of Y = HS(~)
onto X = L2(~). A simple computation shows that for u, v E Y we have
(SA(V)S-I - A(v))u = (S(vD)S-1 - vD)u = (Sv - VS)S-I Du
8 Applications to Partial Differential Equations-Nonlinear Equations 251
t ~ 0, - 00 < x < 00
u{O, x) = uo{x)
has a unique solution u E C([O, T] : W(IR)) n CI([O, T] : U(IR)).
Bibliographical Notes and Remarks
Section 1.2. Most of the results of this section are standard and can be
found in every text dealing with semigroups of linear operators e.g. all the
texts mentioned at the beginning of these bibliographical notes.
The proof of Theorem 2.7 follows a construction of I. Gelfand [1].
Lemma 2.8 is an extension of a classical inequality (Example 2.9) of E.
Landau. In the present form it is due to Kallman and Rota [1]. For the case
of a Hilbert space, T. Kato [12] proved that if T(t) is a semigroup of
contractions then 2 is the best possible constant in (2.13). For general
Banach spaces, the best possible constant seems to be unknown. More
details on related inequalities are given in Certain and Kurtz [1], see also
Holbrook [1].
Section 1.3. The main result of this section is Theorem 3.1 which gave the
first complete characterization of the infinitesimal generator of a strongly
continuous semigroup of contractions. This result was the starting point of
the subsequent systematic development of the theory of semigroups of
bounded linear operators. It was obtained independently by E. Hille [2] and
K. Y osida [2]. Our proof of the sufficient part of the theorem follows the
ideas of K. Yosida [2]. The bounded linear operator AA appearing in this
proof is called the Yosida approximation of A. Hille's proof is based on a
direct proof of the convergence of the exponential formula
( t)-n x
T( t ) x = lim I - - A
n .... oo n
for x E D(A 2 ), see e.g. Tanabe [6] Section 3.1.
Section 1.4. The results of this section for the special case where X = H is a
Hilbert space are due to R. S. Phillips [5]. The extension to the general case
was carried out by Lumer and Phillips [1]. We note in passing that the
characterization of the infinitesimal generator A of a semigroup of contrac-
tions as an m-dissipative operator i.e. a dissipative operator for which the
range of "-I - A, "- > 0 is all of X plays an essential role in the theory of
nonlinear semigroups.
Section 1.5. The main result of this section is Theorem 5.2 which gives a
complete characterization of the infinitesimal generator of a Co semigroup
of bounded linear operators and thus generalizes the Hille-Y osida theorem
which was restricted to the characterization of the generator of a Co
semigroup of contractions. Theorem 5.2 was obtained independently and
almost simultaneously by W. Feller [1], I. Miyadera [1] and R. S. Phillips [2].
Our proof of the theorem is a simplification of Feller's proof.
Bibliographical Notes and Remarks 255
Section 1.7. The results about the inversion of the Laplace transform are
standard. Better results for the inversion of the Laplace transform can be
obtained by a somewhat more delicate analysis, see Hille-Phillips [1] Chapter
II. The conditions of Theorem 7.7 imply actually that A is the infinitesimal
generator of an analytic semigroup (see Section 2.5). Usually one proves for
such an A directly, using the Dunford-Taylor operator calculus, that U(t)
defined by (7.26) is a semigroup of bounded linear operators and that A is
its infinitesimal generator, see e.g. Friedman [1] Part 2 Section 2. Instead, we
prove that the condition (7.24) implies the conditions of Theorem 5.2 and A
is thus the infinitesimal generator of a Co semigroup.
Section I.S. Theorem 8.1 is due to E. Hille [1]. In this context see also
Dunford-Segal [1]. It is interesting to note that this paper of Dunford and
Segal stimulated K. Yosida strongly and led him to the characterization of
the infinitesimal generator Of a Co semigroup of contractions, Yosida [2].
Theorem 8.3 is due to E. Hille (see Hille-Phillips [ID. The exponential
formula given in Theorem 8.3 served as a base of Hille's proof of the
characterization of the infinitesimal generator of a Co semigroup of contrac-
tions. This formula was also the starting point of the theory of semigroups
of nonlinear contractions in general Banach spaces which started in 1971 by
the fundamental result of Crandall and Liggett. The proof of Theorem 8.3
that we give here follows Hille-Phillips [1]. A different proof of a more
general result is given in Section 3.5.
Section 1.9. The results of this section are based on Hille-Phillips [1]
Chapter V and Kato [3]. See also Kato [9] Chapter 8.
rem 10.8 is due to M. Stone [I] and was the first result concerning
semigroups generated by an unbounded linear operator.
Section 2.2. The results of this section cover most of the results of Chapter
XVI of Hille-Phillips [I]. While the proofs of the results in Hille-Phillips [1]
use the Gelfand representation theory, our proof of Theorem 2.3 is com-
pletely elementary and follows the approach taken in Hille [1]. Theorems
2.4, 2.5 and 2.6 also follow Hille [I].
A counter example to the converse of Theorem 2.6 is given in Hille-
Phillips [1] (page 469), see also Greiner, Voigt and Wolff [I]. Further results
on the spectral mapping theorem for Co semigroups of positive operators
can be found in Greiner [I], Derdinger [1] and Derdinger and Nagel [I].
Section 2.3. Theorem 3.2 is due to P. D. Lax (see Hille-Phillips [I] Chapter
X). Theorem 3.3 and Corollaries 3.4 and 3.5 are taken from pazy [3].
Theorem 3.6 comes from Hille-Phillips [I] Chapter XVI but, while the proof
there uses the Gelfand representation theory, our proof is elementary.
Theorem 3.6 gives a necessary condition for an infinitesimal generator A to
generate a Co semigroup which is continuous in the uniform operator
topology for t > O. It seems that a full characterization of the infinitesimal
generator of such semigroups in terms of properties of their resolvents is not
known.
Section 2.5. Theorem 5.2 is due to E. Hille [1]. Our proof follows Yosida
[4]. Theorem 5.3 is due to E. Hille [3]. Theorem 5.5 is taken from Crandall,
pazy and Tartar [I] while Theorem 5.6 is due to Kato [10]. Corollary 5.7 is
due to J. Neuberger [1] and T. Kato [10]. Corollary 5.8 seems to be new. The
uniform convexity of the underlying space or a similar condition is neces-
Bibliographical Notes and Remarks 257
Section 3.1. The results of this section are due to R. S. Phillips [2]. For
related results see Hille-Phillips [1] Chapter XIII and Dunford-Schwartz [1]
Chapter 8. Phillips [2] also started the study of properties of Co semigroups
which are conserved under bounded perturbations (i.e. perturbations of the
infinitesimal generator by a bounded operator). Among other results he
showed that continuity in the uniform operator topology for t > 0 is
conserved while the same property for t > to > 0 is not conserved. The
problem whether or not the differentiability for t > 0 of a semigroup T( t) is
conserved under bounded perturbations of its generator seems to be still
open. For a result related to this problem see pazy [3].
Section 3.2. Theorem 2.1 is due to E. Hille [1], see also T. Kato [9] Chapter
9 and Hille-Phillips [1] Chapter XIII. A related result is given in Da Prato
[1].
Section 3.3. Corollary 3.3 was essentially proved by H. F. Trotter [2] for the
case a < t, see also Kato [9] Chapter 9. The general case of Corollary 3.3
with a < 1 was proved by K. Gustafson [1]. Theorem 3.2 is a consequence
of a more symmetric version of Corollary 3.3 proved in pazy [9].
Theorem 3.4 was proved by P. Chernoff [2]. Corollary 3.5 is due to P.
Chernoff [2] and N. Okazawa [1], it is a generalization of the result of R.
Wust [1] in Hilbert space.
Section 3.4. The main results of this section are due to H. F. Trotter [1]. J.
Neveu [1] has proved the convergence theorem (Theorem 4.5) for the special
case of semigroups of contractions independently. Convergence results of a
similar nature are also given in T. Kato [9] and T. Kurtz [1], [2]. In Trotter
[1] the proof that the limit of the resolvents R(A: An) of An is itself a
resolvent of some operator A is not clear. This was pointed out and
corrected by T. Kato [3]. In Theorem 4.5 the condition that (AoI - A)D is
258 Semigroups of Linear Operators
Section 3.5. Lemma 5.1 is a simple extension of Corollary 5.2 which is due
to P. Chernoff [l]. Theorem 5.3 and Corollary 5.4 are also extensions of the
results of Chernoff [1]. Corollary 5.5 is an extension of the Trotter product
formula, Trotter [2]. With regard to the conditions of this formula see Kurtz
and Pierre [l].
Section 3.6. The results of this section are relevant to the numerical
solutions of partial differential equations. They are siinilar in nature to the
results of Trotter [l] and Kato [9]. For results of similar nature see also
Lax-Richtmyer [1] and Richtmyer-Morton [l].
Section 4.1. The initial value problem (1.1) in the Banach space X is called
an abstract Cauchy problem. The systematic study of such problems started
with E. Hille [4]. The uniqueness theorem (Theorem 1.2) is due to Ljubic [1].
Theorem 1.3 is due to Hille [4], see also Phillips [3]. Sufficient conditions for
the existence of a solution of (1.1) for a dense subset D of X (not necessarily
equal to D(A)) of initial data are given in R. Beals [1].
A different way of defining a weak solution of (1.1) was given by J. Ball
[l], see remarks to the next section.
Section 4.2. Definition 2.3 defines a mild solution of (2.1) if A is the
infinitesimal generator of a semigroup T(t). J. M. Ball [1] defines a "weak
solution" of the equation
du
- = Au + f(t) (E)
dt
where A is a closed linear operator on X and f E LI(O, T; X) as follows:
Theorem (Ball). There exists for each x E X a unique weak solution u of (E)
on [0, T] satisfying u(O) = x if and only if A is the infinitesimal generator of a
Co semigroup T(t) of bounded linear operators on X, and in this case u is given
by
Section 4.3. Theorem 3.1 is essentially due to A. pazy [7]. There it was only
proved that u is Holder continuous with exponent f3 satisfying f3 < 1 - l/p.
The fact that the result is true for f3 = 1 - l/p is due to L. Veron. Theorem
3.2 comes from Crandall and pazy [1]. Corollary 3.3, for the more general
situation where A depends on t (see Chapter 5) was proved by H. Tanabe
[2], P. E. Sobolevskii [4], E. T. Poulsen [1] and Kato [9]. Theorem 3.5 is due
to Kato [9], see also Da Prato and Grisvard [1]. Optimal regularity condi-
tions for this problem are given in E. Sinestrari [1].
Section 4.4. Theorem 4.1 was taken from pazy [6]. It is a simple generaliza-
tion of a previous result of R. Datko [1]. The idea of Example 4.2 is taken
from Greiner, Voigt and Wolff [1]. Other examples of this sort are also given
in Hille-Phillips [1] Chapter XXIII and Zabczyk [1].
A more general result than Theorem 4.3 was proved by M. Slemrod [1].
The same problem is also treated in Derdinger and Nagel [I] and Derdinger
[1].
Theorem 4.5 was taken from S. G. Krein [1] Chapter 4.
Section 4.5. The results of this section are technical and they are brought
here mainly as a preparation to the first sections of Chapter 5. In this
section we follow closely the results of T. Kato [11], see also H. Tanabe [6],
Chapter 4.
Section 5.1. The results of this section are completely elementary and their
sole aim is to motivate the rest of the results of this chapter and to
familiarize the reader with the notion and main properties of evolution-sys-
tems. The term "evolution-system" is not standard, some authors call it a
propagator, others a fundamental solution and still others an evolution-
operator.
Section 5.2. The results of this section follow those of Kato [11]. The notion
of stability defined here is stronger than the usual one used in the theory of
finite difference approximations. When A(t) is independent of t then the
stability condition coincides with the condition of Theorem 1.5.3 and
therefore we can renorm the space so that in the new norm A generates a
semigroup T(t) satisfying II T(t) II :::;; e"'t. If A(t) depends on t but D(A(t»
260 Semigroups of Linear Operators
Sections 5.6-5.7. The first evolution systems in the parabolic case were
constructed by H. Tanabe [l], [2], [3] and independently but by a similar
method by P. E. Sobolevskii [4]. In these works it was assumed that D(A(t»
is independent of t. This assumption was somewhat relaxed by T. Kato [6]
and P. E. Sobolevskii [1], [3] who assumed that D(A(t)Y) for some 0 < y < 1
is independent of t. Later, T. Kato and H. Tanabe [1], [2] succeeded in
removing the assumption that D(A(t» is independent of t. They replaced it
by some regularity assumptions on the function t --+ R(A: A(t». In this
context higher differentiability of the solution is obtained if one assumes
higher differentiability of t -+ R(A: A(t» see Suryanarayana [1]. Assuming
that the conditions hold in a complex neighborhood of [0, T] one obtains
solutions of (6.2) that can be extended to a complex neighborhood of ]0, T]
see Komatsu [1], Kato Tanabe [2] and K. Masuda [1]. K. Masuda [1]
showed further that in this particular situation the Kato-Tanabe conditions
are also necessary for the existence of an evolution system.
In Section 5.6 and 5.7 we deal only with the case where D(A(t» is
independent of t. We follow Tanabe [2], Sobolevskii [4] and Poulsen [1], see
also H. Tanabe [6] Chapter 5 where the case of variable D(A(t» is also
treated.
Bibliographical Notes and Remarks 261
Section 5.S. Theorem 8.2 is due to H. Tanabe [4] and Theorem 8.5 is due to
pazy [2].
A subject which is related to the asymptotic behavior of solutions of the
evolution equation (8.1) and which has not been touched in this chapter is
singular perturbations, see e.g. Tanabe [5] and Tanabe and Watanabe {l].
Section 6.1. Theorems 1.2, 1.4 and 1.5 are due to I. Segal {l], see also T.
Kato [8]. An example in which f is Lipschitz continuous but the mild
solution of (1.1) is not a strong solution can be found in Webb [1].
Theorems 1.6 and 1.7 are simple but useful modifications of the previous
results.
We note that the Lipschitz continuity of f can be replaced by accretive-
ness and one still obtains, under suitable conditions, global solutions of the
initial value problem (1.1) see e.g. Kato [8], Martin [I] Chapter 8 and the
very general paper of N. Pavel [2].
Section 6.2. The results of this section are based on pazy [7]. Examples in
which (3.1) with A = 0 and f continuous does not have solutions are given
e.g. in Dieudonne [I] page 287 and J. Yorke [I]. It is known, in fact, that
with A = 0 the initial value problem (3.1) has a local strong solution for
every continuous f if and only if X is finite dimensional, Godunov [1].
The main existence result, Theorem 2.1, of this section was extended by
N. Pavel [I] as follows:
Section 6.3. The main result of this section, Theorem 3.1, is motivated by
the work of H. Fujita and T. Kato {l]. Similar and more general existence
results of this type can be found in Sobolevskii [4], Friedman [I] Part 2
Section 16 and Kielhofer [3].
The treatise of D. Henri [I] "Geometric theory of semilinear parabolic
equations" contains along with an existence result similar to Theorem 3.1 an
extensive study of the dependence of the solutions on the data, their
asymptotic behavior and many interesting applications.
262 Semigroups of Linear Operators
Results which are to some extent between those of this section and the
previous one are given in Lightboume and Martin [1] and in Martin [2]. In
these results f is assumed to be continuous (but not necessarily Lipschitz
continuous) with respect to some fractional power of A and S(t), the
semigroup generated by - A, is assumed to be compact for t > o.
The existence results of the previous sections were stated for the autono-
mous case (i.e. A independent of t) mainly for the sake of simplicity. They
can be extended to the nonautonomous case as is actually done in Segal [I]
and Pruss [1] for the results of Section 6.1, in Fitzgibbon [1] for those of
Section 6.2 and in Sobolevskii [4], Friedman [1] and Kielhofer [3] for those
of Section 6.3.
Some asymptotic results for nonautonomous semilinear evolution equa-
tions are given in Nambu [I].
Section 6.4. The results of this section follow closely Kato [14], see also
Kato [15]. A different method to treat similar equations was recently
developed by Crandall and Souganidis [I].
Section 7.4. In this section we follow the treatment of K. Yosida [3], [7] in
which more general hyperbolic equations are also treated.
Bibliographical Notes and Remarks 263
Section 7.6. Results similar to those presented in this section, with more
general boundary conditions can be found in Tanabe [6] Chapter 5 and
Friedman [1] Part 2 Sections 9, 10.
Section 8.1. The results of this section are due to Baillon, Cazenave and
Figueira [1] and to Ginibre and Velo [1]. Our presentation follows that of
Baillon et al. Related results can be found in Lin and Strauss [1], Pecher and
von Wahl [1] and Haraux [1].
Theorem 1.5 is also true in a bounded domain 0 in R2. The local
existence of the solution in this case is similar to the case on all of R 2 while
the global existence is more complicated since one cannot apply Sobolev's
imbedding theorem in a straightforward way. To prove the global existence
in this case a new interpolation-imbedding inequality is used, see Brezis and
Gallouet [1].
Section 8.2. The results of this section follow closely pazy [7].
Section 8.5. The results of this section follow one of many examples given
in Kato [14]. For this particular example better results including a global
existence theorem are given in Kato [16].
Bibliography
R. A. Adams
[I] Sobo/ev spaces, Academic Press, New York (1975).
S. Agmon
[I] On the eigenfunctions and on the eigenvalues of general elliptic boundary
value problems, Comm. Pure Appl. Math. 15 (1962) 119-147.
[2] Elliptic boundary value problems, VanNostrand (1965).
S. Agmon and L. Nirenberg
[I] Properties of solutions of ordinary differential equations in Banach spaces,
Comm. Pure App/. Math. 16 (1963) 121-239.
S. Agmon, A. Douglis and L. Nirenberg
[1] Estimates near the boundary for solutions of elliptic partial differential
equations, Comm. Pure App/. Math 12 (1959) 623-727.
V. A. Babalola
[1] Semigroups of operators on locally convex spaces, Trans. A mer. Math. Soc.
199 (1974) 163-179.
J. B. Baillon, T. Cazenave, and M. Figueira
[I] Equation de Schrodinger non lineaire, C.R. A cad. Sc. Paris 284 A (1977)
869-872.
A. V. Balakrishnan
[I] An operator calculus for infinitesimal generators of semi-groups, Trans.
Amer. Math. Soc. 91 (1959) 330-353.
[2] Fractional pow~rs of closed operators and the semi-groups generated by
them, Pacific 1. Math. 10 (1960) 419-437.
J. M. Ball
[I] Strongly continuous semigroups, weak solutions and the variation of con-
stants formula, Proc. Amer. Math. Soc. 63 (1977) 370-373.
Bibliography 265
V. Barbu
[I) Differentiable distribution semi-groups, Anal. Scuola Norm. Sup. Pisa 23
(1969) 413-429.
(2) Nonlinear semigroups and differential equations in Banach spaces, Noordhoff
Int. Pub!. Leyden the Netherlands (1976).
R. Beals
[I) On the abstract Cauchy problem, J. Func. Anal. 10 (1972) 281-299.
Ph. Benilan, M. Crandall and A. pazy
[I) Nonlinear evolution governed by accretive operators (a book to appear).
A. Beurling
[I) On analytic extension of semi-groups of operators, J. Func. Anal. 6 (1970)
387-400.
S. Bochner
[I) Diffusion equations and stochastic processes, Proc. Nat. Acad. Sc. U.S.A. 35
(1949) 368-370.
P. L. Butzer and H. Berens
[I) Semi-groups of operators and approximation, Springer-Verlag New York
(1967).
H. Brezis
[I) Operateurs maximaux monotone et semigroups de contractions dans les espaces
de Hilbert, Math. Studies 5, North Holland (1973).
H. Brezis and T. Gallouet
[I) Nonlinear SchrOdinger evolution equations, Nonlinear Anal. TMA 4 (1980)
677-682.
M. Certain
[I) One-parameter semigroups holomorphic away from zero, Trans. Amer. Math.
Soc. 187 (1974) 377-389.
M. Certain and T. Kurtz
[I) Landau-Kolmogorov inequalities for semigroups and groups, Proc. A mer.
Math. Soc. 63 (1977) 226-230.
J. Chazarin
[I) Problemes de Cauchy abstrait et applications a quelques problemes mixtes, J.
Func. Anal. 7 (1971) 386-446.
P. Chernoff
[I) Note on product formulas for operator semi-groups, J. Func. Anal. 2 (1968)
238-242.
(2) Perturbations of dissipative operators with relative bound one, Proc. Amer.
Math. Soc. 33 (1972) 72-74.
M. G. Crandall
[I) An introduction to evolution governed by accretive operators, "Dynamical-
Systems-An international Symposium."(L. Cesari, J. Hale, J. LaSalle, Eds.)
Academic Press, New York (1976) 131-165.
M. G. Crandall and A. pazy
[I) On the differentiability of weak solutions of a differential equation in Banach
space, J. Math. and Mech. 18 (1969) 1007-1016.
266 Semi groups of Linear Operators
[2] Semi-groups and second order differential equations, J. Func. Anal. 4 (1969)
50-70.
[3] Semi-groups of operators and abstract Cauchy problems, Tulane Univ.
Lecture notes (1970).
[4] The universal addability problem for generators of cosine functions and
operators, Houston J. Math. 6 (1980) 365-373.
G. Greiner
[I] Zur Perron-Froebenius-Theorie stark stetiger Halbgruppen, Math. Z. 177
(1981) 401-423.
G. Greiner, J. Voigt and M. Wolff
[I] On the spectral bound of the generator of semigroups of positive operators,
J. Operator Theory 5 (1981) 245-256.
K. Gustafson
[I] A perturbation lemma, Bull. Amer. Math. Soc. 72 (1966) 334-338.
A. Haraux
[I] Nonlinear evolution equations-Global behavior of solutions, Lecture notes
in Math. 841 Springer-Verlag (1981).
M. Hasegawa
[I] On the convergence of resolvents of operators, Pacific J. Math. 21 (1967)
35-47.
D. Henry
[I] Geometric theory of semilinear parabolic equations, Lecture notes in Math.
840 Springer-Verlag (1981).
E. Heyn
[I] Die Differentialgleichung dT/dt = P(t)T fUr Operatorfunktionen, Math.
Nach. 24 (1962) 281-330.
E. Hille
[I] Representation of one-parameter semi-groups of linear transformations, Proc.
Nat. Acad. Sc. U.S.A. 28 (1942) 175-178.
[2] Functional analysis and semi-groups, Amer. Math. Soc. Colloq. Pub!. Vol. 31,
New York (1948).
[3] On the differentiability of semi-groups of operators, Acta Sc. Math. (Szeged)
12 (1950) 19-24.
[4] Une generalization du probleme de Cauchy, Ann. lnst. Fourier 4 (1952)
31-48.
E. Hille and R. S. Phillips
[I] Functional analysis and semi-groups, Amer. Math. Soc. Colloq. Publ. Vol. 31,
Providence R.I. (1957).
J. Holbrook
[I] A Kallman-Rota inequality for nearly Euclidean spaces, Adv. in Math. 14
(1974) 335-345.
M. Iannelli
[I] On the Green function for abstract evolution equations, Bul. U.M.I. 6
(1972) 154-174.
Bibliography 269
[2] Cosine operator functions and the abstract Cauchy problem, Periodica Math.
Hung. 7 (\976) 15-18.
[3] Approximation theorems for cosine operator functions, Acta Math. A cad. Sc.
Hung. 29 (1977) 69-76.
T. Nambu
[I] Asymptotic behavior of a class of nonlinear differential equations in Banach
space, SIAM J. Math. Anal. 9 (1978) 687-718.
D. S. Nathan
[I] One parameter groups of transformations in abstract vector spaces, Duke
Math. J. 1 (1935) 518-526.
J. Necas
[I] Les methodes directes en theorie des equations elliptiques, Masson and Cie Ed.
Paris (1967).
J. W. Neuberger
[I] Analiticity and quasi-analiticity for one-parameter semi-groups, Proc. Amer.
Math. Soc. 25 (1970) 488-494.
J. von-Neumann
[I] Uber die analytische Eigenschaften von Gruppen linearer Transformationen
und ihrer Darstellungen, Math. Z. 30 (1939) 3-42.
J. Neveu
[I] Theorie des semi-groupes de Markov, Univ. of Calif. Publ. in Statistics 2
(1958) 319-394.
L. Nirenberg
[I] On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa 13
(1959) 1-48.
H. Ogawa
[I] Lower bounds for solutions of differential inequalities in Hilbert space, Proc.
A mer. Math. Soc. 16 (1965) 1241-1243.
[2] On the convergence of semi-groups of operators, Proc. Japan A cad. 42 (1966)
880-884.
S.Oharu
[I] Semigroups of linear operators in Banach spaces, Pub!. R.I.M.S., Kyoto
Univ. 7 (\971) 205-260.
S. Oharu and H. Sunouchi
[I] On the convergence of semigroups of linear operators, J. Func. Anal. 6 (1970)
292-304.
N.Okazawa
[I] A perturbation theorem for linear contraction semi-groups on reflexive
Banach spaces, Proc. Japan Acad. 47 (1971) 947-949.
[2] A generation theorem for semigroups of growth of order a, Tohoku Math. J.
26 (1974) 39-5\.
S.Ouchi
[I] Semi-groups of operators in locally convex spaces, J. Math. Soc. Japan 25
(1973) 265-276.
Bibliography 273
N. H. Pavel
[I] Invariant sets for a class of semi-linear equations of evolution, Nonlinear
Anal. TMA 1 (1977) 187-196.
[2] Global existence for nonautonomous perturbed differential equations and
flow invariance, Preprint Series in Math 22 (1981) INCREST, Bucharest.
[3] Analysis of some nonlinear problems in Banach spaces and applications,
Univ. "AI. I. Cuza" Iasi Facultatea de Matematica (1982).
A. pazy
[I] Asymptotic expansions of solutions of ordinary differential equations in
Hilbert space, Arch. Rat. Mech. and Anal. 24 (1967) 193-218.
[2] Asymptotic behavior of the solution of an abstract evolution equation and
some applications, J. Diff. Eqs. 4 (1968) 493-509.
[3] On the differentiability and compactness of semi-groups of linear operators,
J. Math. and Mech. 17 (1968) 1131-1141.
[4] Semigroups of nonlinear contractions in Hilbert space, CI.M.E. Varenna
1970 Ed. Cremonese (1971) 343-430.
[5] Approximation of the identity operator by semi-groups of linear operators,
Proc. Amer. Math. Soc. 30 (1971) 147-150.
[6] On the applicability of Lyapunov's theorem in Hilbert space, SIAM J. Math.
Anal. 3 (1972) 291-294.
[7] A class of semi-linear equations of evolution, Israel J. Math 20 (1975) 23-36.
[8] Semigroups of nonlinear contractions and their asymptotic behaviour, Non-
linear analysis and mechanics, Heriot-Watt Symp. Vol. III, R. J. Knops Ed.
Pitman Research notes in Math 30 (1979) 36-134.
[9] A perturbation theorem for linear m-dissipative operators, Memorias de
Matematica da U.F.R.J. 131 (1981).
H. Pecher and W. von-Wahl
[I] Tim<; dependent nonlinear SchrMinger equations, Manuscripta Math. 27
(1979) 125-157.
R. S. Phillips
[I] On the generation of semi-groups of linear operators, Pacific J. Math. 2
(1952) 343-369.
[2] Perturbation theory for semi-groups of linear operators, Trans. A mer. Math.
Soc. 74 (1953) 199-221.
[3] A note on the abstract Cauchy problem, Proc. Nat. A cad. Sci. U.S.A. 40
(1954) 244-248.
[4] The adjoint semi-group, PacificJ. Math. 5 (1955) 269-283.
[5] Dissipative operators and hyperbolic systems of partial differential equations,
Trans. Amer. Math. Soc. 90 (1959) 193-254.
[6] Dissipative operators and parabolic differential equations, Comm. Pure Appl.
Math. 12 (1959) 249-276.
[7] Semi-groups of contraction operators, Equazioni Differenzio Astratte,
C.I.M.E. (Rome) 1963.
B. A. Plamenevskii
[I] On the existence and asymptotic solutions of differential equations with
unbounded operator coefficients in a Banach space, Math. USSR Izvestia 6
(1972) 1327-1379.
E. T. Poulsen
[I] Evolutionsgleichungen in Banach Raumen, Math. Z. 90 (1965) 286-309.
274 Semigroups of Linear Operators
J. Priiss
[I] On semilinear evolution equations in Banach spaces, J. Reine u. Ang. Mat.
303/4 (1978) 144-158.
S. M. Rankin
[I] A remark on cosine families, Proc. Amer. Math. Soc. 79 (1980) 376-378.
M. Reed and B. Simon
[I] Methods of modern mathematical physics II: Fourier analysis, Self-adjointness,
Academic Press, New York (1975).
F. Sz. Riesz and B. Nagy
[1] Functional Analysis, P. Ungar, New York (1955).
W. Rudin
[I] Functional analysis, McGraw-Hill, New York (1973).
R. D. Richtmyer and K. W. Morton
[I] Difference methods for initial value problems, Second ed. Interscience, New
York (1967).
M. Schechter
[I] Integral inequalities for partial differential operators and functions satisfying
general boundary conditions, Comm. Pure Appl. Math. 12 (1959) 37-66.
[2] General boundary value problems for elliptic partial differential equations,
Comm. Pure Appl. Math. 12 (1959) 457-486.
[3] Remarks on elliptic boundary value problems, Comm. Pure Appl. Math. 12
(1959) 561-578.
[4] Principles of functional ana(vsis, Academic Press, New York (1971).
L. Schwartz
[I] Lectures on mixed problems in partial differential equations and the repre-
sentation of semi-groups, Tata Inst. Fund. Research (1958).
1. Segal
[I] Non-linear semi-groups, Ann. of Math. 78 (1963) 339-364.
T. 1. Seidman
[I] Approximation of operator semi-groups, J. Func. Anal. 5 (1970) 160-166.
E. Sinestrari
[I] On the solutions of the inhomogeneous evolution equation in Banach space,
Rend. Acc. Naz. Lincei LXX (1981).
M. Slemrod
[I] Asymptotic behavior of Co semi-groups as determined by the spectrum of the
generator, Indiana Univ. Math. J. 25 (1976) 783-792.
P. E. Sobolevskii
[I] First-order differential equations in Hilbert space with variable positive
definite self-adjoint operator, a fractional power of which has a constant
domain of definition, Dokl. Akad. Nauk SSSR 123 (1958) 984-987.
[2] On non-stationary equations of hydrodinamics for viscous fluid, Dokl. Akad
Nauk SSSR 128 (1959) 45-48.
[3] Parabolic equations in a Banach space with an unbounded variable operator,
a fractional power of which has a constant domain of definition, Dokl. Akad.
Nauk SSSR 138 (1961) 59-62.
Bibliography 275
[4] On the equations of parabolic type in Banach space, Trudy Moscow Mat.
Obsc 10 (1961) 297-350, English trans. Amer. Math. Soc. Trans. 49 (1965)
1-62.
M. Z. Solomjak
[1] Applications of the semi-group theory to the study of differential equations
in Banach spaces, Dokl. Akad. Nauk SSSR 12 (1958) 766-769.
M. Sova
[1] Probleme de Cauchy pour equations hyperboliques operationelles a coeffi-
cients constants non-bornes, Ann. Scuola Norm. Sup. Pisa 22 (1968) 67-100.
E. M. Stein and G. Weiss
[1] Introduction to Fourier ana~vsis on Euclidean spaces, Princeton Univ. Press
(1971).
B. Stewart
[I] Generation of analytic semigroups by strongly elliptic operators, Trans.
Amer. Math. Soc. 199 (1974) 141-16l.
[2] Generation of analytic semigroups by strongly elliptic operators under gen-
eral boundary conditions. Trans. Amer. Math. Soc. 259 (1980) 299-310.
M. H. Stone
[1] On one-parameter unitary groups in Hilbert space, Ann. Math. 33 (1932)
643-648.
P. Suryanarayana
[1] The higher order differentiability of solutions of abstract evolution equations,
PacificJ. Math. 22 (1967) 543-56l.
H. Tanabe
[1] A class of the equations of evolution in a Banach space, Osaka Math. J. 11
(1959) 121-145.
[2] On the equations of evolution in Banach space, Osaka Math. J. 12 (1960)
363-376.
[3] Remarks on the equations of evolution in a Banach space Osaka Math. J. 12
(1960) 145-165.
[4] Convergence to a stationary state of the solution of some kind of differential
equations in a Banach space, Proc. Japan Acad. 37 (1961) 127-130.
[5] Note on singular perturbation for abstract differential equations, Osaka J.
Math. 1 (1964) 239-252.
[6] Equations of evolution (English translation) Pitman, London (1979).
H. Tanabe and M. Watanabe
[I] Note on perturbation and degeneration of abstract differential equations in
Banach space, Funkcialaj Ekvacioj 9 (1966) 163-170.
C. Travis and G. Webb
[I] Cosine families and abstract nonlinear second order differential equations,
Acta Math. A cad. Sc. Hung. 32 (1978) 75-96.
[2] Second order differential equations in Banach spaces, Nonlinear equations in
abstract spaces, Ed. V. Lakshmikantham, Academic Press, New York (1978)
331-36l.
H. F. Trotter
[I] Approximation of semi-groups of operators, Pacific J. Math. 8 (1958)
887-919.
276 Semigroups of Linear Operators
61. SattingerlWeaver: Lie Groups and Algebras with 89. O'Malley: Singular Perturbation Methods for
Applications to Physics, Geometry, and Ordinary Differential Equations.
Mechanics. 90. Meyer/Hall: Introduction to Hamiltonian
62. LaSalle: The Stability and Control of Discrete Dynamical Systems and the N-body Problem.
Processes. 91. Straughan: The Energy Method, Stability, and
63. Grasman: Asymptotic Methods of Relaxation Nonlinear Convection.
Oscillations and Applications. 92. Naber: The Geometry of Minkowski Spacetime.
64. Hsu: Cell-to-Cell Mapping: A Method of Global 93. Colton/Kress: Inverse Acoustic and
Analysis for Nonlinear Systems. Electromagnetic Scattering Theory.
65. Rand/Armbruster: Perturbation Methods, 94. Hoppensteadt: Analysis and Simulation of
Bifurcation Theory and Computer Algebra. Chaotic Systems.
66. HlavaceklHaslingerlNecasIlLov{sek: Solution of 95. Hackbusch: Iterative Solution of Large Sparse
Variational Inequalities in Mechanics. Systems of Equations.
67. Cercignani: The Boltzmann Equation and Its 96. Marchioro/Pulvirenti: Mathematical Theory of
Applications. Incompressible Nonviscous Fluids.
68. Temam: Infinite Dimensional Dynamical 97. Lasota/Mackey: Chaos, Fractals, and Noise:
Systems in Mechauics and Physics. Stochastic Aspects of Dynamics, 2nd ed.
69. Golubitsky/StewartlSchaeffer: Singularities and 98. de Boor/Hol/igiRiemenschneider: Box Splines.
Groups in Bifurcation Theory, Vol. II. 99. Hale/Lunel: Introduction to Functional
70. Constantin/FoiasINicolaenkolI'emam: Integral Differential Equations.
Manifolds and Inertial Manifolds for Dissipative 100. Sirovich (ed): Trends and Perspectives in
Partial Differential Equations. Applied Mathematics.
71. Catlin: Estimation, Control, and the Discrete 101. NusseIYorke: Dynamics: Numerical
Kalman Filter. Explorations.
72. LachaklMeunier: Multiphase Averaging for 102. Chossat//ooss: The Couette-Taylor Problem.
Classical Systems. 103. Chorin: Vorticity and Turbulence.
73. Wiggins: Global Bifurcations and Chaos. 104. Farkas: Periodic Motions.
74. MawhinIWil/em: Critical Point Theory and 105. Wiggins: Normally Hyperbolic Invariant
Hamiltonian Systems. Mauifolds in Dynamical Systems.
75. Abraham/Marsden/Ratiu: Manifolds, Tensor 106. CercignanillllnerlPulvirenti: The Mathematical
Analysis, and Applications, 2nd ed. Theory of Dilute Gases.
76. Lagerstrom: Matched Asymptotic Expansions: 107. Antman: Nonlinear Problems of Elasticity.
Ideas and Techniques. 108. Zeidler: Applied Functional Analysis:
77. Aldous: Probability Approximations via the Applications to Mathematical Physics.
Poisson Clumping Heuristic. 109. Zeidler: Applied Functional Analysis: Main
78. Dacorogna: Direct Methods in the Calculus of Principles and Their Applications.
Variations. 110. Diekmannlvan Gi/s/Verduyn LunellWalther:
79. Hernandez-Lerma: Adaptive Markov Processes. Delay Equations: Functional-, Complex-, and
80. Lawden: Elliptic Functions and Applications. Nonlinear Analysis.
81. BlumanIKumei: Symmetries and Differential 111. Visintin: Differential Models of Hysteresis.
Equations. 112. Kuznetsov: Elements of Applied Bifurcation
82. Kress: Linear Integral Equations. Theory.
83. BebernesiEberly: Mathematical Problems from 113. Hislop/Sigal: Introduction to Spectral Theory:
Combustion Theory. With Applications to SchrMinger Operators.
84. Joseph: Fluid Dynamics of Viscoelastic Fluids. 114. Kevorkian/Cole: Multiple Scale and Singular
85. Yang: Wave Packets and Their Bifurcations in Perturbation Methods.
Geophysical Fluid Dynamics. lIS. Taylor: Partial Differential Equations I, Basic
86. DendrinosiSonis: Chaos and Socio-Spatial Theory.
Dynamics. 116. Taylor: Partial Differential Equations II,
87. Weder: Spectral and Scattering Theory for Wave Qualitative Studies of Linear Equations.
Propagation in Perturbed Stratified Media. 117. Taylor: Partial Differential Equations III,
88. BogaevskilPovzner: Algebraic Methods in Nonlinear Equations.
Nonlinear Perturbation Theory.