Evolution Equations and Applications

Evolution Equations and Applications

TABLE OF CONTENTS

Epigraph ii
Preface iii
Acknowledgement iv
Dedication v
1 PRELIMINARIES 1
1.1 Basic notions of Functional Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Linear operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Differentiability in Banach spaces . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Fundamental theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.4 Riemann Integration of functions with values in Banach spaces . . . . . . . . 12
1.1.5 Gronwall Lemma, Differential Inequality . . . . . . . . . . . . . . . . . . . . . 15
1.1.6 Function Spaces with Values in a Banach Space . . . . . . . . . . . . . . . . . 16
1.2 Semigroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.1 Spectral Theory of linear Operators . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.2 Semigroups of Linear Operators . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2.3 Examples of Semigroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2.4 Infinitesimal Generator of a C0-semigroup . . . . . . . . . . . . . . . . . . . . 26
1.2.5 Lumer-Phillips Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 ABSTRACT LINEAR EVOLUTION EQUATIONS 36
2.1 Linear Evolution Equations in nite dimensional spaces: Well-Posedness . . . . . . . 36
2.2 Linear Evolution Equations in infinite Dimensional Spaces: Abstract Cauchy Problem 39
3 SEMI-LINEAR EVOLUTION EQUATIONS 51
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2 Theory for Lipschitz-Type Forcing terms . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2.1 Existence and uniqueness results . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2.2 Existence of Local Solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2.3 Continuous Dependence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2.4 Extendability of Local Solutions . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2.5 Global Existence of Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.2.6 Long-Term Behavior of Solutions . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3 Theory for Non-Lipschitz-Type Forcing Terms . . . . . . . . . . . . . . . . . . . . . . 64
3.3.1 Existence and Uniqueness Result . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.3.2 Theory under compactness assumption . . . . . . . . . . . . . . . . . . . . . . 71
4 APPLICATIONS 75
4.1 The Homogeneous Heat Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.2 The Classical Wave Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3 The Nonlinear Heat Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.4 Nonlinear Wave Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Bibliography 84

CHAPTER ONE

PRELIMINARIES

1.1 Basic notions of Functional Analysis

In this section we recall some definitions and results from linear functional analysis Definition 1.1.1 Let X be a linear space over a eld K; where K holds either for R or C.

A mapping k:k: X ?! R is called a norm provided that the following conditions hold:

i) kxk 0 for all x 2 X, and kxk= 0 , x = 0

ii) kxk= jjkxk, for all 2 K; x 2 X

iii) kx + yk kxk+kyk, for arbitrary x; y 2 X.

If X is a linear space and k:k is a norm on X, then the pair (X; k:k) is called a normed linear space over K.
Should no ambiguity arise about the norm, we simply abbreviate this pair by saying that X is a normed linear space over K.

Example . Let X = C([0; 1]) be the space of all real-valued continuous functions on [0; 1]. Each of the following expressions denes on the vector space C([0; 1]) a norm which is in common use.

kfkp=
R 1
0 (jf(t)j)pdt
1
p , for every f 2 C([0; 1]), and any p 2 [1;1)
kfk1 = ess sup jfj = inffM 0 : jf(x)j M a:eg

Definition 1.1.2 (Equivalent norms)

Two norms k:k1 and k:k2 dened on a linear space X are said to be equivalent if there exists > 0 and > 0 constants such that kxk1 kxk2 kxk1; 8x 2 X:

Theorem 1.1.1 In a nite dimensional linear space, all the norms are equivalent.

Definition 1.1.3 Every normed linear space E is canonically endowed with a metric d dened on E E by
d(x; y) = jjx ? yjj 8 x; y 2 E:

Definition 1.1.4 (Cauchy sequence)

A sequence (xn)n1 of elements of a normed vector space X is a Cauchy sequence if lim
n;m!1

kxn ? xmk= 0:

That is, for any > 0 there is an integer N = N() such that kxn ? xmk< whenever n N and m N. Remark. In a normed linear space, every Cauchy sequence (xn)n1 is bounded; i.e, there exists a constant M 0 such that jjxnjj M ; 8n 1: (See also Definition 1.1.5 below) Definition 1.1.5 (convergent sequence) A sequence (xn)n1 of elements of a normed vector space X converges to an element x 2 X if lim n!1 kxn ? xk= 0: In such a case, we say that (xn)n1 is a convergent sequence. Remark. In a normed linear space, every convergent sequence is a Cauchy sequence. Definition 1.1.6 A normed linear space X is complete if every Cauchy sequence of X is convergent in X. A complete normed linear space is called a Banach space. Remarks. Every normed linear space has a completion. The notion of completeness is also dened for metric spaces which need not have any linear structure.

Example (Banach spaces). The normed linear space
?
C([0; 1]); k k1

is a Banach space. Also the space of all bounded linear maps from R to R denoted by B(R) is a Banach space.

The completion of the normed linear space
?
C([0; 1]); k k2

where k k2 is dened by
kfk2 =
Z 1
0
jf(t)j2dt
1
2
is L2(0; 1) (see Definition 1.1.7).

1.1.1 Linear operators

In this section X and Y are normed linear spaces over a eld K.

Definition 1.1.7 A K-linear operator T from X into Y is a map T : X ?! Y satisfying the following property
T(x + y) = Tx + Ty

for all ; 2 K and all x; y 2 X:

When Y = K, such a map is called a linear functional or a linear form.




Copyright © 2021 Author(s) retain the copyright of this article.
This article is published under the terms of the Creative Commons Attribution License 4.0


WeCreativez WhatsApp Support
We are here to answer your questions. Ask us anything!
Hi, how can we help?