On Semigroups Of Linear Operators

Size: px
Start display at page:

Download "On Semigroups Of Linear Operators"

Transcription

1 On Semigroups Of Linear Operators Elona Fetahu Submitted to Central European University Department of Mathematics and its Applications In partial fulfillment of the requirements for the degree of Master of Science Supervisor: Assoc. Prof. Dr. András Bátkai Eötvös Loránd University Department of Applied Analysis and Computational Mathematics Budapest, Hungary 214

2 Contents Introduction 2 1 Examples of semigroups Motivation Matrix semigroups Multiplication semigroups Translation Semigroups Notes Abstract theory Basic properties Generation Theorems The Hille-Yosida Theorem The Feller-Miyadera-Phillips Theorem Notes Bibliography 32 1

3 Introduction Consider the Cauchy problem { u (t) = Au(t), t, u() = x, where A = (a ij ) is an n n matrix with a ij C for i, j = 1, 2,..., n, and x is a given vector in C n. It is well-known that the above Cauchy problem has a unique solution given by u(t) = e ta x, t, where e ta represents the fundamental matrix of the linear differential system u (t) = Au(t) which equals I for t =. We have e ta = k= t k k! Ak, valid for all t R. Here A and e ta can be interpreted as linear operators, A L(X), e ta L(X), where X = C n, equipped with any of its equivalent norms. Note that the family of matrices (operators) {T (t) = e ta, t } is a (uniformly continuous) semigroup on X = C n. Even more, {T (t), t } extends to a group of linear operators, {e ta, t R}. The representation of the solution u(t) as (1) u(t) = T (t)x, t, allows the derivation of some properties of the solution from the properties of the family {T (t), t }. This idea extends easily to the case in which X is a general Banach space and A is a bounded linear operator, A L(X). If A is a linear unbounded operator, A : D(A) X X, with some additional conditions, then one can associate with A a so-called C -semigroup of linear operators {T (t) L(X), t }, such that the solution of the Cauchy problem is again 2

4 represented by the above formula (1). In this way one can solve various linear PDE problems, where A represents linear unbounded differential operators with respect to the spacial variables, defined on convenient function spaces. It is worth mentioning that the connection between A and the corresponding semigroup {T (t), t } L(X) is established by the well-known Hille-Yosida theorem. Linear semigroup theory received considerable attention in the 193s as a new approach in the study of linear parabolic and hyperbolic partial differential equations. Note that the linear semigroup theory has later developed as an independent theory, with applications in some other fields, such as ergodic theory, the theory of Markov processes, etc. This thesis is intended to present fundamental characterizations of the linear semigroup theory and to illustrate them by some interesting applications. Structure of the Thesis In Chapter 1, we give some important examples of semigroups, theorems related to them and their connection to differential equations. First, we present an example about strongly continuous semigroups, second, multiplication semigroups and we conclude with translation semigroups. In Chapter 2, we start with an introduction of the theory of strongly continuous semigroups of linear operators in Banach spaces, then we associate a generator to them and illustrate their properties by means of some theorems. Hille-Yosida generation theorem characterizes the infinitesimal generators of these strongly continuous one-parameter semigroups, by providing a necessary and sufficient condition for an unbounded operator on a Banach space to be a generator. This theorem will be stated and proved on the last part of the thesis and then proceeded by the Feller- Miyadera-Phillips theorem, which is the general case of it. In the end of each chapter, a section of notes will be provided, where we identify our sources and suggest further reading. 3

5 Chapter 1 Examples of semigroups In this chapter we are going to describe the matrix valued function T ( ) : R + M n (C) which satisfies the functional equation (1.1) discussed on Section 1.1. We will see that, for A M n (C), the continuous map R + t e ta M n (C) satisfies the functional equation and that e ta forms a semigroup of matrices depending on t R +. We call {T (t) := e ta ; t } the (one-parameter) semigroup generated by the matrix A M n (C) and we are done with the first example on semigroups. After this, we will proceed with the next two examples, namely multiplicative semigroups and translation semigroups. 1.1 Motivation Exponential function e x, where x C, is one of the most important functions in mathematics and can be expressed by power series e x = n= x n n! = 1 + x + x2 2! + x3 3! + or as a limit e x = lim (1 + x ) n. n n Consider the following functional equation (1.1) { u(t + s) = u(t)u(s), t, s, u() = 1 where u( ) : R + C. It is easy to see that the exponential functions t e ta, a C, satisfy this equation. Furthermore we pose the problem in finding the solution of 4

6 the initial value problem (IVP) { d u(t) = au(t), t dt u() = 1. Again we see that u(t) = e ta, a C satisfies this (IVP) and later we will show that actually this solution is unique. In the exponential function if we put instead of x the matrix A M n (C) = L(X), we can write the exponential of A in the form (1.2) e A = k= 1 k! Ak = I + A + A2 2! + A3 3! +. e A is called the matrix exponential. Proposition 1.1. The matrix exponential e A is convergent. Proof. Let A L(X) and A = max AB = max 1 j n max 1 k n n i=1 n i=1 By induction we will have 1 j n i=1 (AB) ij = max 1 j n A ik max 1 j n n A ij. For all A, B L(X) we have n n i=n k=1 n B kj = A B. k=1 A k A k, k N. A ik B kj max 1 j n n i=1 n A ik B kj k=1 Thus, e A = k= A k k! k= A k k! A k k= k! = e A <. Below we prove some properties of the matrix exponential. Properties 1.2. Let A, B L(X), I and be the identity and matrices respectively, i) If AB = BA then e A e B = e A+B, ii) e (t+s)a = e ta e sa for all t, s, 5

7 iii) e = I. Proof. (i) e A e B = ( I + A A2 + 1 ) ( 3! A3 + I + B B2 + 1 ) 3! B3 + = I + B B ! B3 + A + AB AB A A2 B + 1 3! A3 + = I + (A + B) (A + B) ! (A + B)3 + = e A+B. (ii) t k A k k= k! s k A k = k! k= n n= k= t n k A n k s k A k (n k)!k! = (t + s) n A n. n! Next, we use the fact that matrix A = is diagonal and its exponential can be obtained by exponentiating each element of the diagonal, namely, (iii) e = diag(e, e,, e ) = I. n= By the proceeding theorem we will show the relation between the matrix exponential and the differential equations. Using Picard iteration, we are going to prove that the solution to the initial value problem (1.3) exists and it is of matrix exponential form. Actually, by Proposition 1.5, this solution is unique. Theorem 1.3. There exists a solution u(t) of matrix exponential form to the initial value problem { d u(t) = Au(t), t (1.3) dt u() = u, where A M n (C) and u is a given number. Proof. Using Picard iteration, u (t) = u u 1 (t) = u + u 2 (t) = u +. u n (t) = n t j A j u. j! j= Au (s)ds = u + Au ds = u + tau Au 1 (s)ds = u + Au ds + A 2 u sds = u + tau + t2 2 A2 u 6

8 Take n, we get (1.4) u(t) = lim n u n (t) = j= t j j! Aj u. As defined in (1.2) we have the matrix valued function to be t j A j j= j! = e ta. This suggests that e ta u is the solution of (1.3). Actually, plugging (1.4) into the differential equation (1.3), we see that the differential equation with initial condition is satisfied. Next we see another proof which shows that e ta is differentiable. Theorem 1.4. e ta is differentiable and its derivative is Ae ta. Proof. From the definition of the norm we know that A = max{ A ij 1 i, j n}. For any two matrices A, B L(X), denote by (AB) ij the element of the ith row and jth column of the product matrix AB. Note that n n (1.5) (AB) ij = A ik B kj A ik B kj n A B. k=1 For e ta to be differentiable we need to have We claim that lim h (eha I) h = A. k=1 d e (t+h)a e ta dt eta = lim h h (e ha I) = lim e ta. h h (1.6) e ha I h A = I + ha 1 + (ha)2 2! + (ha)3 3! + I h A = h 2! A2 + h2 3! A3 +. 7

9 Using the property in (1.5) we will estimate the series (1.6) ( ) h 2! A2 + h2 3! A h(a2 ) ij + 1 3! h2 (A 3 ) ij + Take h ij 1 2 h n A ! h 2 n 2 A 3 + ( 1 = A 2 h n A + 1 ) 3! h 2 n 2 A 2 + = A ( e h n A 1 h n A ) h n A ( ) e h n A 1 = A h n A 1. e h n A 1 lim h h n A 1 = d dx ex x= 1 = 1 1 =. So (1.6) is equal to, proving the claim that lim d dt eat = Ae ta. (eha I) h h = A and consequently As a conclusion to what we discussed above, we showed that applying Picard iteration to the differential equation (1.3) and the differentiability of e ta proved on Theorem 1.4, indicate that the solution of (1.3) exists and is of matrix exponential form. Proposition 1.5. The solution to the initial value problem (1.3) is unique. Proof. Indeed, suppose there are two solutions satisfying (1.3). The second one is { d v(t) = Av(t), v dt v() = u. We want to show that u(t) = v(t). Define z(t) = e ta v(t) dz(t) = Ae ta v(t) + e ta v (t) = Ae ta v(t) + e ta Av(t) =. dt So z(t) is constant. For t It can be seen that So the solution is unique. z(t) = e ta v(t) = u. v(t) = e ta u = u(t). 8

10 Remark 1.6. We may pose the same problem in a Banach space. Let the vector space X be a Banach space over C (or R), so X is equipped with a norm and is complete with respect to the norm, let A be an operator in L(X), where L(X) is the space of all bounded linear operators on X and M n (C) be the space of all n n matrices with complex entries. By defining any norm on M n (C) the matrix exponential e ta t k A k = k! is convergent and bounded, namely k= e ta e t A. The solution of (1.3), for A bounded linear operator, exists and is unique, i.e., u(t) = e ta u. The function e ta in M n (C) satisfies the functional equation and forms a semigroup of matrices which depends on the parameter t R +. We call ( e ta) t the (one-parameter) semigroup generated by the matrix A M n (C). See Theorem 2.9 where this is proved Matrix semigroups Now let us show how to compute the matrix semigroups e ta when we have A M n (C) given. We are going to illustrate this by the following cases: i) Let A = diag(a 1,, a n ). The semigroup generated by matrix A is e ta = diag(e ta 1,, e tan ). So what we do here is exponentiating the diagonal elements. ii) Let J m m be a Jordan block λ 1 λ 1. J = λ where λ C. We can decompose J into J = λi + N, where I is the identity matrix and N is 1 1. N =

11 It is easy to see that N m =. From the definition of matrix exponential we know that e tn = m 1 t n N n, namely n! n= e tn = Using the fact that λi and N commute, t 1 t 2 t m 1 2 (m 1)! t 1 t m 2 (m 2)! t 1 e tj = e tλ e tn.. We will consider the above cases and the following theorem to give a full answer to the question on how to find e ta when A is given and conclude that the above cases are sufficient. Theorem 1.7. Let A be a complex n n matrix. There exists a linear change in coordinates U such that A can be transformed into a block matrix, J 1 J 2 U 1. AU = Jl 1 J l where each J has the form J = λi + N as in the above case ii). Proof can be found in the book [16], Chap.3, Thm Multiplication semigroups Let C (R) be a Banach space equipped with sup-norm (uniform or infinity norm) of all continuous, complex-valued functions f C(R) on some bounded or unbounded interval in R that vanish at infinity, namely ɛ >, a compact subsetk ɛ R, such that f(s) < ɛ, s R\K ɛ. 1

12 Definition 1.8. The multiplication operator M q induced on C (R) by some continuous function q : R C is defined by M q f = q f, f D(M q ) D(M q ) = {f C (R) : q f C (R)}. In the following proposition we are going to state and prove some properties of the multiplication operator M q which are related to the continuous function q. Proposition 1.9. Let M q with domain D(M q ) be the multiplication operator induced on C (R) by some continuous function q, then the following hold: i) M q is closed and densely defined. ii) M q is bounded (with D(M q ) = C (R)) iff q is bounded. In that case one has M q = q := sup q(s). s R iii) M q has a bounded inverse iff q has a bounded inverse 1, i.e, / q(r). In that q case one has Mq 1 = M 1. iv) The spectrum of M q is the closed range of q, i.e, σ(m q ) = q(r). Proof. i) By definition the operator M q : D(M q ) C (R) C (R) is said to be closed if for every sequence {f n } D(M q ) such that f n f C (R) and M q f n g C (R) we have f D(M q ) and M q f = g. Actually, having f n converging to f such that lim qf n := g, since convergence in norm implies n pointwise convergense, we get g = qf = M q f and f D(M q ). To show that M q is densely defined it is enough to show that the continuous functions with compact support C c (R) := {f C(R) supp f is compact} are dense in C (R), because of the fact that C c (R) D(M q ) C (R). For every compact subset K in R we can find h K C(R) with compact support where h K 1 and h K = 1, s K. So for every f C (R), f f h k = sup f(s)(1 h K (s)) 2 sup f(s) s R\K s R\K meaning that for every K R the functions f h K with compact support in R, are dense in C (R), that is what we wanted to prove. 11 q

13 ii) Let M q be bounded and f s be a continuous function with compact support such that f s = 1 = f s (s), s R. Then M q M q f s q(s)f s (s) = q(s). Let q be bounded and f C (R), then M q f = sup q(s)f(s) q f. s R So having M q q and M q q we conclude M q = q = sup q(s). s R iii) / q(r) means that the inverse of q which is 1 is also a continuous and q bounded function. The inverse of multiplication operator M q is M 1. q Let M q have a bounded inverse Mq 1. Then we have For f = 1 f = Mq 1 M q f Mq 1 M q f, f D(M q ). δ := 1 M 1 q sup q(s)f(s). s R Suppose inf < δ, there will exist an open set A R, where q(s) < δ for all s R 2 2 s A. There will exist a function g C (R) such that g (s) = for all s R\A and g (s) = 1 for all s B where B is closed subset of A. We have sup s R q(s)g (s) sup q(s)g (s) δ s A 2 which is a contradiction to what we supposed. So q(s) must be in < δ q(s) 2 for all s R and M 1 is bounded and it is the inverse of M q, namely q [ ] M 1 (M q f) (s) = 1 q q(s) (M qf)(s) = f(s) iv) λ σ(m q ) iff λi M q is not invertible. [ ] (M q f)m 1 (s) = (M q f)(s) 1 q q(s) = f(s). M λ q f = (λ q)f = λf M q f = (λ M q )f, f C (R). Thus, λi M q = M λ q 12

14 is not invertible. σ(m q ) q(r) : By iii) we know that the operator M λ q has a bounded inverse 1 iff λ q has a bounded inverse, i.e., / λ q(r), meaning that λ / q(r). λ q So M λ q does not have a bounded inverse iff λ q(r). σ(m q ) q(r) : Trivial by the definition. Definition 1.1. Let q : R C be a continuous function such that supreq(s) <. s R Then the semigroup {T q (t); t } defined by T q (t)f := e tq f, for t and f C (R) is called the multiplication semigroup generated by the multiplication operator M q (or the function q) on C (R). The exponential functions s e tq(s), t, where s R and q : R C is any continuous function, satisfy the functional equation (1.1). The multiplication operators T q (t)f = e tq f must be bounded on C (R) so one can get one-parameter semigroup on C (R), namely e t sup Req(s) s R <. Proposition The multiplication semigroup {T q (t); t } generated by q : R C is uniformly continuous iff q is bounded. Proof. First, given that q is bounded, by the Proposition 1.9 the operator M q will be bounded and T q (t) = e tq = e tmq. As e tmq is uniformly continuous, then T q (t) is uniformly continuous. Suppose q is unbounded. We want to show here that T q () T q (t n ) does not converge to. Define t n = 1, where (s qs(n) n) n N R is any sequence such that q(s n ) is divergent as n. So we will have t n q(s n ) = 1. Exponentiating this function we get e tnq(sn) 1, so δ > such that 1 e tnq(sn) δ, n N. Let f n = 1 = f n (s n ), for f n C (R), then T q () T q (t n ) f n e tnq f n 1 e tnq(sn) δ. So T q () T q (t n ) does not converge to as n, that is {T q (t); t } is not a uniformly continuous semigroup. 13

15 Theorem Let {T (t); t } be the multiplication semigroup generated by a continuous function q : R C, satisfying sup Re q(s) <. Then the mappings s R are continuous for every f C (R). R + t T q (t)f = e tq f C (R) Proof. Let f C (R) such that f 1. For ɛ >, let K be a compact subset of R, where ɛ f(s), s R\K. e sup s R Req(s) + 1 There exists t (, 1] such that Then for all t t, e tq(s) 1 ɛ, s K and t t. e tq f f sup( e tq(s) 1 f(s) ) + (e sup s R Req(s) + 1) sup f(s) 2ɛ. s K s R\K That is e tq f is continuous for every f C (R). So this theorem means that for the multiplication semigroups {T (t); t }, generated by an unbounded continuous function q : R C, where sup Re q(s) <, s R although we can not achieve a one-parameter semigroup that is uniformly continuous, we can achieve continuity property. In the following proposition we see that if a semigroup is composed of multiplication operators T (t)f := m t f on C (R), for t, and the mappings R t T (t)f C (R) are continuous for every f C (R), then there exists a continuous function q : R C, whose real part is bounded form above, such that the semigroup defined by T q (t)f := e tq f, for t and f C (R), is a multiplication semigroup. Proposition For t, let m t : R C be bounded continuous functions and assume that i) the multiplication operators T (t)f := m t f form a semigroup {T (t); t } of bounded operators on C (R), ii) the mappings are continuous for every f C (R). R t T (t)f C (R) 14

16 Then there exists a continuous function q : R C, where sup Req(s) < such that s R m t (s) = e tq(s), s R, t. Proof can be found in book [4], Chap. 1, Prop Translation Semigroups Translation semigroups are another very good example which satisfy the semigroup properties and produce one-parameter operator semigroups whose continuity properties depend on the space on which we are working on. First of all let us define them. Definition For a function f : R C and t, we call the left translation (of f by t), while is the right translation (of f by t). (T l (t)f)(x) := f(x + t), x R, (T r (t)f)(x) := f(x t)), x R, Let X := C (R) be the Banach space of all continuous functions on R vanishing at infinity. Define the operator T (t) (T (t)f)(x) := f(t + x) where x, t R and f X. The translation of the function f satisfies the semigroup properties, namely T (t + s) = T (t)t (s) and T () = I. Furthermore since we have that lim sup t + x R f(t + x) f(x) = lim T (t)f = f t + forming so a translation semigroup {T (t); t } on R which is continuous. Actually, since T (t)f = f, we have to do here with a contraction semigroup. Note that T (t) I sup T (t)f f = sup sup f(s + t) f(s) f 1 f 1 s R does not converge to, so the semigroup is not uniformly continuous. So the translation operators define strongly continuous semigroup on the space C (R). 15

17 Notes The matrix valued exponential functions as solutions of linear differential equations are treated in books about ordinary differential equations (see [Coddington [3], Chap. 1., pg. 1-32],[Hartman [8], Chap.4., pg. 7-92],[Teschl [16], Chap. 3., pg ]). Also we may find the material about matrix exponentials in texts about matrix analysis (Gantmacher [[6], Chap. 4., pg ]), or some other books on semigroups like for e.g, [Engel [5], Chap. 1, Sec. 1 and 2], or books about functional analysis (Schechter [[15], Chap. 1., pg ], [Rudin [14], Prologue, pg. 1-4]). The multiplication operators and multiplication semigroups can be found in (Engel [[5], Chap. 1, Sec. 4, pg ], [Nagel [4], Chap. 1, pg ], [Nagel [12], Chap. C-II., pg ]). Translation semigroups appear in ([Engel [5], Chap. 1, Sec. 4, pg ], [Nagel [4], Chap. 1, pg. 3-34], [Nagel [12], Chap. B-II., pg ]). 16

18 Chapter 2 Abstract theory As described in the examples of the first chapter, we see that although a semigroup may have the continuity property, it does not mean that it will be uniformly continuous, making so the uniform continuity a very strong property for the semigroups. Still we notice that in Theorem 2.17 the strong continuity holds, giving us a good reason to dedicate a chapter to the theory about them. We will start with the definitions, go on with the properties of the strongly continuous semigroups of bounded linear operators and conclude with the generation theorems of strongly continuous semigroups of closed linear operators. 2.1 Basic properties In this section we are going to describe some definitions, theorems, corollaries, which provide us with some properties of the semigroups. Definition 2.1. A semigroup is a pair (S, ), where the set S and is a binary associative operation on S and : S S S. That is x, y, z S, we have (x y) z = x (y z). Example 2.2. Set of all natural numbers N = {1, 2, 3, } forms the semigroup (N, +) under addition and (N, ) under multiplication. Example 2.3. Consider the Cauchy problem { u (t) = Au(t), t, u() = x, where A L(X) and x is a given vector in C n. From Theorem 1.3 and Proposition 1.5 the above Cauchy problem has a unique solution given by u(t) = e ta x, t, 17

19 where e ta represents the fundamental matrix of the linear differential system u (t) = Au(t) which equals I for t =. Let X be a Banach space over C with norm and let L(X) be the set of all linear bounded (continuous) operators T : D(T ) = X X. L(X) is also a Banach space with respect to the operator norm, T = sup{ T x : x X, x 1}. Further on we proceed with the definitions of strongly continuous semigroup. Definition 2.4. A semigroup is called the one parameter family {T (t); t } L(X) satisfying: T (t + s) = T (t)t (s), t, s > where I is the identity operator on X. T () = I, Definition 2.5. A C -semigroup (or strongly continuous semigroup, or a semigroup of class C ) is called the one parameter family {T (t); t } of bounded linear operators from X to X if T (t + s) = T (t)t (s) t, s > T () = I lim T (t)x x =, x X. t + Definition 2.6. The family {G(t), t R} L(X) is said to be a group if G(t + s) = G(t)G(s), t, s R G() = I. {G(t), t R} L(X) is said to be a C -group if we add to the above definition the continuity property lim G(t)x x =, x X. t + Definition 2.7. The one parameter family {T (t); t } satisfying: T (t + s) = T (t)t (s) t, s > T () = I lim T (t) I = t + is called a uniformly continuous semigroup of bounded linear operators. 18

20 Note that uniformly continuous semigroups are a subset of strongly continuous semigroups, because of the third condition of the uniformly continuous semigroups which is much stronger than the third condition of the strongly continuous semigroups. Definition 2.8. The linear operator A : D(A) X X is called the infinitesimal generator of the semigroup {T (t); t } if it satisfies Ax = lim h + 1 (T (h)x x), x X h where D(A) is the set of all x X such that the above limit exists. This definition tells us how to find the (infinitesimal) generator A when the semigroup {T (t); t } is given, that is by differentiating the semigroup {T (t); t } as t tends to, namely d dt T (t) t== Ae ta t= = A. Theorem 2.9. Let us have a bounded operator A from X to X, then {T (t); t }, where T (t) = e ta = ta n, is a uniformly continuous semigroup. n! n= Proof. Given that A is a bounded operator, this means that A < and e ta = (ta) n n= converges to the bounded linear operator T (t) for every t. Lets check whether the power series fulfills the conditions to be a semigroup and even more a uniformly continuous semigroup. First of all check T (t + s) = T (t)t (s): ( ) ( t i ) s j = i! j! i= j= n! (t + s) k. k! k= Secondly, T () = I, where I is the identity operator in X. This is obvious. The last thing we need to check is the condition of uniformly continuous semigroup lim T (t) I =. t + (ta) n T (t) I = n! t n A n = e t A 1 +. n! t n=1 n= 19

21 Adapting the proof of Theorem 1.4 we will show that We claim that lim h (eha I) h = A. (2.1) e ha I h d e (t+h)a e ta dt eta = lim h h A = I + ha 1 + (ha)2 2! + (ha)3 3! + I h (e ha I) = lim e ta. h h Using the property in (1.5) we will estimate the series (2.1) ( ) h 2! A2 + h2 3! A h(a2 ) ij + 1 3! h2 (A 3 ) ij + Take h ij A = h 2! A2 + h2 3! A h n A ! h 2 n 2 A 3 + ( 1 = A 2 h n A + 1 ) 3! h 2 n 2 A 2 + = A ( e h n A 1 h n A ) h n A ( ) e h n A 1 = A h n A 1. e h n A 1 lim h h n A 1 = d dx ex x= 1 = 1 1 =. So (2.1) is equal to, proving the claim that lim d dt eat = Ae ta. (eha I) h h = A and consequently Now we pass to some theorems related to C semigroups. Theorem 2.1. Let {T (t), t } L be a C -semigroup, then there exist M 1, ω R such that T (t) Me ωt, t. Proof. First, we prove that there exists δ > such that T (t) is bounded for t δ. Suppose this is not true. So, there must exist a sequence (t k ), where t k, lim t k =, such that T (t k ). By the condition of the continuity of n the function t T (t)x we may compute T (t k )x T (t k )x x + x M + x, t [, δ] 2

22 where x X, k N, M. By the Uniform Boundedness Theorem we have that T (t k )x is bounded which is a contradiction, so T (t) M. We know that T () = I = 1, which means that M 1. t we can do the following t = nδ + r, t, r < δ, n N. From the semigroup we use the property that T (t + s) = T (t)t (s), t, s, namely, T (t) = T (δ) n T (r) T (δ) n T (r) M n+1 MM t/δ = Me ωt where ω = lnm δ. Corollary Let {T (t), t } L be a C -semigroup, then for each x X, t T (t)x is a continuous function from [, ) to X. Proof. The following proof will again use the properties of the C -semigroup and the previous theorem 2.1. We will show that the t T (t)x is continuous from the right and the left. For t, h we have, T (t + h)x T (t)x = T (t)[t (h)x x] T (t) T (h)x x Me ωt T (h)x x for h t we have, T (t h)x T (t)x = T (t h)x T (t h + h)x = T (t h)x T (t h)t (h)x implying that t T (t) is continuous. T (t h) x T (h)x Me ω(t h) x T (h)x Theorem Let {T (t); t } be a C -semigroup and A its infinitesimal generator. Then a) For each x X, b) For each x X, and 1 lim h h +h t T (s)xds = T (t)x. T (s)xds D(A) ( ) A T (s)xds = T (t)x x. 21

23 c) t, x D(A) we have, and (2.2) d) For each x D(A), T (t)x T (s)x = T (t)x D(A) d T (t)x = AT (t)x = T (t)ax. dt s T (τ)axdτ = s AT (τ)xdτ. Proof. a) From the Corollary 2.11 above we know that t T (s)x is a continuous function. From this follows a). b) For x X and t >, T (h) I h T (s)xds = 1 h = 1 h = 1 h [+h h +h t [T (s + h)x T (s)x]ds ] T (s)xds T (s)xds T (s)xds 1 h T (s)xds. As h the right hand side goes to T (t)x x, namely 1 lim (T (h) I) h + h c) For t, h > and x D(A), 1 T (t)ax = lim T (t)[t (h)x x] = lim h + h So we have T (t)x D(A) and T (s)xds = T (t)x x. h + 1 AT (t)x = T (t)ax. Lets compute the right derivative of T (t)x [T (h)t (t)x T (t)x]. h 1 lim [T (t + h)x T (t)x] = lim h + h T (t) 1 [T (h)x x] = T (t)ax. h + h This implies that d + T (t)x = AT (t)x = T (t)ax. dt 22

24 Lets compute the left derivative of T (t)x [ T (t)x T (t h)x T (t)ax T (h)x x h = T (t h) T (h)ax] h { } Me ω(t h) T (h)x x Ax h + Ax T (h)ax. So this implies that d T (t)x = T (t)ax. dt Concluding, right and left derivatives exist and are equal to T (t)ax. d) Let s integrate what we have in part c), from s to t, namely, d T (t)x = AT (t)x = T (t)ax dt s d T (τ)xdτ = T (t)x T (s)x = dτ s T (τ)axdτ = s AT (τ)xdτ and we are done with the proof. Theorem Let {T (t); t } be a C -semigroup and let A be its infinitesimal generator. Then 1. D(A) = X (D(A) dense in X, where D(A) is the domain of A); 2. A is a closed linear operator; Proof. 1. We start with proving that D(A) = X. First, show that x X and x t = 1 t T (s)xds one has x t t D(A) and x t x as t +. We have x t D(A) from part b) of the previous theorem and x t x as t + follows from part a) of the theorem. 2. Now lets pass to the proof of A is a closed operator. Let x n D(A) such that for n,we have x n x and Ax n y. T (t)x n x n = lim h + T (s)h 1 [T (h)x n x n ]ds = T (t)x x = T (s)yds, t >. T (s)ax n ds, t >. 23

25 Divide both sides by t > and let t, so x D(A) and y = Ax. Ax = lim t + T (t)x x t 1 = lim t + t T (s)yds = y, Theorem Let {T (t); t } and {S(t); t } be C -semigroups of bounded linear operators. If their infinitesimal generators are the same, then the C -semigroups coincide. Proof. Let x D(A) where A is the common infinitesimal generator. By (2.12) we have d [T (t s)s(s)x] = T (t s)as(s)x T (t s)as(s)x =, s < t. ds From the above equation it can be seen that t > and x D(A), s T (t s)s(s)x is a constant, furthermore T (t)x = S(t)x and T (t) = S(t) on D(A). D(A) = X and we are done with the proof. Now that we got introduced to the generators, we return to the example on translation semigroups from Chap. 1, Sec What we are going to do in the following proposition is to identify the generator (A, D(A)) of the translation semigroup on C (R). Proposition The generator of the left translation semigroup {T l (t), t } on the space X := C (R) is given by Af = f with domain D(A) = {f C (R) : f differentiable and f C (R)}. Proof. We have to show that the generator (B, D(B)) is a restriction of the operator (A, D(A)), so what we need is B A and ρ(a) ρ(b). For the generator (B, D(B)) of the contraction semigroup {T l (t), t } on X, we have that if Reλ > ω, ω R, then λ ρ(b). So for the operator (A, D(A)) we have that λ ρ(a) too. Let f D(B) be fixed, where (B, D(B)) is the generator of {T l (t), t }. For a strongly continuous semigroup {T l (t), t } and x X we know that for the orbit map ψ x : t T l (t)x we have ψ x ( ) differentiable in R +. Furthermore Bx := ψ x(). So for a continuous linear form δ on C (R) we have R + t δ (T l (t)f) = f(t) 24

26 and Bf = d dt T l(t)f t= = d dt f(t, ) t== f. So D(B) D(A) and the restriction of A in D(B) is B, therefore A = B. After introducing the basic definitions and theorems on strongly continuous semigroups of linear operators, we are now ready for the generation theorems. Before going to them we will need to define what is a semigroup of contractions, recall the definition of the resolvent and prove an important lemma. 2.2 Generation Theorems The Hille-Yosida Theorem Let {T (t), t } be a semigroup of linear operators. From Theorem 2.1 we know that there ω R and M 1 such that T (t) Me ωt. In the case when ω = and M = 1 we call T (t) a C semigroup of contractions, namely T (t) 1. Given A a not necessarily bounded linear operator on X, the resolvent set of A is denoted by ρ(a) = {λ λi A is invertible, λ C}. The resolvent of A is called the family R(λ, A) = (λi A) 1, λ ρ(a) of bounded linear operators. Note that for λ C such that R(λ, A)x = e λs T (s)xds exists x X, we call R(λ, A) the integral representation of the resolvent. The integral can be interpreted here as Riemann integral, i.e., R(λ, A)x = lim which can be further written as t (2.3) R(λ, A) = We prove (2.3) later on. e λs T (s)xds, x X e λs T (s)ds Lemma Let A be a closed densely defined operator in D(A), such that the resolvent set ρ(a) of A contains R + and for every λ > we have R(λ, A) 1 λ, then for λ we have i) λr(λ, A)x x for all x X, ii) λar(λ, A)x = λr(λ, A)Ax Ax for all x D(A). 25

27 Proof. i) By the definition of the resolvent of A at the point λ, R(λ, A) := (λ, A) 1, we get that λr(λ, A) AR(λ, A) = I and Then for x D(A) and λ λr(λ, A)x = R(λ, A)Ax + x. R(λ, A)Ax 1 Ax. λ Since D(A) dense in X and λr(λ, A) 1, we have for all x X λr(λ, A)x x. ii) This is a consequence of the first statement, namely lim λr(λ, A)Ax = Ax. λ For every λ > we define the Yosida Approximation of A by λar(λ, A) = A λ = λ 2 R(λ, A) λi So the lemma indicates which bounded operators A λ we have to take in order to approximate the unbounded operator A. The following Hille-Yosida theorem will characterize the generators of strongly continuous one-parameter semigroups of linear operators on Banach spaces. It is a special case on contraction semigroups of the general case Feller-Miyardera-Phillips theorem. Theorem (Hille-Yosida) Let A be a linear unbounded operator, that is A : D(A) X, then the following are equivalent i) (A, D(A)) generates a C -semigroup of contractions. ii) (A, D(A)) is closed, densely defined and for every λ > we have λ ρ(a) and R(λ, A) 1 λ. Proof. i) ii) Theorem 2.13 proves that A is a closed, densely defined operator in D(A). 26

28 Given that {e λt T (t), t R} is a semigroup of contractions R(λ, A)x e λt T (t) x dt e λt x dt 1 λ x where x X and λ >. So we defined a bounded linear operator R(λ, A). For λ >, we have the semigroup of contractions {e λt T (t), t R}. Let s compute its generator A 1 x = lim t + e λt T (t)x x t = lim t + λe λt T (t)x + e λt Ax 1 = λx+ax = ( λi +A)x where A 1 is the generator and namely in this case we have A 1 = λi + A in the domain D(A). By Theorem 2.12 b) we know that for x X, Namely, Let t. ( λi + A) Convergence Theorem, This means that x = (λi A) e λs T (s)xds = e λt T (t)x x, x X. For A being closed, x = (λi A) e λs T (s)xds + e λt T (t)x, x X. By the other side for x D(A) we have e λs T (s)xds D(A). e λs T (s)xds, x D(A). x = (λi A)R(λ, A)x, for x D(A). AR(λ, A)x = A = e λt T (t)xdt = e λt T (t)axdt = R(λ, A)Ax. e λt AT (t)xdt Using the Dominated So for all λ > we have that R(λ, A) is the inverse of λi A, meaning that λ ρ(a). So the conditions ii) are necessary. ii) i) Let the uniformly continuous semigroups be given by T λ (t) := e ta λ, t. where A λ is the Yosida approximation of A and is bounded. e ta λ contractions since is a semigroup of e ta λ = e tλ e tλ2 R(λ,A) e tλ e tλ2 R(λ,A) 1. 27

29 For every x X, λ, η > we know that A λ and A η commute which each other so T λ (t)x T η (t)x = d ds (T λ(t s)t η (s)x)ds t T η (t s)t λ (s)(a λ A η ) ds t A λ x A η x. By Lemma 2.16 we have that for x D(A), e ta λ x converges to T (t)x as λ, because for each x D(A), where D(A) dense in X, T λ (t)x, for λ N converges uniformly on bounded intervals. So we will have lim = λ eta λ x = T (t)x. This implies that the limit family T (t), t satisfies the semigroup property, that is T () = I and T (t) 1, hence is a semigroup of contractions. On the other side t T (t)x, t is uniform limit of continuous functions t e ta λ x, so it is strongly continuous. Let (B, D(B)) be the generator of {T (t), t } and x D(A). On bounded intervals the differentiated functions e ta λ Aλ x converge uniformly to T (t)ax. So the functions t T λ (t)x are differentiable and at point t = we have T λ (t)a λ x = T (t)ax. This implies x D(B) and Ax = Bx, so D(A) D(B). For λ >, by definition of the resolvent we have that λi A : D(A) X is a bijection and λ ρ(a). Since B is the infinitesimal generator of T (t), where T (t) is a contraction semigroup, it follows that λ ρ(b). So λi B : D(B) X is also a bijection. On the other side on D(A) we have (λi A)D(A) = (λi B)D(A) = X so λ B coincides to λ A, implying that D(B) = D(A) and therefore A = B The Feller-Miyadera-Phillips Theorem Theorem Let (A, D(A)) be a linear operator on a Banach space X and let ω R, M 1 be constants. Then the following properties are equivalent i) (A, D(A)) generates a C -semigroup {T (t), t } satisfying T (t) Me ωt, t. ii) (A, D(A)) is a closed, densely defined and for every λ C where Re(λ) > ω we have λ ρ(a) and R(λ, A) n M, n N. (Reλ ω) n 28

30 Proof. ii) i) Let A : D(A) X X be linear operator satisfying (, + ) σ(a) and λ n R(λ, A) n ) M for each n N and λ >. For µ > define the norm µ : X R + by x µ = sup µ n R(µ, A) n x. n N We can see that these norms have the following properties (a) x x µ M x (b) µr(µ, A) µ x µ By the resolvent equation we have R(λ, A)x = R(µ, A)x + (µ λ)r(µ, A)R(λ, A)x = R(µ, A)(x + (µ λ)r(λ, A)x). therefore that is R(λ, A)x µ 1 µ x µ + µ λ µ R(λ, A)x µ. (c) λr(λ, A)x µ x µ for all λ (, µ]. From (a) and (c) and each n N and λ (, µ], we have that (d) λ n R(λ, A) n x λ n R(λ, A) n x µ x µ. For n N and for each λ (, ] the sup λ n R(λ, A) n x gives n N (e) x λ x µ. We can define a norm on X such that satisfies the properties (f) x x M x (g) λr(λ, A)x x for all x X and λ >. Notice that the property (g) satisfies the Hille-Yosida condition on C -semigroups on contractions, so A generates a strongly continuous semigroup of contractions {S(t), t }. S(t)x S(t)x x M x, t, x X. 29

31 so here {S(t), t } is of type (M, ). Considering the general case we will have that the semigroup will be of type (M, ω) with generator A. i) ii) From (2.3), for Reλ > ω and x X we have, Thus by induction d d R(λ, A)x = dλ dλ d n 1 R(λ, A) n x = ( 1)n 1 (n 1)! d n 1 λ 1 = (n 1)! e λs T (s)xds = ( 1)n 1 R(λ, A)x = (n 1)! s n 1 e λs T (s)xds. se λs T (s)xds d n 1 d n 1 λ e λs T (s)xds for Reλ > ω and all x X. From Theorem 2.1 we have that T (t) Me ωt, so R(λ, A) n 1 x = (n 1)! s n 1 e λs T (s)xds 1 s n 1 e Res Me ωs ds x (n 1)! M (n 1)! (n 1)! (Reλ ω) x = M n (Reλ ω) x n for all x X. Assume that ω =. We will try to find a norm equivalent to the one defined above, namely define : X R + by x := sup S(t)x t where {S(t), t } is a C -semigroup. We want to show that actually this is a semigroup of contractions. The norm defined above is equivalent to because it satisfies (f ) x x M x, for all x X. On the other side we have that and the property (g ) S(t)x = sup s S(s)S(t)x sup S(t)x = x, t λr(λ, A)x x. So the semigroup {S(t), t } satisfies the condition of the Hille-Yosida Theorem 2.17 for the norm by generating a C -semigroup of contractions. From the Generation Theorem on semigroups of contractions we have that A is closed, densely defined and for every λ C where Reλ > ω we have λ ρ(a) and R(λ, A) n M for all n N. (Reλ ω) n 3

32 Notes Many books on semigroups give the definitions of strongly continuous semigroups and their properties. On this thesis we refered to ([Bátkai [1], Chap. 1, pg. 3-11], [Goldstein [7], pg. 151], [Nagel [4], Chap. 1 and 2, pg. 1-19, 34-46] and [Pazy [13], Chap. 1, pg. 1-8]). The generation theorem proof is taken from ([Engel [5], Chap. 2, pg., 73-76], [Nagel [4], Chap. 2, pg ], [Hille [9], Chap. 12, pg. 237., Thm ], [Pazy [13], Chap. 1, pg. 8-13], [Vrabie [1], Chap. 3, pg ], [Yosida [18], pg ] ). The Generation Theorem for the general case can be found on (Engel [[5], Chap. 2, pg., 77-79],[Vrabie [1], Chap. 3, pg ]). 31

33 Bibliography [1] A. Bátkai and S. Piazzera, Semigroups for Delay Equations, Research Notes in Mathematics Vol. 1, A. K. Peters, Canada, 25. [2] A. Bellini-Morante and A. C. McBride, Applied Nonlinear Semigroups, John Willey & Sons, Chichester, [3] E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw-Hill, [4] K.-J. Engel and R. Nagel, A Short Course on Operator Semigroups, Springer- Verlag, 26. [5] K.-J. Engel and R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, Springer-Verlag, 2. [6] F. R. Gantmacher, Applications of the Theory of Matrices, Interscience Publishers, [7] J. A. Goldstein, Semigroups of Linear Operators and Applications, Oxford Mathematical Monographs, Oxford Univesity Press, [8] P. Hartman, Ordinary Differential Equations, John Wiley & Sons, [9] E. Hille, Functional Analysis and Semi-groups, American Mathematical Society, [1] I. Vrabie, C -semigroups and applications, North-Holland, 23. [11] Sh. LeVarge, Semigroups of Linear Operators, December, 23. [12] R. Nagel, One-parameter Semigroups of Positive Operators, Lecture Notes in Mathematics, vol. 1184, Springer-Verlag, [13] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer-Verlag,

34 [14] W. Rudin, Real and Complex Analysis, McGrau-Hill International Editions, [15] M. Schechter, Principles of Functional Analysis, Second Ed., American Mathematical Society, Providence, Rhode Island, 29. [16] G. Teschl, Ordinary Differential Equations and Dynamical Systems, American Mathematical Society, 212. [17] J.A. Walker, Dynamical systems and Evolution Equations, Springer, 213. [18] K. Yosida, On the Differentiability and the Representation of One-parameter Semigroups of Linear Operators, Journal of the Mathematical Society of Japan, Vol. 1, No. 1, Sept.,

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction

ANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction ANALYTIC SEMIGROUPS AND APPLICATIONS KELLER VANDEBOGERT. Introduction Consider a Banach space X and let f : D X and u : G X, where D and G are real intervals. A is a bounded or unbounded linear operator

More information

1 Sectorial operators

1 Sectorial operators 1 1 Sectorial operators Definition 1.1 Let X and A : D(A) X X be a Banach space and a linear closed operator, respectively. If the relationships i) ρ(a) Σ φ = {λ C : arg λ < φ}, where φ (π/2, π); ii) R(λ,

More information

Semigroup Generation

Semigroup Generation Semigroup Generation Yudi Soeharyadi Analysis & Geometry Research Division Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung WIDE-Workshoop in Integral and Differensial Equations 2017

More information

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;

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; 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(λ,

More information

Operator Semigroups and Dispersive Equations

Operator Semigroups and Dispersive Equations 16 th Internet Seminar on Evolution Equations Operator Semigroups and Dispersive Equations Lecture Notes Dirk Hundertmark Lars Machinek Martin Meyries Roland Schnaubelt Karlsruhe, Halle, February 21, 213

More information

Wellposedness and inhomogeneous equations

Wellposedness and inhomogeneous equations LECTRE 6 Wellposedness and inhomogeneous equations In this lecture we complete the linear existence theory. In the introduction we have explained the concept of wellposedness and stressed that only wellposed

More information

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,

More information

Semigroups. Shlomo Sternberg. September 23, 2014

Semigroups. Shlomo Sternberg. September 23, 2014 2121407 Semigroups. September 23, 2014 Reminder: No class this Thursday. The semi-group generated by an operator In today s lecture I want to discuss the semi-group generated by an operator A, that is

More information

Introduction to Semigroup Theory

Introduction to Semigroup Theory Introduction to Semigroup Theory Franz X. Gmeineder LMU München, U Firenze Bruck am Ziller / Dec 15th 2012 Franz X. Gmeineder Introduction to Semigroup Theory 1/25 The Way Up: Opening The prototype of

More information

Elliptic Operators with Unbounded Coefficients

Elliptic Operators with Unbounded Coefficients Elliptic Operators with Unbounded Coefficients Federica Gregorio Universitá degli Studi di Salerno 8th June 2018 joint work with S.E. Boutiah, A. Rhandi, C. Tacelli Motivation Consider the Stochastic Differential

More information

Hille-Yosida Theorem and some Applications

Hille-Yosida Theorem and some Applications Hille-Yosida Theorem and some Applications Apratim De Supervisor: Professor Gheorghe Moroșanu Submitted to: Department of Mathematics and its Applications Central European University Budapest, Hungary

More information

Generalisations of Semigroups of Operators in the View of Linear Relations

Generalisations of Semigroups of Operators in the View of Linear Relations D I P L O M A R B E I T Generalisations of Semigroups of Operators in the View of Linear Relations ausgeführt am Institut für Analysis und Scientific Computing der Technischen Universität Wien unter der

More information

Semigroups and Linear Partial Differential Equations with Delay

Semigroups and Linear Partial Differential Equations with Delay Journal of Mathematical Analysis and Applications 264, 1 2 (21 doi:1.16/jmaa.21.675, available online at http://www.idealibrary.com on Semigroups and Linear Partial Differential Equations with Delay András

More information

Trotter s product formula for projections

Trotter s product formula for projections Trotter s product formula for projections Máté Matolcsi, Roman Shvydkoy February, 2002 Abstract The aim of this paper is to examine the convergence of Trotter s product formula when one of the C 0-semigroups

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

More information

A Smooth Operator, Operated Correctly

A Smooth Operator, Operated Correctly Clark Department of Mathematics Bard College at Simon s Rock March 6, 2014 Abstract By looking at familiar smooth functions in new ways, we can make sense of matrix-valued infinite series and operator-valued

More information

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES Electronic Journal of Differential Equations, Vol. 21(21, No. 72, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu ALMOST PERIODIC SOLUTIONS

More information

Positive Perturbations of Dual and Integrated Semigroups

Positive Perturbations of Dual and Integrated Semigroups Positive Perturbations of Dual and Integrated Semigroups Horst R. Thieme Department of Mathematics Arizona State University Tempe, AZ 85287-184, USA Abstract Positive perturbations of generators of locally

More information

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T 1 1 Linear Systems The goal of this chapter is to study linear systems of ordinary differential equations: ẋ = Ax, x(0) = x 0, (1) where x R n, A is an n n matrix and ẋ = dx ( dt = dx1 dt,..., dx ) T n.

More information

Strongly continuous semigroups

Strongly continuous semigroups Capter 2 Strongly continuous semigroups Te main application of te teory developed in tis capter is related to PDE systems. Tese systems can provide te strong continuity properties only. 2.1 Closed operators

More information

On Controllability of Linear Systems 1

On Controllability of Linear Systems 1 On Controllability of Linear Systems 1 M.T.Nair Department of Mathematics, IIT Madras Abstract In this article we discuss some issues related to the observability and controllability of linear systems.

More information

THE PERRON PROBLEM FOR C-SEMIGROUPS

THE PERRON PROBLEM FOR C-SEMIGROUPS Math. J. Okayama Univ. 46 (24), 141 151 THE PERRON PROBLEM FOR C-SEMIGROUPS Petre PREDA, Alin POGAN and Ciprian PREDA Abstract. Characterizations of Perron-type for the exponential stability of exponentially

More information

NON-AUTONOMOUS INHOMOGENEOUS BOUNDARY CAUCHY PROBLEMS AND RETARDED EQUATIONS. M. Filali and M. Moussi

NON-AUTONOMOUS INHOMOGENEOUS BOUNDARY CAUCHY PROBLEMS AND RETARDED EQUATIONS. M. Filali and M. Moussi Electronic Journal: Southwest Journal o Pure and Applied Mathematics Internet: http://rattler.cameron.edu/swjpam.html ISSN 83-464 Issue 2, December, 23, pp. 26 35. Submitted: December 24, 22. Published:

More information

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

BI-CONTINUOUS SEMIGROUPS FOR FLOWS IN INFINITE NETWORKS. 1. Introduction BI-CONTINUOUS SEMIGROUPS FOR FLOWS IN INFINITE NETWORKS CHRISTIAN BUDDE AND MARJETA KRAMAR FIJAVŽ Abstract. We study transport processes on infinite metric graphs with non-constant velocities and matrix

More information

Chapter 6 Integral Transform Functional Calculi

Chapter 6 Integral Transform Functional Calculi Chapter 6 Integral Transform Functional Calculi In this chapter we continue our investigations from the previous one and encounter functional calculi associated with various semigroup representations.

More information

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL

OPERATOR SEMIGROUPS. Lecture 3. Stéphane ATTAL Lecture 3 OPRATOR SMIGROUPS Stéphane ATTAL Abstract This lecture is an introduction to the theory of Operator Semigroups and its main ingredients: different types of continuity, associated generator, dual

More information

Mathematical Journal of Okayama University

Mathematical Journal of Okayama University Mathematical Journal of Okayama University Volume 46, Issue 1 24 Article 29 JANUARY 24 The Perron Problem for C-Semigroups Petre Prada Alin Pogan Ciprian Preda West University of Timisoara University of

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

NORMS ON SPACE OF MATRICES

NORMS ON SPACE OF MATRICES NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system

More information

ADJOINT FOR OPERATORS IN BANACH SPACES

ADJOINT FOR OPERATORS IN BANACH SPACES ADJOINT FOR OPERATORS IN BANACH SPACES T. L. GILL, S. BASU, W. W. ZACHARY, AND V. STEADMAN Abstract. In this paper we show that a result of Gross and Kuelbs, used to study Gaussian measures on Banach spaces,

More information

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

Stability of an abstract wave equation with delay and a Kelvin Voigt damping Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability

More information

Laplace Transforms, Non-Analytic Growth Bounds and C 0 -Semigroups

Laplace Transforms, Non-Analytic Growth Bounds and C 0 -Semigroups Laplace Transforms, Non-Analytic Growth Bounds and C -Semigroups Sachi Srivastava St. John s College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Hilary 22 Laplace Transforms,

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

An Operator Theoretical Approach to Nonlocal Differential Equations

An Operator Theoretical Approach to Nonlocal Differential Equations An Operator Theoretical Approach to Nonlocal Differential Equations Joshua Lee Padgett Department of Mathematics and Statistics Texas Tech University Analysis Seminar November 27, 2017 Joshua Lee Padgett

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

9. Banach algebras and C -algebras

9. Banach algebras and C -algebras matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Based on parts of Chapter 10 and parts of Chapter

More information

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2) WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS We will use the familiar Hilbert spaces H = L 2 (Ω) and V = H 1 (Ω). We consider the Cauchy problem (.1) c u = ( 2 t c )u = f L 2 ((, T ) Ω) on [, T ] Ω u() = u H

More information

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE

CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE ATHANASIOS G. ARVANITIDIS AND ARISTOMENIS G. SISKAKIS Abstract. In this article we study the Cesàro operator C(f)() = d, and its companion operator

More information

BIHARMONIC WAVE MAPS INTO SPHERES

BIHARMONIC WAVE MAPS INTO SPHERES BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.

More information

Semigroups of Operators

Semigroups of Operators Lecture 11 Semigroups of Operators In tis Lecture we gater a few notions on one-parameter semigroups of linear operators, confining to te essential tools tat are needed in te sequel. As usual, X is a real

More information

Stone s theorem and the Laplacian

Stone s theorem and the Laplacian LECTRE 5 Stone s theorem and the Laplacian In the previous lecture we have shown the Lumer-Phillips Theorem 4.12, which says among other things that if A is closed, dissipative, D(A) = X and R(λ 0 I A)

More information

Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints

Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Joseph Winkin Namur Center of Complex Systems (naxys) and Dept. of Mathematics, University of Namur, Belgium

More information

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give

More information

Cores for generators of some Markov semigroups

Cores for generators of some Markov semigroups Cores for generators of some Markov semigroups Giuseppe Da Prato, Scuola Normale Superiore di Pisa, Italy and Michael Röckner Faculty of Mathematics, University of Bielefeld, Germany and Department of

More information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

Non-stationary Friedrichs systems

Non-stationary Friedrichs systems Department of Mathematics, University of Osijek BCAM, Bilbao, November 2013 Joint work with Marko Erceg 1 Stationary Friedrichs systems Classical theory Abstract theory 2 3 Motivation Stationary Friedrichs

More information

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION Istanbul Kemerburgaz University Istanbul Analysis Seminars 24 October 2014 Sabanc University Karaköy Communication Center 1 2 3 4 5 u(x,

More information

A semigroup/laplace transform approach to approximating flows

A semigroup/laplace transform approach to approximating flows Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 3 A semigroup/laplace transform approach to approximating flows Ladorian Nichele Latin Louisiana State University

More information

Bi Continuous Semigroups on Spaces with Two Topologies: Theory and Applications

Bi Continuous Semigroups on Spaces with Two Topologies: Theory and Applications Bi Continuous Semigroups on Spaces with Two Topologies: Theory and Applications Dissertation der Mathematischen Fakultät der Eberhard Karls Universität Tübingen zur Erlangung des Grades eines Doktors der

More information

OBSERVATION OPERATORS FOR EVOLUTIONARY INTEGRAL EQUATIONS

OBSERVATION OPERATORS FOR EVOLUTIONARY INTEGRAL EQUATIONS OBSERVATION OPERATORS FOR EVOLUTIONARY INTEGRAL EQUATIONS MICHAEL JUNG Abstract. We analyze admissibility and exactness of observation operators arising in control theory for Volterra integral equations.

More information

Newtonian Mechanics. Chapter Classical space-time

Newtonian Mechanics. Chapter Classical space-time Chapter 1 Newtonian Mechanics In these notes classical mechanics will be viewed as a mathematical model for the description of physical systems consisting of a certain (generally finite) number of particles

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

Exponential stability of families of linear delay systems

Exponential stability of families of linear delay systems Exponential stability of families of linear delay systems F. Wirth Zentrum für Technomathematik Universität Bremen 28334 Bremen, Germany fabian@math.uni-bremen.de Keywords: Abstract Stability, delay systems,

More information

Lax Solution Part 4. October 27, 2016

Lax Solution Part 4.   October 27, 2016 Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

ON MARKOV AND KOLMOGOROV MATRICES AND THEIR RELATIONSHIP WITH ANALYTIC OPERATORS. N. Katilova (Received February 2004)

ON MARKOV AND KOLMOGOROV MATRICES AND THEIR RELATIONSHIP WITH ANALYTIC OPERATORS. N. Katilova (Received February 2004) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 34 (2005), 43 60 ON MARKOV AND KOLMOGOROV MATRICES AND THEIR RELATIONSHIP WITH ANALYTIC OPERATORS N. Katilova (Received February 2004) Abstract. In this article,

More information

Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems

Perturbation theory of boundary value problems and approximate controllability of perturbed boundary control problems Proceedings of the 47th IEEE Conference on Decision and Control Cancun, Mexico, Dec. 9-11, 28 TuC7.6 Perturbation theory of boundary value problems and approximate controllability of perturbed boundary

More information

Examples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling

Examples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling 1 Introduction Many natural processes can be viewed as dynamical systems, where the system is represented by a set of state variables and its evolution governed by a set of differential equations. Examples

More information

Measure and Integration: Solutions of CW2

Measure and Integration: Solutions of CW2 Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost

More information

Feller Processes and Semigroups

Feller Processes and Semigroups Stat25B: Probability Theory (Spring 23) Lecture: 27 Feller Processes and Semigroups Lecturer: Rui Dong Scribe: Rui Dong ruidong@stat.berkeley.edu For convenience, we can have a look at the list of materials

More information

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space 4.1 Introduction In this chapter, we will consider optimal control problems in function space where we will restrict ourselves

More information

DIFFERENTIABILITY OF WEAK SOLUTIONS TO AN ABSTRACT INHOMOGENEOUS DIFFERENTIAL EQUATION C. C. TRAVIS1

DIFFERENTIABILITY OF WEAK SOLUTIONS TO AN ABSTRACT INHOMOGENEOUS DIFFERENTIAL EQUATION C. C. TRAVIS1 proceedings of the american mathematical society Volume 82, Number 3, July 1981 DIFFERENTIABILITY OF WEAK SOLUTIONS TO AN ABSTRACT INHOMOGENEOUS DIFFERENTIAL EQUATION C. C. TRAVIS1 Abstract. A characterization

More information

Picard s Existence and Uniqueness Theorem

Picard s Existence and Uniqueness Theorem Picard s Existence and Uniqueness Theorem Denise Gutermuth 1 These notes on the proof of Picard s Theorem follow the text Fundamentals of Differential Equations and Boundary Value Problems, 3rd edition,

More information

A matrix over a field F is a rectangular array of elements from F. The symbol

A matrix over a field F is a rectangular array of elements from F. The symbol Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted

More information

Perturbation and exponential stability

Perturbation and exponential stability LECTRE 7 Perturbation and exponential stability So far we have introduced the basic concepts of linear semigroup theory, characterized wellposedness and solved inhomogeneous evolution equations. We can

More information

Operator Semigroups for Numerical Analysis

Operator Semigroups for Numerical Analysis 5 th Internet Seminar 2/2 Operator Semigroups for Numerical Analysis The 5 th Internet Seminar on Evolution Equations is devoted to operator semigroup methods for numerical analysis. Based on the Lax Equivalence

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

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

Massera-type theorem for the existence of C (n) -almost-periodic solutions for partial functional differential equations with infinite delay Nonlinear Analysis 69 (2008) 1413 1424 www.elsevier.com/locate/na Massera-type theorem for the existence of C (n) -almost-periodic solutions for partial functional differential equations with infinite

More information

Problem Set 5: Solutions Math 201A: Fall 2016

Problem Set 5: Solutions Math 201A: Fall 2016 Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict

More information

Root-Locus Theory for Infinite-Dimensional Systems

Root-Locus Theory for Infinite-Dimensional Systems Root-Locus Theory for Infinite-Dimensional Systems by Elham Monifi A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Applied

More information

ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

Analyticity of semigroups generated by Fleming-Viot type operators

Analyticity of semigroups generated by Fleming-Viot type operators Analyticity of semigroups generated by Fleming-Viot type operators Elisabetta Mangino, in collaboration with A. Albanese Università del Salento, Lecce, Italy s Au(x) = x i (δ ij x j )D ij u + b i (x)d

More information

Weak convergence and large deviation theory

Weak convergence and large deviation theory First Prev Next Go To Go Back Full Screen Close Quit 1 Weak convergence and large deviation theory Large deviation principle Convergence in distribution The Bryc-Varadhan theorem Tightness and Prohorov

More information

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim

More information

On lower bounds for C 0 -semigroups

On lower bounds for C 0 -semigroups On lower bounds for C 0 -semigroups Yuri Tomilov IM PAN, Warsaw Chemnitz, August, 2017 Yuri Tomilov (IM PAN, Warsaw) On lower bounds for C 0 -semigroups Chemnitz, August, 2017 1 / 17 Trivial bounds For

More information

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables. Chapter 2 First order PDE 2.1 How and Why First order PDE appear? 2.1.1 Physical origins Conservation laws form one of the two fundamental parts of any mathematical model of Continuum Mechanics. These

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

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

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 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

More information

Holomorphic functions which preserve holomorphic semigroups

Holomorphic functions which preserve holomorphic semigroups Holomorphic functions which preserve holomorphic semigroups University of Oxford London Mathematical Society Regional Meeting Birmingham, 15 September 2016 Heat equation u t = xu (x Ω R d, t 0), u(t, x)

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned

More information

Nonlinear Dynamical Systems Lecture - 01

Nonlinear Dynamical Systems Lecture - 01 Nonlinear Dynamical Systems Lecture - 01 Alexandre Nolasco de Carvalho August 08, 2017 Presentation Course contents Aims and purpose of the course Bibliography Motivation To explain what is a dynamical

More information

Wentzell Boundary Conditions in the Nonsymmetric Case

Wentzell Boundary Conditions in the Nonsymmetric Case Math. Model. Nat. Phenom. Vol. 3, No. 1, 2008, pp. 143-147 Wentzell Boundary Conditions in the Nonsymmetric Case A. Favini a1, G. R. Goldstein b, J. A. Goldstein b and S. Romanelli c a Dipartimento di

More information

Banach Spaces, HW Problems & Solutions from Hunter

Banach Spaces, HW Problems & Solutions from Hunter Problem 1: Banach Spaces, HW Problems & Solutions from Hunter Ex 5.3: Let δ: C ([,1]) -> R be the linear functional that evaluates a function at the origin: δ(f ) = f (). If C ([,1]) is equipped with the

More information

Hilbert Spaces. Contents

Hilbert Spaces. Contents Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................

More information

Uniform polynomial stability of C 0 -Semigroups

Uniform polynomial stability of C 0 -Semigroups Uniform polynomial stability of C 0 -Semigroups LMDP - UMMISCO Departement of Mathematics Cadi Ayyad University Faculty of Sciences Semlalia Marrakech 14 February 2012 Outline 1 2 Uniform polynomial stability

More information

Point Sets and Dynamical Systems in the Autocorrelation Topology

Point Sets and Dynamical Systems in the Autocorrelation Topology Point Sets and Dynamical Systems in the Autocorrelation Topology Robert V. Moody and Nicolae Strungaru Department of Mathematical and Statistical Sciences University of Alberta, Edmonton Canada, T6G 2G1

More information

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY

CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY J. OPERATOR THEORY 64:1(21), 149 154 Copyright by THETA, 21 CONTINUITY OF CP-SEMIGROUPS IN THE POINT-STRONG OPERATOR TOPOLOGY DANIEL MARKIEWICZ and ORR MOSHE SHALIT Communicated by William Arveson ABSTRACT.

More information

Positive Stabilization of Infinite-Dimensional Linear Systems

Positive Stabilization of Infinite-Dimensional Linear Systems Positive Stabilization of Infinite-Dimensional Linear Systems Joseph Winkin Namur Center of Complex Systems (NaXys) and Department of Mathematics, University of Namur, Belgium Joint work with Bouchra Abouzaid

More information

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA

BOUNDARY VALUE PROBLEMS IN KREĬN SPACES. Branko Ćurgus Western Washington University, USA GLASNIK MATEMATIČKI Vol. 35(55(2000, 45 58 BOUNDARY VALUE PROBLEMS IN KREĬN SPACES Branko Ćurgus Western Washington University, USA Dedicated to the memory of Branko Najman. Abstract. Three abstract boundary

More information

The spectral mapping theorem for evolution semigroups on spaces of vector valued functions

The spectral mapping theorem for evolution semigroups on spaces of vector valued functions The spectral mapping theorem for evolution semigroups on spaces of vector valued functions Frank Räbiger and Roland Schnaubelt Introduction The solutions of a non autonomous linear Cauchy problem on a

More information

Matrix functions that preserve the strong Perron- Frobenius property

Matrix functions that preserve the strong Perron- Frobenius property Electronic Journal of Linear Algebra Volume 30 Volume 30 (2015) Article 18 2015 Matrix functions that preserve the strong Perron- Frobenius property Pietro Paparella University of Washington, pietrop@uw.edu

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

ON THE FAVARD CLASSES OF SEMIGROUPS ASSOCIATED WITH PSEUDO-RESOLVENTS

ON THE FAVARD CLASSES OF SEMIGROUPS ASSOCIATED WITH PSEUDO-RESOLVENTS ON THE FAVARD CLASSES OF SEMIGROUPS ASSOCIATED WITH PSEUDO-RESOLVENTS WOJCIECH CHOJNACKI AND JAN KISYŃSKI ABSTRACT. A pseudo-resolvent on a Banach space, indexed by positive numbers and tempered at infinity,

More information

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real

More information

Chapter 6 Integral Transform Functional Calculi

Chapter 6 Integral Transform Functional Calculi Chapter 6 Integral Transform Functional Calculi In this chapter we continue our investigations from the previous one and encounter functional calculi associated with various semigroup representations.

More information

SMSTC (2007/08) Probability.

SMSTC (2007/08) Probability. SMSTC (27/8) Probability www.smstc.ac.uk Contents 12 Markov chains in continuous time 12 1 12.1 Markov property and the Kolmogorov equations.................... 12 2 12.1.1 Finite state space.................................

More information

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

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

Existence Results for Multivalued Semilinear Functional Differential Equations

Existence Results for Multivalued Semilinear Functional Differential Equations E extracta mathematicae Vol. 18, Núm. 1, 1 12 (23) Existence Results for Multivalued Semilinear Functional Differential Equations M. Benchohra, S.K. Ntouyas Department of Mathematics, University of Sidi

More information