ISEM Team-Lecce. holds for some c > 0 and all y Y. Assume T (t)y Y for all t 0 and T ( )y C(R +, Y ) for all y Y. For t 0 we define the operators

Similar documents
Regulated functions and the regulated integral

Strongly continuous semigroups and their generators

Chapter 3. Vector Spaces

(4.1) D r v(t) ω(t, v(t))

The Regulated and Riemann Integrals

Math 61CM - Solutions to homework 9

1. On some properties of definite integrals. We prove

2 Fundamentals of Functional Analysis

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

MATH 174A: PROBLEM SET 5. Suggested Solution

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set

Principles of Real Analysis I Fall VI. Riemann Integration

Functions of bounded variation

Functional Analysis I Solutions to Exercises. James C. Robinson

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.

AQA Further Pure 2. Hyperbolic Functions. Section 2: The inverse hyperbolic functions

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

M597K: Solution to Homework Assignment 7

Section 6.1 INTRO to LAPLACE TRANSFORMS

Math Solutions to homework 1

1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.

Positive Solutions of Operator Equations on Half-Line

Problem Set 4: Solutions Math 201A: Fall 2016

Notes on length and conformal metrics

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.

1 The fundamental theorems of calculus.

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

Set Integral Equations in Metric Spaces

Handout 4. Inverse and Implicit Function Theorems.

A product convergence theorem for Henstock Kurzweil integrals

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

Best Approximation in the 2-norm

Section 6.1 INTRO to LAPLACE TRANSFORMS

du = C dy = 1 dy = dy W is invertible with inverse U, so that y = W(t) is exactly the same thing as t = U(y),

Frobenius numbers of generalized Fibonacci semigroups

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech

Convex Sets and Functions

Variational Techniques for Sturm-Liouville Eigenvalue Problems

Math 270A: Numerical Linear Algebra

On the Decomposition Method for System of Linear Fredholm Integral Equations of the Second Kind

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Euler-Maclaurin Summation Formula 1

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

Review of Riemann Integral

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

Math Calculus with Analytic Geometry II

Math Advanced Calculus II

AMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives

1.9 C 2 inner variations

Analytical Methods Exam: Preparatory Exercises

Section 3.3: Fredholm Integral Equations

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1

NOTES ON UNBOUNDED OPERATORS MATH 581, SPRING 2017

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

Calculus in R. Chapter Di erentiation

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

II. Integration and Cauchy s Theorem

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

The adjoint of a positive semigroup

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

Note 16. Stokes theorem Differential Geometry, 2005

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

Section - 2 MORE PROPERTIES

Calculus of Variations

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

On some Hardy-Sobolev s type variable exponent inequality and its application

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

International Jour. of Diff. Eq. and Appl., 3, N1, (2001),

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

We divide the interval [a, b] into subintervals of equal length x = b a n

arxiv: v1 [math.ra] 1 Nov 2014

A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int

1.3 The Lemma of DuBois-Reymond

ON AN INTEGRATION-BY-PARTS FORMULA FOR MEASURES

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

8 Laplace s Method and Local Limit Theorems

Riemann is the Mann! (But Lebesgue may besgue to differ.)

The problems that follow illustrate the methods covered in class. They are typical of the types of problems that will be on the tests.

S. S. Dragomir. 2, we have the inequality. b a

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35

Math 554 Integration

Lecture 3. Limits of Functions and Continuity

University of Auckland Research Repository, ResearchSpace

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

This is a short summary of Lebesgue integration theory, which will be used in the course.

Section The Precise Definition Of A Limit

Math& 152 Section Integration by Parts

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

The Bochner Integral and the Weak Property (N)

REGULARITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Conservation Law. Chapter Goal. 5.2 Theory

JOURNÉES ÉQUATIONS AUX DÉRIVÉES PARTIELLES

Heat flux and total heat

Transcription:

ISEM Tem-Lecce EXERCISE 3.. Let A generte the C -semigroup T ( ) on Bnch spce X. Let J : X E be n isomorphism to nother Bnch spce E, Y X be Bnch subspce which is equipped with norm Y such tht X c Y holds for some c > nd ll Y. Assume T (t)y Y for ll t nd T ( ) C(R +, Y ) for ll Y. For t we define the opertors S(t) = JT (t)j on E, T Y (t) = T (t) on Y. Show tht S( ) nd T Y ( ) re C -semigroups on E nd Y, respectivel, nd compute their genertors. How does the result simplif if Y (nd thus Y is closed in X)? is equivlent to X Let us consider S(t) = JT (t)j on E nd let (B, D(B)) be its genertor. Obviousl from the linerit nd the continuit of J nd J we know tht S(t) is C -semigroup. Let us show tht D(B) = J(D(A)) nd B = JAJ. Let x be in J(D(A)); we hve: S(t)x x JT (t)j x JJ x = = ( T (t)j x J ) x = J = JAJ x The lst equlit proves tht J(D(A)) D(B) nd tht B = JAJ on J(D(A)). A similr rgument pplied to J proves tht J (D(B)) D(A) or, equivlentl, D(B) J(D(A)). Let us consider now T Y (t) = T (t) Y on Y. B hpothesis, to show tht T Y (t) is C -semigroup we onl hve to prove tht T Y (t) B(Y ) for ll t. Since T Y (t) is defined on the whole of Y, from the closed grph theorem, we cn equivlentl show tht T Y (t) is closed. Let us fix t > nd consider the sequences x n x nd T Y (t)x n, which converge in Y with respect to Y. It follows from the hpothesis tht the two sequences converge with respect to X s well. Since T Y (t) is continous, we hve T Y (t)x = nd so T Y (t) is closed. Let (C, D(C)) be its genertor. Let us define in Y the liner opertor (A, D(A )) b D(A ) = D(A) Y A (Y ), A = A on D(A ). D(A ) is the lrgest set in which the restriction A of A in Y is well defined. Trivill, C A, i.e., A is n extension of C. If x D(C) Y, the following it exists in Y with respect to Y : T Y (t)x x T (t)x x = = Cx.

Hence, it follows from the hpothesis tht the sme it reltion holds with respect to X. It follows tht x D(A) nd Ax = Cx Y. For λ R, λ > mx ω (A), ω (C)}, b Proposition 3.4 we hve λ ρ(a) ρ(c) nd, for ll Y : R(λ, C) = So, for ll x D(A ), we hve: e λt T Y (t) dt = e λt T (t) dt = R(λ, A). x = R(λ, A)(λI A)x = R(λ, C)(λI A)x D(C), which proves tht D(A ) D(C) nd then A = C. If Y is equivlent to X then Y is closed in X. For ll x Y D(A), we hve T Y (t)x x Ax = Y = Y nd so Y D(A) A (Y ) = A (Y ). D(C) = D(A) Y nd C = A Y. It follows from the first prt tht INTERMEZZO. Let J R be n intervl. Given u n W p (J), if u n u nd u n f in L p (J) then u W p (J) nd u = f. Proof. If u n u nd u n f in L p (J), then u n u nd u n f with respect to in ll compct intervls in J. So, for ll x, J we hve u n (x) u n () = u n(t)dt f(t)dt. We know tht u n u.e. up to subsequences, so b the bove reltion the entire sequence u n u.e.; finll, we obtin u(x) u() = which proves tht u W p (J) nd u = f. f(t)dt, EXERCISE 3.2. Let X = L p (R), p [, + ) nd T (t)f = f( + t) for t R. From Exercise 2.2 we know tht T ( ) is C -group. Show tht its genertor is given b Au = u on D(A) = W p (R). Further show tht σ(a) = ir. Let us denote b (A, D(A)) the genertor of T ( ) nd define the liner opertor (B, D(B)) b D(B) = W p (R) Bu = u 2

We hve immeditel tht (B, D(B)) is closed opertor. In fct, s proved in the previous intermezzo, if u n u in L p (R) nd Bu n = u n f in L p (R), then u W p (R) nd Bu = u = f. In order to show tht A = B, we firstl prove tht A B; if f D(A) nd g = Af, then t (T (t)f f) converges to g in Lp (R) s t +. So for ll, b R h + f(s + h) f(s) ds = h B Lebesgue differentition theorem, we hve [ f(s + h) f(s) ds = h + h h + h +h = f(b) f().e. b g(s) ds. f(s) ds h +h ] f(s) ds = So we hve proved f D(B) nd Af = f = Bf. Now, since T ( ) is contrction group, b Proposition 3.4 we hve λ ρ(a) for ll λ >.Conversel, for λ >, solving in L p (R) the differentil eqution u λu = g for g L p (R), we find tht (λi B) is bijective nd R(λ, B)g(t) = e λ(s t) g(s) ds. Therefore λ ρ(a) ρ(b) for ll λ > nd b Lemm 3.6 we hve A = B. Let us prove tht σ(a) = ir. Appling Proposition 3.4 to the contrction C -semigroups T (t) nd S(t) defined b S(t)f := f( t) we obtin tht σ(a) ir. To verif the reverse inclusion, let λ R nd tke the following functions ϕ n Cc (R) Wp (R) = D(A): if s 2n if s n ϕ n (s) := n n (2n s) (2n + s) if n s 2n if 2n s n We notice tht ϕ n, ϕ n p + nd ϕ n p = (2n p ) p for p > nd is bounded for p =. Now define, for ll n N, the function f n = ϕ n e iλ. Immeditel, f n W p (R) = D(A) nd f n p = ϕ n p + s n. Moreover, we hve: Af n = f n = iλf n + ϕ ne iλ, hence iλf n Af n p = ϕ n p s n for p > nd is bounded for p =. This implies tht iλ A cnnot hve bounded inverse, otherwise we would hve f n p. So ir σ(a) nd finll σ(a) = ir. EXERCISE 3.3. Let X = L p (, ) nd p [, + ). For t nd s (, ) set f(s + t), s + t < T (t)f(s) =, s + t 3

From Exercise 2.3 we know tht T ( ) is C -semigroup. Show tht its genertor is given b Au = u on D(A) = u W p (, ) u() = }. Let (B, D(B)) be the genertor of T (t). In order to prove tht B = A, let us first show tht B A. As in the previous exercise, we find tht if f D(B) then f Wp (, ) nd Bf = f. Furthermore, T (t)f D(B) Wp (, ) for ll t, so the left trnsltion of f is continuous nd this fct implies tht f() = necessril. We hve just proved tht D(B) D(A) nd A = B on D(B). Since T (t) is contrction semigroup, for ll λ > we hve tht λ ρ(b) nd: R(λ, B)g(t) = Solving the Cuch problem for g L p (, ): u λu = g we obtin: t R(λ, A)g(t) = e λ(s t) g(s) ds, g L p (, ). u() = t e λ(s t) g(s) ds So, if λ >, then λ ρ(a) ρ(b) nd, b lemm 3.6, A = B. EXERCISE 3.4. A C -semigroup T ( ) is clled qusicontrctive if there is number ω R such tht T (t) e ωt holds for ll t. Chrcterize the genertors of such C -semigroups s in Theorem 3.8 (without using Theorem 3.). Find n equivlent norm on X = C (R) such tht the left trnsltion group is not qusicontrctive for this norm. For ever ω R we m define the semigroup S(t) := e ωt T (t). Trivill, T (t) is qusicontrctive with T (t) e ωt if nd onl if S(t) is contrctive. Furthermore, denoting with (B, D(B)) nd (A, D(A)) the genertors of S(t) nd T (t) respectivel, we hve: nd λ ρ(b) λ + ω ρ(a) R(λ, A) = R(λ ω, B) Hence, using the Hille-Yosid Theorem, we cn chrcterize qusicontrctive semigroup T (t) b the equivlence of the following sttements: (i) T (t) is qusicontrctive with T (t) e ωt for ll t (ii) The genertor A of T (t) is closed, densel defined nd the following estimte holds: λ > ω λ ρ(a) nd (λ ω)r(λ, A) 4

(iii) The genertor A of T (t) is closed, densel defined nd the following estimte holds: λ C, Re(λ) > ω, λ ρ(a) nd R(λ, A) Re(λ) ω. Let T (t) be qusicontrctive semigroup on C (R). Now, to find n equivlent norm on C (R) such tht T (t) is not qusicontrctive, we define the following function: 2 if s w(s) := + s if < s < if s. For ll f C (R), let us consider the norm given b: f w := sup f(s)w(s). s R This norm is obviousl equivlent to, s for ll f C (R) we hve: f f w 2 f. Let now h be the function in C (R) defined b: h(s) := if s s if s It is immeditel seen tht h w =. Indeed ( h w = mx sup [,] ( s ), sup( s ) [,] Now, let us estimte T (t) for ll < t <. We hve: T (t) w = ) =. sup T (t)f w = sup f( + t) w h( + t) w = f w= f w= = sup h(s + t)w(s) h( t + t)w( t) = w( t) = + t s R Since T () = nd the right derivte of + t is infinite in t =, for ever ω > there is right neighborhood U of such tht T (t) > e ωt for ll t U \ }. Finll, for ever ω >, nd hence for ever ω R, there exists t > such tht T (t) > e ωt. So, the semigroup T (t) is not qusicontrctive. 5