û s L u t 0 s a ; i.e., û s 0

Similar documents
Comparison between the Discrete and Continuous Time Models

MATH 351 Solutions: TEST 3-B 23 April 2018 (revised)

On two general nonlocal differential equations problems of fractional orders

Additional Exercises for Chapter What is the slope-intercept form of the equation of the line given by 3x + 5y + 2 = 0?

Method For Solving Fuzzy Integro-Differential Equation By Using Fuzzy Laplace Transformation

Fuzzy Laplace Transforms for Derivatives of Higher Orders

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

ON DIFFERENTIABILITY OF ABSOLUTELY MONOTONE SET-VALUED FUNCTIONS

TMA4329 Intro til vitensk. beregn. V2017

F (u) du. or f(t) = t

Approximating the Powers with Large Exponents and Bases Close to Unit, and the Associated Sequence of Nested Limits

arxiv: v1 [math.pr] 19 Feb 2011

4. Advanced Stability Theory

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!

The Quantum Theory of Atoms and Molecules: The Schrodinger equation. Hilary Term 2008 Dr Grant Ritchie

t 2 B F x,t n dsdt t u x,t dxdt

Mathematics Paper- II

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow

ln y t 2 t c where c is an arbitrary real constant

Lecture 20: Riccati Equations and Least Squares Feedback Control

1 Solutions to selected problems

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

Math Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems.

02. MOTION. Questions and Answers

Solutions to Assignment 1

SMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15.

An Introduction to Malliavin calculus and its applications

Higher Order Difference Schemes for Heat Equation

On Gronwall s Type Integral Inequalities with Singular Kernels

Review - Quiz # 1. 1 g(y) dy = f(x) dx. y x. = u, so that y = xu and dy. dx (Sometimes you may want to use the substitution x y

ANALYSIS OF LINEAR AND NONLINEAR EQUATION FOR OSCILLATING MOVEMENT

Concourse Math Spring 2012 Worked Examples: Matrix Methods for Solving Systems of 1st Order Linear Differential Equations

MATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence

Announcements: Warm-up Exercise:

Undetermined coefficients for local fractional differential equations

Math 334 Fall 2011 Homework 11 Solutions

DISCRETE GRONWALL LEMMA AND APPLICATIONS

2. Nonlinear Conservation Law Equations

Solutions of Sample Problems for Third In-Class Exam Math 246, Spring 2011, Professor David Levermore

Module 2 F c i k c s la l w a s o s f dif di fusi s o i n

ES.1803 Topic 22 Notes Jeremy Orloff

u(x) = e x 2 y + 2 ) Integrate and solve for x (1 + x)y + y = cos x Answer: Divide both sides by 1 + x and solve for y. y = x y + cos x

Let us start with a two dimensional case. We consider a vector ( x,

System of Linear Differential Equations

Hamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:

THE CATCH PROCESS (continued)

Asymptotic instability of nonlinear differential equations

Convergence of the Neumann series in higher norms

Our main purpose in this section is to undertake an examination of the stock

Representation of Stochastic Process by Means of Stochastic Integrals

Existence of multiple positive periodic solutions for functional differential equations

Semigroups of Linear Operators

Chapter 6. Systems of First Order Linear Differential Equations

Math 10B: Mock Mid II. April 13, 2016

dt = C exp (3 ln t 4 ). t 4 W = C exp ( ln(4 t) 3) = C(4 t) 3.

On Third Order Differential Equations with Property A and B

A Necessary and Sufficient Condition for the Solutions of a Functional Differential Equation to Be Oscillatory or Tend to Zero

Perpendicular Lines. 4 Do the fold lines appear perpendicular? Use a protractor to measure each angle. How many right angles are formed?

Ann. Funct. Anal. 2 (2011), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:

CS537. Numerical Analysis

SPLICING OF TIME OPTIMAL CONTROLS

Example on p. 157

Keywords: fractional calculus; weighted Cauchy-type problem; stability

Chapter 2. First Order Scalar Equations

III. Direct evolution of the density: The Liouville Operator

arxiv: v1 [math.fa] 9 Dec 2018

The L p -Version of the Generalized Bohl Perron Principle for Vector Equations with Infinite Delay

EXERCISES FOR SECTION 1.5

Math 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:

10. State Space Methods

Challenge Problems. DIS 203 and 210. March 6, (e 2) k. k(k + 2). k=1. f(x) = k(k + 2) = 1 x k

Singular control of SPDEs and backward stochastic partial diffe. reflection

The fundamental mass balance equation is ( 1 ) where: I = inputs P = production O = outputs L = losses A = accumulation

Predator - Prey Model Trajectories and the nonlinear conservation law

Strongly continuous semigroups

23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes

Theory of! Partial Differential Equations!

Theory of! Partial Differential Equations-I!

Positive continuous solution of a quadratic integral equation of fractional orders

IB Physics Kinematics Worksheet

Intermediate Differential Equations Review and Basic Ideas

The Asymptotic Behavior of Nonoscillatory Solutions of Some Nonlinear Dynamic Equations on Time Scales

Module 4: Time Response of discrete time systems Lecture Note 2

Ch.1. Group Work Units. Continuum Mechanics Course (MMC) - ETSECCPB - UPC

Olaru Ion Marian. In 1968, Vasilios A. Staikos [6] studied the equation:

Lecture 10: Wave equation, solution by spherical means

Mild solutions for semi-linear fractional order functional stochastic differential equations with impulse effect

4.6 One Dimensional Kinematics and Integration

SOLUTIONS TO ECE 3084

Oscillation of an Euler Cauchy Dynamic Equation S. Huff, G. Olumolode, N. Pennington, and A. Peterson

Omega-limit sets and bounded solutions

On Oscillation of a Generalized Logistic Equation with Several Delays

Zürich. ETH Master Course: L Autonomous Mobile Robots Localization II

Y 0.4Y 0.45Y Y to a proper ARMA specification.

Fractional Method of Characteristics for Fractional Partial Differential Equations

MATH 128A, SUMMER 2009, FINAL EXAM SOLUTION

Stochastic Reliability Analysis of Two Identical Cold Standby Units with Geometric Failure & Repair Rates

Instructor: Barry McQuarrie Page 1 of 5

Chapter 5: Control Volume Approach and Continuity Principle Dr Ali Jawarneh

Let ( α, β be the eigenvector associated with the eigenvalue λ i

Transcription:

Te Hille-Yosida Teorem We ave seen a wen e absrac IVP is uniquely solvable en e soluion operaor defines a semigroup of bounded operaors. We ave no ye discussed e condiions under wic e IVP is uniquely solvable. However, i is clear a S() is some sor of generalized version of epa were A is an unbounded operaor. To see is connecion beween S() and e eponenial of A, consider e scalar equaion u au, u0 u 0. Ten u Su 0 e a u 0. In is simple siuaion, we ave also i.e., ûs Lu 0 e s e a u 0 d u 0 sa ; ûs 0 e s Su 0 d sa 1 u 0 1 s u 0. We will see is resul appear again in a more general seing. An eample more general an is is provided by e sysem of linear ODE s X AX X 0 X 0, were A denoes an n by n symmeric mari of consans. Ten e soluion o is sysem is given by X n k1 X 0,V k e k V k were k,v k denoe e eigenvalues and normalized eigenvecors of A. Ten X n k1 n k1 n k1 X 0,V k X 0,V k X 0,V k k m m0 m! V n k k1 m m0 m! Am V n k k1 e A V n k e A k1 X 0,V k X 0,V k m m0 m! k m V k A m m0 m! X 0,V k V k e A X 0. We observe a e A A m and, in fac, wen A is a bounded linear operaor on a m0 m! Hilber space H (as is e case in is eample for H R 1 ) en we can epec a S lim M M m0 For any fied value of, we ave S M S N LH M mn A m m! m m! A m LH. lim M S M. 0 as M,N so e meaning of S lim M S M is o be undersood as a limi in e complee normed V k 1

linear space, LH. Clearly e limi S saisfies S0 I and S SS since ese equaliies old for every S M. Also, an easy calculaion wi e series sows a and S I LH A LH e A L S I A LH A LH S I LH. We say, in is case, a e semigroup S is uniformly coninuous on H. Of course, all is is rue under e assumpion a A is bounded. On e oer and wen A is unbounded, since DA n1 DA n, i may be a e domain in e infinie sum srinks o zero. We could make use of e fac a Su 0 solves o wrie u Au, u0 u 0, u u Au IAu from wic we find u I n A n u 0 n, n 1,2,.... Since we are again ieraing an unbounded operaor, e difficuly of e srinking domain as no disappeared. However, if we wrie en u u Au or IAu u, u IA 1 u and u I n A n u 0 so in is case we are ieraing a bounded operaor, IA 1. Te poin of is discussion is jus a i is plausible a we will be able o find a meaningful definiion for e A even wen A is unbounded bu we mus be careful ow we do i. Of course, ere mus also be some resricions on A. We will now sae and prove a eorem giving a se of necessary and sufficien condiions on A in order a A generaes a C 0 semigroup. Teorem (Hille-Yosida) Te following saemens are equivalen: 1. A : D A H generaes a C 0 semigroup of conracions on H 2. a) A is closed and densely defined b) 0 A : D A H is one o one and ono wi A 1 LH 1 Proof- We already sowed in a previous lemma a if B A, generaes a C 0 semigroup, en B A is closed and densely defined. We also found a 2

i Su 0 u 0 0 S Bu0 d u 0 D A D B ii S 0 B S d H. Now, for any 0, T e S is a C 0 semigroup of conracions a is generaed by B I, D BI D B. Apply e resuls i,ii o T o ge Tu 0 u 0 e Su 0 u 0 0 e SB Iu 0 d u 0 D A D B and T e S 0 e B I S d H. Now le and use e fac a A B is closed o conclude u 0 0 e SIBu 0 d u 0 D A D B 0 IB e S d IB 0 e S d H. Ta is, u 0 D A u 0 0 e SIAu 0 d i.e., IA is 1-1 H IA 0 e S d IA z, z D A i.e., IA is ono Finally, implies IA 1 0 e S d IA 1 H 0 e d S H 0 e d H 1 H Tis proves a 2)a),b) are necessary condiions if A is o generae a C 0 -semigroup of conracions. Noe a and IA 1 0 e S d LS, IA 1 H 1 H wic generalizes e analogous resul observed earlier for e scalar equaion. Now we suppose A saisfies 2)a),b) and we will sow A generaes a C 0 -semigroup of conracions, S(). We will accomplis is by approimaing A by a bounded linear operaor A and sowing A LH A A in H as D A e A S in LH as H. Now if A saisfies 2a) and 2b) en IA : D A H is bijecive for 0 so a IA 1 eiss. Ten we may define A : AIA 1 a bounded operaor wic will be sown o be an approimaion o A. Lemma 1 Under e condiions 2a) and 2b), e operaor A LH, 0 and 3

a. A I 2 IA 1 b. A H A H D A c. A A in H as D A Proof of lemma- For D A wrie AIA 1 I IA A 2 A 2. i.e., A I z 2 IA 1 z z H or A z z 2 IA 1 z z H. For D A, 2b) implies A H AIA 1 A H H. If we combine ese wo resuls, we ge IA 1 zz 1 H A z H 1 A z H z D A from wic i follows a IA 1 z z in H as z D A. Bu D A and IA 1 is uniformly bounded on H by 2b) ence, by coninuiy, IA 1 z z in H as z H. Ten A IA 1 A A in H as D B. is dense in H Since A LH, 0 we can define S e A n n A n0 n! for 0, 0. Lemma 2 Under e condiions 2a) and 2b), for eac 0, S : 0 is a srongly coninuous semigroup of conracions on H wi generaor equal o A. For eac D A S converges in H as. Moreover, e convergence is uniform in on all bounded inervals 0,T. Proof of lemma- Lemma 1a) implies S e A e e 2 A 1 resul of ypoesis 2b) S LH e e 2 A 1 LH e e 1. and en we ave as a Tus S is a srongly coninuous semigroup of conracions on H. Also and Ten d S d A S S S 0 d S ds ss s ds S 0 ss sa A ds. S S H A A H 0,, 0, D A. 4

i.e., S is a Caucy sequence in H, uniformly in 0,T. To complee e proof of e eorem, observe a eac S is a conracion and D A dense in H, so e limi S S in H as, 0 eends o all in H, and olds uniformly in 0,T. Since every S is a srongly coninuous conracion, clearly S LH is a conracion and in addiion, since e convergence is uniform in on bounded inervals, 0,T, i follows a S is srongly coninuous. Te semigroup ideniy also olds since S S S S ec. Ten S is a srongly coninuous semigroup of conracions on H. Now for D A and 0, and as, is becomes S 0 S A d 0, S 0 SAd and is implies a e generaor B of S() is an eension of A. Bu we ave assumed a IA is ono and since B is e generaor of S(), IB is one o one. Ten IBD A IAD A H, wic is o say, IB 1 H D A or B A. Now we can prove: Teorem- Eisence and Uniqueness for e IVP Suppose A generaes S, a srongly coninuous semigroup of conracions on H. Ten for any u 0 D A, u Su 0 saisfies i u C 0 0,; H C 1 0,; H, ii u Au 0, 0, iii u0 u 0 and u is unique. Proof- We ave already sown a for S, a srongly coninuous semigroup and u 0 D A, Su 0 saisfies i) and iii), and moreover, d Su d 0 BSu 0 ASu 0 Te Hille-Yosida eorem sows a if A en u 0 D A generaes a srongly coninuous semigroup, is or Tis implies IA 1 1 H H 0, H, 2 z 2 2 H IAz H 0, z D A. 2Az,z H A z H 2 0, z D A 5

or Az,z H 0 z D A. Ten A is accreive and u Su 0 is unique. Corollary- Suppose A generaes S, a srongly coninuous semigroup of conracions on H. Ten for any u 0 D A,and every f C 1 0,T; H, e unique soluion of u Au f, 0 T, u0 u 0, is given by u Su 0 0 S sfsds. Proof- Le g 0 S sfsds. Ten g0 0 and g g 0 S sfsds 0 S sfsds Dividing by 0 and leing 0, we find 0 Sf ds0 Sf ds 0 Sf f ds Sf ds g 0 Sf dssf0, wic sows a g is differeniable. Bu, and, as 0, g g 1 0 S I S I S sfsds 0 S sfsds 0 S sfsds 1 S sfsds g 1 S sfsds g g g and 1 S sfsds S0 f f. Since ese limis eis, i follows a e limi lim 0 S I g eiss and equals Ag. Ten we conclude g f Ag, and g saifies g Ag f, 0,T and g0 0. Evidenly, u Su 0 g solves e inomogeneous IVP. Tis soluion is unique since if ere are wo suc soluions, eir difference saisfies e IVP wi f 0, u 0 0, and en is difference is zero since A is accreive. 6

Eamples- 1. Consider e Banac space X L 1 0, wi A d d, D A u X : Au X.Tis corresponds o solving e following iniial value problem, u Au u, u, 0, u,0 u 0 D A Noe a if u and u Au bo belong o X, en u 0 as. Ten i follows a for 0, and u D A IAu u u 0 implies u 0; i.e., u Ce and u 0 as if and only if C 0. Ten IA 1 eiss. In fac, IAu v u Ce 0 e y vy dy, were u D A if C 0 e y vy dy. Ten we ave, u e y vy dy 0 e z v z dz IA 1 v. Noe a IA 1 v X e y 0 vy dy d 0 e y vy dyd y 0 e y 0 vy d dy 1 0 1e y vy dy 1 v X If we ake A o be a closed eension of e indicaed operaor en we ave an operaor a saisfies e ypoeses of e Hille Yosida eorem and i follows a -A generaes a C 0 semigroup of conracions on X. Noe a e equaion a e boom of page 3 implies IA 1 v 0 e v d 0 e Sv d, from wic i follows a for, 0, Sv v for v X. Ten e soluion of is given by speed one. u Au u, u, 0, u,0 u 0 D A u, Su 0 u 0. Tis is a wave ravelling from rig o lef wi 2. Consider e Banac space X L 1 0, wi A d d, D A u X : Au X, u0 0.Tis corresponds o solving e following iniial-boundary value problem, u Au u, u, 0, u,0 u 0 D A u0, 0, 0, Ten i follows a for 0, and u D A IAu u u 0 implies u 0 7

since u Ce and u0 0 implies C 0. Ten IA 1 eiss. In fac, IAu v, u0 0 u e y 0 vy dy IA 1 v. Ten and IA 1 v X e y 0 0 vy dy d 1 v X IA 1 v e y 0 vy dy e 0 Sv d. Bu 0 e y vy dy 0 e v d ence 0 e v d 0 e Sv d. Ten Sv v if 0 if 0, and e soluion of e iniial boundary value problem is given by u, Su 0 u 0 if 0 0 if Tis is a wave ravelling from lef o rig wi speed one. 8