Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X;

Similar documents
Introduction to Semigroup Theory

Analysis Preliminary Exam Workshop: Hilbert Spaces

16 1 Basic Facts from Functional Analysis and Banach Lattices

UNBOUNDED OPERATORS ON HILBERT SPACES. Let X and Y be normed linear spaces, and suppose A : X Y is a linear map.

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space

Strongly continuous semigroups

Non-stationary Friedrichs systems

The Dirichlet-to-Neumann operator

On Semigroups Of Linear Operators

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

A metric space X is a non-empty set endowed with a metric ρ (x, y):

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

Elliptic Operators with Unbounded Coefficients

S t u 0 x u 0 x t u 0 D A. Moreover, for any u 0 D A, AS t u 0 x x u 0 x t u 0 x t H

Stone s theorem and the Laplacian

1.2 Fundamental Theorems of Functional Analysis

Equations paraboliques: comportement qualitatif

Chapter 2 Unbounded Operators and Abstract Functional Calculus

Chapter 1. Introduction

Positive Perturbations of Dual and Integrated Semigroups

4 Linear operators and linear functionals

Overview of normed linear spaces

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz

Continuity of convex functions in normed spaces

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

IV. TOPICS ON HILBERT SPACE OPERATORS

Sectorial Forms and m-sectorial Operators

Semigroups of Operators

Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback

Your first day at work MATH 806 (Fall 2015)

On feedback stabilizability of time-delay systems in Banach spaces

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

ADJOINT FOR OPERATORS IN BANACH SPACES

Advanced functional analysis

Root-Locus Theory for Infinite-Dimensional Systems

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

Domain Perturbation for Linear and Semi-Linear Boundary Value Problems

Spectral theory for compact operators on Banach spaces

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction

MAA6617 COURSE NOTES SPRING 2014

CHAPTER 5. Birkhoff Orthogonality and a Revisit to the Characterization of Best Approximations. 5.1 Introduction

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Semigroup Methods in Finance

Introduction to Functional Analysis With Applications

Errata Applied Analysis

STOKES PROBLEM WITH SEVERAL TYPES OF BOUNDARY CONDITIONS IN AN EXTERIOR DOMAIN

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

ON THE FAVARD CLASSES OF SEMIGROUPS ASSOCIATED WITH PSEUDO-RESOLVENTS

COMPACT OPERATORS. 1. Definitions

Massera-type theorem for the existence of C (n) -almost-periodic solutions for partial functional differential equations with infinite delay

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

E.7 Alaoglu s Theorem

The spectrum of a self-adjoint operator is a compact subset of R

Strong stabilization of the system of linear elasticity by a Dirichlet boundary feedback

Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints

Functional Analysis

Semigroups. Shlomo Sternberg. September 23, 2014

Functional Analysis I

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

Chapter 14. Duality for Normed Linear Spaces

Generalisations of Semigroups of Operators in the View of Linear Relations

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Abstract Multiplication Semigroups

Notes for Functional Analysis

I teach myself... Hilbert spaces

t y n (s) ds. t y(s) ds, x(t) = x(0) +

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Operator Semigroups and Dispersive Equations

Remarks on the Spectrum of Bounded and Normal Operators on Hilbert Spaces

A Brief Introduction to Functional Analysis

Semigroup Generation

On the Stokes operator in general unbounded domains. Reinhard Farwig, Hideo Kozono and Hermann Sohr

Trotter s product formula for projections

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

BI-CONTINUOUS SEMIGROUPS FOR FLOWS IN INFINITE NETWORKS. 1. Introduction

CHAPTER V DUAL SPACES

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

The weak topology of locally convex spaces and the weak-* topology of their duals

l(y j ) = 0 for all y j (1)

Notes on Banach Algebras and Functional Calculus

Banach Algebras where the Singular Elements are Removable Singularities

Biholomorphic functions on dual of Banach Space

13. Families of extensions

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan

Trace Class Operators and Lidskii s Theorem

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL

2. Function spaces and approximation

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

Self-equilibrated Functions in Dual Vector Spaces: a Boundedness Criterion

Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique

Wellposedness and inhomogeneous equations

A SHORT INTRODUCTION TO BANACH LATTICES AND

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Essential g-ascent and g-descent of a Closed Linear Relation in Hilbert Spaces

2.2 Annihilators, complemented subspaces

Transcription:

2.2 Rudiments 71 Corollary 2.12. A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X; (ii) ρ(a) (ω, ) and for such λ semigroup R(λ, A) 1 λ ω. (2.33) Proof. Follows from the contractive semigroup S(t) = e ωt G(t) being generated by A ωi. The full version of the Hille-Yosida theorem reads Theorem 2.13. A G(M, ω) if and only if (a) A is closed and densely defined, (b) there exist M > 0, ω R such that (ω, ) ρ(a) and for all n 1, λ > ω, (λi A) n M (λ ω) n. (2.34) 2.2.3 Dissipative operators and the Lumer-Phillips theorem Let X be a Banach space (real or complex) and X be its dual. From the Hahn Banach theorem, Theorem 1.7 for every x X there exists x X satisfying <x, x>= x 2 = x 2. Therefore the duality set is nonempty for every x X. J (x) = {x X ; <x, x>= x 2 = x 2 } (2.35) Definition 2.14. We say that an operator (A, D(A)) is dissipative if for every x D(A) there is x J (x) such that R <x, Ax> 0. (2.36) If X is a real space, then the real part in the above definition can be dropped. Theorem 2.15. A linear operator A is dissipative if and only if for all λ > 0 and x D(A), (λi A)x λ x. (2.37)

72 2 An Overview of Semigroup Theory Proof. Let A be dissipative, λ > 0 and x D(A). If x J and R < Ax, x > 0, then λx Ax x (λx Ax, x > R < λx Ax, x > λ x 2 so that we get (2.65). Conversely, let x D(A) and λ x λx Ax for λ > 0. Consider y λ J (λx Ax) and z λ = y λ / y λ. λ x λx Ax = λx Ax z λ = y λ 1 λx Ax y λ = y λ 1 < λx Ax, y λ > = < λx Ax, z λ >= λr < x, z λ > R < Ax, z λ > λ x R < Ax, z λ > for every λ > 0. From this estimate we obtain that R < Ax, zλ > 0 and, by α Rα, λr < x, z λ >= λ x + R < Ax, z λ > λ x R < Ax, z λ > λ x Ax or R < x, z λ > x λ 1 Ax. Now, the unit ball in X is weakly- compact and thus there is a sequence (z λ n ) n N converging to z with z = 1. From the above estimates, we get R < Ax, z > 0 and R < x, z > x. Hence, also, < x, z > x On the other hand, Re < x, z > < x, z > x and hence < x, z >= x. Taking x = z x we see that x J (x) and R < Ax, x > 0 and thus A is dissipative. Theorem 2.16. Let A be a linear operator with dense domain D(A) in X. (a) If A is dissipative and there is λ 0 > 0 such that the range Im(λ 0 I A) = X, then A is the generator of a C 0 -semigroup of contractions in X. (b) If A is the generator of a C 0 semigroup of contractions on X, then Im(λI A) = X for all λ > 0 and A is dissipative. Moreover, for every x D(A) and every x J (x) we have R < Ax, x > 0. Proof. Let λ > 0, then dissipativeness of A implies λx Ax λ x for x D(A), λ > 0. This gives injectivity and, since by assumption, the Im(λ 0 I A)D(A) = X, (λ 0 I A) 1 is a bounded everywhere defined operator and thus closed. But then λ 0 I A, and hence A, are closed. We have to prove that Im(λI A)D(A) = X for all λ > 0. Consider the set Λ = {λ > 0; Im(λI A)D(A) = X}. Let λ Λ. This means that λ ρ(a) and, since ρ(a) is open, Λ is open in the induced topology. We have to prove that Λ is closed in the induced topology. Assume λ n λ, λ > 0. For every y X there is x n D(A) such that λ n x n Ax n = y.

2.2 Rudiments 73 From (??), x n 1 λ n y C for some C > 0. Now λ m x n x m λ m (x n x m ) A(x n x m ) = λ m x n + λ m x m λ n x n + λ n x n Ax n + Ax m = λ n λ m x n C λ n λ m Thus, (x n ) n N is a Cauchy sequence. Let x n x, then Ax n λx y. Since A is closed, x D(A) and λx Ax = y. Thus, for this λ, Im(λI A)D(A) = X and λ Λ. Thus Λ is also closed in (0, ) and since λ 0 Λ, Λ and thus Λ = (0, ) (as the latter is connected). Thus, the thesis follows from the Hille-Yosida theorem. On the other hand, if A is the generator of a semigroup of contractions (G(t)) t 0, then (0, ) ρ(a) and Im(λI A)D(A) = X for all λ > 0. Furthermore, if x D(A), x J (x), then and therefore < G(t)x, x > G(t)x x x 2 R < G(t)x x, x >= R < G(t)x, x > x 2 0 and, dividing the left hand side by t and passing with t, we obtain < Ax, x > 0. Since this holds for every x J (x), the proof is complete. Adjoint operators Before we move to an important corollary, let as recall the concept of the adjoint operator. If A L(X, Y ), then the adjoint operator A is defined as <y, Ax> = <A y, x> (2.38) and it can be proved that it belongs to L(Y, X ) with A = A. If A is an unbounded operator, then the situation is more complicated. In general, A may not exist as a single-valued operator. In other words, there may be many operators B satisfying <y, Ax> = <By, x>, x D(A), y D(B). (2.39) Operators A and B satisfying (2.39) are called adjoint to each other. However, if D(A) is dense in X, then there is a unique maximal operator A adjoint to A; that is, any other B such that A and B are adjoint to each other, must satisfy B A. This A is called the adjoint operator to A. It can be constructed in the following way. The domain D(A ) consists of all elements y of Y for which there exists f X with the property

74 2 An Overview of Semigroup Theory <y, Ax> = <f, x> (2.40) for any x D(A). Because D(A) is dense, such element f can be proved to be unique and therefore we can define A y = f. Moreover, the assumption D(A) = X ensures that A is a closed operator though not necessarily densely defined. In reflexive spaces the situation is better: if both X and Y are reflexive, then A is closed and densely defined with see [105, Theorems III.5.28, III.5.29]. A = (A ) ; (2.41) Corollary 2.17. Let A be a densely defined closed linear operator. If both A and A are dissipative, then A is the generator of a C 0 -semigroup of contractions on X. Proof. It suffices to prove that, e.g., Im(I A) = X. Since A is dissipative and closed, Im(λI A) is a closed subspace of X. Indeed, if y n y, y n Im(I A), then, by dissipativity, x n x m (x n x m ) (Ax n Ax m ) = y n y m and (x n ) n N converges. But then (Ax n ) n N converges and, by closedness, x D(A) and x Ax = y Im(I A). Assume Im(I A) X, then by H-B theorem, there is 0 x X such that < x, x Ax >= 0 for all x D(A). But then x D(A ) and, by density of D(A), x A x = 0 but dissipativeness of A gives x = 0. The Cauchy problem for the heat equation Let C = (0, ), Σ = (0, ) where is an open set in R n. We consider the problem t u = u, in [0, T ], (2.42) u = 0, onσ, (2.43) u = u 0, on. (2.44) Theorem 2.18. Assume that u 0 L 2 () where is bounded and has a C 2 boundary. Then there exists a unique function u satisfying (2.44) (1.26) such that u C([0, ); L 2 ()) C([0, ); W 2 2 () o W 1 2()), Proof. The strategy is to consider (2.44 (1.26) as the abstract Cauchy problem u = Au, u(0) = u 0 in X = L 2 () where A is the unbounded operator defined by for Au = u

2.2 Rudiments 75 u D(A) = {u o W 1 2(); u L 2 ()} = W 2 2 () o W 1 2()). First we observe that A is densely defined as C 0 () o W 1 2() and C 0 () L 2 (). Next, A is dissipative. For u L 2 (), J u = u and (Au, u) = u 2 dx 0 Further, we consider the variational problem associated with I A, that is, to find u o W 1 2() to a(u, v) = u vdx + uvdx = fvdx, v o W 1 2() where f L 2 () is given. Clearly, a(u, u) = u 2 1, Hence there is a unique solution u o W 1 2 which, by writing u vdx = fvdx uvdx = (f u)vdx, and thus is coercive. can be shown to be in W 2 2 (). This ends the proof of generation. If we wanted to use the Hille-Yosida theorem instead, then to find the resolvent, we would have to solve a(u, v) = u vdx + λ uvdx = fvdx, v o W 1 2() for λ > 0. The procedure is the same and we get in particular for the solution u λ 2 0, + λ u λ 2 0, f 0, u λ 0,. Since u λ = R(λ, A)f we obtain λ R(λ, A)f 2 0, λ 1 f 0,. Closedness follows from continuous invertibility.