Spectrum for compact operators on Banach spaces

Size: px
Start display at page:

Download "Spectrum for compact operators on Banach spaces"

Transcription

1 Submitted to Journal of the Mathematical Society of Japan Spectrum for compact operators on Banach spaces By Luis Barreira, Davor Dragičević Claudia Valls (Received Nov. 22, 203) (Revised Jan. 23, 204) Abstract. For a two-sided sequence of compact linear operators acting on a Banach space, we consider the notion of spectrum defined in terms of the existence of exponential dichotomies under homotheties of the dynamics. This can be seen as a natural generalization of the spectrum of a matrix the set of its eigenvalues. We give a characterization of all possible spectra explicit examples of sequences for which the spectrum takes a form not occurring in finite-dimensional spaces. We also consider the case of a one-sided sequence of compact linear operators.. Introduction We study a notion of spectrum for a nonautonomous dynamics inspired on a corresponding notion introduced by Sacker Sell in [9] in a finite-dimensional space. This can be seen as a generalization of the spectrum of a matrix (the set of its eigenvalues). More precisely, let (A m ) m Z be a sequence of invertible d d matrices consider the dynamics x m+ = A m x m, m Z. For a constant sequence A m = A, a number a R is of the form a = log µ for some eigenvalue µ of A if only if the constant sequence (e a A) m Z admits an exponential dichotomy. For an arbitrary sequence of matrices, an appropriate notion of spectrum was introduction by Aulbach Siegmund in [] (following work in [] in the case of continuous time) by declaring that a is in the spectrum if the sequence (e a A m ) m Z admits an exponential dichotomy. For related work we refer the reader to [2, 3, 8, 0, 2]. We consider a corresponding notion in an infinite-dimensional setting. Namely, given a sequence (A m ) m Z of compact linear operators acting on a Banach space, we define its spectrum as the set Σ of all a R such that the sequence (e a A m ) m Z does not admit an exponential dichotomy. We emphasize that in the notion of an exponential dichotomy we only assume the dynamics to be invertible along the unstable direction. Our main result describes all possible types of spectra how they relate to certain natural invariant subspaces (see Theorem 3). In particular, we show that each trajectory has lower upper Lyapunov exponents inside the same connected component of the spectrum. We note that this mimics the behavior in the multiplicative ergodic theorem in the particular case of Lyapunov regular trajectories, which is the typical behavior for example in all mechanical systems on a compact energy hypersurface. 200 Mathematics Subject Classification. Primary 37D99. Key Words Phrases. Compact operators, Exponential dichotomies, Spectra.

2 2 L. Barreira, D. Dragičević C. Valls Moreover, we provide examples of sequences for which the spectrum takes a form that does not occur in finite-dimensional spaces. More precisely, we provide explicit examples of sequences of compact linear operators acting on the Hilbert space of L 2 functions on the circle with the induced Lebesgue measure for which the spectrum is of the form for some numbers Σ = [a j, b j ] or Σ = [a j, b j ] (, b ], j= j= b a > b 2 a 2 > b 3 a 3 >, respectively, with lim n + a n = or lim n + a n = b >. Finally, we consider briefly the case of a one-sided sequence of compact linear operators we describe corresponding notions results. 2. Spectrum on the line 2.. Exponential dichotomies Let (A n ) n Z be a sequence of compact linear operators acting on a Banach space X = (X, ). For each m n, let () A(m, n) = Am A n, m > n, Id, m = n. We say that (A n ) n Z admits an exponential dichotomy if:. there exist projections P n : X X for n Z satisfying (2) A n P n = P n+ A n for n Z such that each map (3) A n Ker P n : Ker P n Ker P n+ is invertible; 2. there exist constants D, λ > 0 such that (4) A(m, n)p n De λ(m n) for m n (5) A(m, n)q n De λ(n m) for m n, where Q n = Id P n (6) A(m, n) = (A(n, m) Ker P m ) : Ker P n Ker P m for m < n.

3 Spectrum for compact operators on Banach spaces 3 The sets Im P n Im Q n are called, respectively, the stable unstable spaces of the exponential dichotomy. The following result shows in particular that they are uniquely determined. Proposition. For each n Z, } Im P n = v X : sup A(m, n)v < + m n Im Q n consists of all v X for which there exists a sequence (x m ) m n X such that x n = v, x m = A m x m for m n sup m n x m < +. Moreover, dim Im Q n < + for n Z. Proof. By (4) we have (7) sup A(m, n)v < + m n for v Im P n. Conversely, if (7) holds for some v X, then it follows from (4) that (8) sup A(m, n)q n v < +. m n By (5), for m n we have that is, Whenever Q n v 0, we obtain Q n v De λ(m n) A(m, n)q n v, D eλ(m n) Q n v A(m, n)q n v. sup A(m, n)q n v = +, m n which contradicts to (8). Hence, Q n v = 0 so v Im P n. Now take v Im Q n consider the sequence x m = A(m, n)v for m n. Clearly, x n = v x m = A m x m for m n. Moreover, it follows from (5) that sup m n x m < +. Conversely, one can show that there is no v X \ Im Q n for which there exists a sequence (x m ) m n X with the properties in the proposition. Indeed, it follows from (2) (4) that P n v = A(n, m)p m x m De λ(n m) x m for m n. Hence, if P n v 0, then sup m n x m = +. It remains to show that the unstable spaces are finite-dimensional. Let B n = v Im Q n : v } take n N such that e λn > D. We claim that B n A(n, 0)B 0. For each v B n,

4 4 L. Barreira, D. Dragičević C. Valls there exists x Im Q 0 such that v = A(n, 0)x. If x >, then it follows from (5) that < D eλn x A(n, 0)x = v, which contradicts to the assumption that v. Hence x so B n A(n, 0)B 0. Since B 0 is bounded A(n, 0) is compact, the set A(n, 0)B 0 is relatively compact so B n is compact. This shows that Im Q n is finite-dimensional. On the other h, it follows from (2) that the dimensions dim Im Q m are independent of m Z. This completes the proof of the proposition Spectrum The spectrum of a sequence (A n ) n Z of compact linear operators is the set Σ of all numbers a R such that the sequence (e a A n ) n Z does not admit an exponential dichotomy. For each a R n Z, let ( S a (n) = v X : sup e a(m n) A(m, n)v ) } < + m n let U a (n) be the set of all vectors v X for which there exists a sequence (x m ) m n X such that x n = v, x m = A m x m for m n We note that if a < b, then ( sup e a(m n) x m ) < +. m n S a (n) S b (n) U b (n) U a (n) for n Z. By Proposition, if a R \ Σ, then X = S a (n) U a (n) for n Z the projections P n Q n associated to the sequence (e a A n ) n Z satisfy Im P n = S a (n) Im Q n = U a (n). Moreover, by (2), for each a R \ Σ, the numbers dim S a (n) dim U a (n) are independent of n. We shall simply denote them by dim S a dim U a. Proposition 2. The following statements hold:. The set Σ is closed. Moreover, for each a R \ Σ we have S a (n) = S b (n) U a (n) = U b (n) for all n Z all b in some open neighborhood of a. 2. Take a, a 2 R \ Σ with a < a 2. Then [a, a 2 ] Σ if only if dim U a > dim U a2. 3. For each c / Σ, the set Σ [c, + ) consists of finitely many closed intervals. Proof. Given a R \ Σ, there exist projections P n for n Z satisfying (2) a

5 Spectrum for compact operators on Banach spaces 5 constant λ > 0 such that for m n for m n. Therefore, for each b R, for m n e a(m n) A(m, n)p n De λ(m n) e a(m n) A(m, n)q n De λ(n m) e b(m n) A(m, n)p n De (λ a+b)(m n) e b(m n) A(m, n)q n De (λ+a b)(n m) for m n. Therefore, b R \ Σ whenever a b < λ it follows from Proposition that S b (n) = S a (n) U b (n) = U a (n) for n Z. For statement 2, assume that [a, a 2 ] Σ. If dim U a = dim U a2, then U a (n) = U a2 (n) S a (n) = S a2 (n) for n Z. By Proposition, there exist projections P n for n Z constants λ, λ 2 > 0 such that for i =, 2 we have (9) e ai(m n) A(m, n)p n D i e λi(m n) for m n (0) e ai(m n) A(m, n)q n D i e λi(n m) for m n. For each a [a, a 2 ], by (9), e a(m n) A(m, n)p n D e λ(m n) for m n similarly, by (0), e a(m n) A(m, n)q n D 2 e λ2(n m) for m n. Taking λ = minλ, λ 2 } D = maxd, D 2 }, we conclude that [a, a 2 ] R \ Σ, which contradicts to the initial assumption. Therefore, dim U a = dim U a2. For the converse, assume that dim U a > dim U a2 let b = inf a R \ Σ : dim U a = dim U a2 }. Since dim U a > dim U a2, it follows from statement that a < b < a 2. We claim that b Σ. Otherwise, either dim U b = dim U a2 or dim U b dim U a2. In the first case, by statement there exists ε > 0 such that dim U b = dim U a2 b R\Σ for b (b ε, b]. This contradicts to the definition of b. In the second case, by statement there exists ε > 0 such that dim U b dim U a2 b R\Σ for b [b, b+ε). Again this contradicts to the definition of b. Hence, b Σ [a, a 2 ] Σ. For statement 3, we proceed by contradiction. Write dim U c = d assume that Σ [c, + ) contains at least d+2 disjoint closed intervals I i = [α i, β i ], for i =,..., d+2,

6 6 L. Barreira, D. Dragičević C. Valls where α β < α 2 β 2 < < α d+2 β d+2 +. For i =,..., d +, take c i (β i, α i+ ). It follows from statement 2 that d > dim U c > dim U c2 > > dim U cd+, which is impossible. This completes the proof of the proposition. 3. Structure of the spectrum Our main result describes all possible forms of the spectrum for a sequence of compact linear operators acting on a Banach space. Theorem 3. Let (A n ) n Z be a sequence of compact linear operators for which the spectrum is neither nor R.. One of the following alternatives holds: (a) Σ = I k n=2 [a n, b n ], where I = [a, b ] or I = [a, + ), for some numbers () b a > b 2 a 2 > > b k a k ; (b) Σ = I k n=2 [a n, b n ] (, b k ], where I = [a, b ] or I = [a, + ), for some numbers a n b n as in (); (c) Σ = I n=2 [a n, b n ], where I = [a, b ] or I = [a, + ), for some numbers (2) b a > b 2 a 2 > b 3 a 3 > with lim n + a n = ; (d) Σ = I n=2 [a n, b n ] (, b ], where I = [a, b ] or I = [a, + ), for some numbers a n b n as in (2) with b := lim n + a n >. 2. Let (c k ) k be a finite or infinite sequence of numbers such that c k (b k+, a k ) for each k. For each n Z v S ck (n) U ck+ (n) \ 0}, we have [ lim inf m + log A(m, n)v, lim sup m m + ] log A(m, n)v [a k+, b k+ ]. m Moreover, there exists a sequence (x m ) m n X such that x n = v, x m = A m x m for m n [ ] lim inf m m log x m, lim sup m m log x m [a k+, b k+ ]. Proof. We first show that Σ has one of the forms in alternatives (a) (d). Assume first that Σ is not given by alternatives (a) (b) take c / Σ. By statement 3 of Proposition 2, the set Σ (c, + ) consists of finitely many disjoint closed intervals I,..., I k. We note that Σ (, c ), since otherwise we would have Σ = I I k,

7 Spectrum for compact operators on Banach spaces 7 which contradicts to our assumption. Now we observe that there exists c 2 < c such that c 2 / Σ (c 2, c ) Σ. Indeed, otherwise we would have (, c ) Σ = (, a] for some a < c thus, Σ = (, a] I I k, which again contradicts to our assumption. Proceeding inductively, we obtain a decreasing sequence (c n ) n N such that c n / Σ (c n+, c n ) Σ for each n N. Now there are two possibilities: either lim n + c n = or lim n + c n = b for some b R. In the first case, it follows from statement 2 of Proposition 2 that Σ is given by alternative (c). In the second case, it follows from statement 3 of Proposition 2 that (a, + ) Σ = I [a n, b n ], where I = [a, b ] or I = [a, + ), for some sequences (a n ) n N (b n ) n N as in (2) with b = lim n + a n. Again by statement 3 of Proposition 2, we have (, b ] Σ so Σ is given by alternative (d). This concludes the proof of statement. For statement 2, we first note that it follows easily from statement 2 of Proposition 2 that the subspaces n=2 E k (n) = S ck (n) U ck+ (n) are independent of the choice of numbers c k. Since c k / Σ, the sequence (e c k A n ) n Z admits an exponential dichotomy so there exist projections P n for n Z satisfying (2) (3) constants λ, D > 0 such that (3) A(m, n)p n De (c k λ)(m n) for m n A(m, n)q n De (λ+c k)(n m) for m n, where Q n = Id P n. By Proposition, we have Im P n = S ck (n) for n Z. Hence, v E i (n) belongs to Im P n it follows from (3) that Letting c k b k+, we obtain lim sup m + m log A(m, n)v c k λ < c k. lim sup m + m log A(m, n)v b k+. Similarly, since c k+ / Σ, the sequence (e c k+ A n ) n Z admits an exponential dichotomy so there exist projections P n for n Z satisfying (2) (3) constants µ, D > 0 such that A(m, n)p n De (c k+ µ)(m n) for m n

8 8 L. Barreira, D. Dragičević C. Valls (4) A(m, n)q n De (µ+c k+)(n m) for m n, where Q n = Id P n. By Proposition, we have Im Q n = U ck+ (n) for n Z. Hence, v E i (n) belongs to Im Q n it follows from (4) that Thus, letting c k+ a k+, v De (µ+c k+)(m n) A(m, n)v for m n. lim inf m + m log A(m, n)v µ + c k+ > c k+ lim inf m + m log A(m, n)v a k+. The last statement in the theorem can be proved similarly. 4. Examples Now we provide explicit examples of sequences (A n ) n Z for which the spectrum Σ is given by the last two alternatives in Theorem 3 (the other alternatives already occur in finite-dimensional spaces). Let S = λ C : λ = } consider the space X = L 2 (S ) with respect to the induced Lebesgue measure on S. We recall that X is a Banach space when equipped with the norm induced by the scalar product x, y = x(z)y(z) dz, S already identifying functions that are equal Lebesgue-almost everywhere. Moreover, for each K L 2 (S S ), the operator A: X X defined by (5) (Af)(z) = K(z, w)f(w) dw S is compact (see [4]). For example, one can take K(z, w) = k(z/w), with k X. We also consider the orthonormal basis e n : n Z} of X, where e n (z) = z n, for z S n Z. Each function k X can be written in the form k = n Z k ne n for some numbers k n R. Moreover, one can easily verify that Ae n = 2πk n e n for each n Z, taking K(z, w) = k(z/w). Example. Take numbers a n b n as in (2) with lim n + a n =. We consider the linear operators A, B : X X such that Ae i = e bi e i Be i = e ai e i for i 0, writing e 0 = e 0, e 2n = e n e 2n = e n for n N. Both A B are of

9 Spectrum for compact operators on Banach spaces 9 the form in (5) taking, respectively, k(z) = 2π eb0 + 2π n= ( e b2n z n + e ) b2n z n k(z) = 2π ea0 + 2π n= ( e a2n z n + e ) a2n z n. Now we consider the sequence of compact linear operators A, n 0, A n = B, n < 0. For each a R i 0, we have e a(m n) A(m, n)e i = C i (m, n)e i, where e (bi a)(m n), m, n 0, (6) C i (m, n) = e (bi a)m (ai a)n, m 0, n < 0, e (ai a)(m n), m, n < 0. Take a > b. For each x X, we have A(m, n)x 2 = C i (m, n) 2 x, e i 2. Since a j b j b, we have C i (m, n) e (b a)(m n) thus, A(m, n)x 2 e 2(b a)(m n) This shows that i=0 i=0 x, e i 2 = e 2(b a)(m n) x 2. A(m, n)x e (a b)(m n) x for m n so (e a A n ) n Z admits an exponential dichotomy with projections P n = Id. Now take a (b j, a j ) for some j 2. Let P n be the projection given by P n e i = 0 for i < j P n e i = e i for i j. For each x X m n, we have thus, A(m, n)p n x 2 = i=j C i (m, n) 2 x, e i 2 e 2(bj a)(m n) x 2 A(m, n)p n x e (a bj)(m n) x.

10 0 L. Barreira, D. Dragičević C. Valls Similarly, for each x X m n, we have thus, j 2 A(m, n)q n x 2 = C i (m, n) 2 x, e i 2 e 2(aj a)(m n) x 2 i=0 A(m, n)q n x e (aj a)(n m) x. This shows that the sequence (e a A n ) n Z admits an exponential dichotomy. Therefore, Σ j= [a j, b j ]. In order to show that Σ = j= [a j, b j ], assume that [a j, b j ] \ Σ is nonempty for some j N take a [a j, b j ] \ Σ. Then the sequence (e a A n ) n Z admits an exponential dichotomy say with projections P n. Let Y be the subspace of X generated by e i let B n be the restriction of A n to Y. Clearly, the sequence (e a B n ) n Z admits an exponential dichotomy, say with projections P n. Moreover, either P n = Id or P n = 0, but both alternatives are impossible in view of (6). Example 2. Now take numbers a n b n as in (2) with lim n + a n = b >. We consider the sequence of compact linear operators (A n ) n Z such that A n e 0 = e b, n 0, e n2, n < 0 A n e i = e b i /( + i2 n ), n 0, e ai /( + i2 n ), n < 0, i. For each a R i 0, we have e a(m n) A(m, n)e i = C i (m, n)e i, where e (b a)(m n), m, n 0, C 0 (m, n) = e (b a)m+an n2, m 0, n < 0, e am+an n2 +m 2, m, n < 0 e (bi a)(m n) / m k=n ( + i2 k ), m, n 0, C i (m, n) = e (bi a)m (ai a)n / m k=n ( + i2 k ), m 0, n < 0, e (ai a)(m n) / m k=n ( + i2 k ), m, n < 0 for i. Notice that + j2 n. One can proceed as in the previous example to show that for a > b, the sequence (e a A n ) n Z admits an exponential dichotomy with projections P n = Id. Now take a (b j, a j ). For i j m n, we have C i (m, n) e (bj a)(m n). Similarly, for i < j m n, we have C i (m, n) e (aj a)(m n) max i<j p= ( + i2 p ).

11 Spectrum for compact operators on Banach spaces Proceeding as in the previous example, one can show that the sequence (e a A n ) n Z admits an exponential dichotomy, with projections P n given by P n e i = 0 for i < j P n e i = e i otherwise. By statement 3 of Proposition 2, we also have (, b ] Σ. Hence, Σ [a j, b j ] (, b ]. j= Moreover, one can proceed as in the previous example to show that in fact Σ = [a j, b j ] (, b ]. j= 5. Spectrum on the half-line 5.. Preliminaries Let (A n ) n N be a sequence of compact linear operators acting on a Banach space X. For each m n we define A(m, n) as in (). We say that (A n ) n N admits an exponential dichotomy if there exist projections P n for n N satisfying (2) (3) there exist constants D, λ > 0 such that (4) (6) hold with m, n N. The following result can be obtained repeating the first part of the proof of Proposition. It shows that the images of the projections P m are uniquely determined. Proposition 4. For each n N, we have } Im P n = v X : sup A(m, n)v < + m n. On the other h, the images of the projections Q n are not uniquely determined, in contrast to what happens in the line. Proposition 5. Assume that the sequence (A m ) m N admits an exponential dichotomy with respect to projections P m. Moreover, let P m, for m N, be projections such that P ma(m, n) = A(m, n)p n for m, n N A n Ker P n : Ker P n Ker P n+ is invertible. Then (A m ) m N admits an exponential dichotomy with respect to the projections P m if only if Im P n = Im P n for n N. Proof. If (A m ) m N admits an exponential dichotomy with respect to the projections P m, then it follows from Proposition 4 that } Im P n = v X : sup A(m, n)v < + m n = Im P n.

12 2 L. Barreira, D. Dragičević C. Valls Now assume that Im P n = Im P n. Then In particular, P n P n = P n P np n = P n. it follows from (4) (5) that P n P n = P n (P n P n) = (P n P n)q n A(n, )(P P )v = A(n, )P (P P )v for m, n N v X. Since we obtain De λ(n ) (P P )v = e λ De λn (P P )Q v e λ De λn P P Q v = e λ De λn P P A(, m)a(m, )Q v = e λ De λn P P A(, m)q m A(m, )v e 2λ D 2 e λn λm P P A(m, )v A(n, m)(p m P m) = A(n, m)(p m P m)q m = (P n P n)a(n, m)q m = (P n P n)a(n, )Q A(, m)q m = A(n, )(P P )Q A(, m)q m = A(n, )(P P )A(, m)q m, A(n, m)p mv A(n, m)p m v + A(n, m)(p m P m)v = A(n, m)p m v + A(n, )(P P )A(, m)q m v De λ(n m) v + e 2λ D 3 e λ(n m) P P v = D e λ(n m) v for n m some constant D > 0. Similarly, letting Q m = Id P m we obtain A(n, m)q mv A(n, m)q m v + A(n, m)(p m P m)v = A(n, m)q m v + A(n, )(P P )A(, m)q m v De λ(m n) v + e 2λ D 3 e λ(m n) P P v = D e λ(m n) v for n m. This shows that the sequence (A m ) m N admits an exponential dichotomy with respect to the projections P m. The following proposition is a crucial step of this part.

13 Spectrum for compact operators on Banach spaces 3 Proposition 6. Assume that the sequence (A m ) m N admits an exponential dichotomy with respect to projections P m P m. Then Proof. By Proposition 5, we have dim Im Q m = dim Im Q m < +, m N. X = Im P n Im Q n = Im P n Im Q n all complements of Im P n have the same dimension. In view this proposition we will denote by d a the unstable dimension of the sequence (e a A m ) m N when it admits an exponential dichotomy Spectrum Given a sequence (A m ) m N of compact linear operators, its spectrum is the set Σ of all numbers a R such that the sequence (e a A m ) m N does not admit an exponential dichotomy. For each a R n N, let ( S a (n) = v X : sup e a(m n) A(m, n)v ) } < +. m n Clearly, S a (n) is a linear space if a < b, then S a (n) S b (n). The following result can be obtained repeating the proof of Proposition 2 with dim U ai replaced by d ai. Proposition 7. The following statements hold:. The set Σ is closed. Moreover, for each a R \ Σ we have S a (n) = S b (n) for all n N all b in some open neighborhood of a. 2. Take a, a 2 R \ Σ with a < a 2. Then [a, a 2 ] Σ if only if d a > d a2. 3. For each c / Σ, the set Σ [c, + ) consists of finitely many closed intervals. The following is our main theorem for the half-line. It describes all possible forms of the spectrum for a sequence of compact linear operators. Theorem 8. Let (A n ) n N be a sequence of compact linear operators for which the spectrum is neither nor R.. Property of Theorem 3 holds. 2. Let (c k ) k be a finite or infinite sequence of numbers such that c k (b k+, a k ) for each k. For each n N v S ck (n), we have lim sup m + m log A(m, n)v b k+. Proof. The proof of statement is the same as in the proof of Theorem 3. For the second statement, since c k / Σ, the sequence (e c k A n ) n N admits an exponential dichotomy

14 4 L. Barreira, D. Dragičević C. Valls so there exist projections P n for n N satisfying (2) (3) constants λ, D > 0 such that (7) A(m, n)p n De (c k λ)(m n) for m n A(m, n)q n De (λ+c k)(n m) for m n, where Q n = Id P n. By Proposition 7, the space S ck (n) is independent of the choice of c k Im P n = S ck (n) for n N. Hence, for v S ck (n), it follows from (7) that letting c k b k+, lim sup m + m log A(m, n)v c k λ < c k lim sup m + m log A(m, n)v b k+. This completes the proof of the theorem. 6. The case of continuous time In this section we consider briefly the case of continuous time we describe corresponding results to those in the former sections. Let X be a Banach space. We recall that a family T (t, s) for t, s R with t s of bounded linear operators acting on X is called an evolution family if:. T (t, t) = Id for t R; 2. T (t, s) = T (t, r)t (r, s) for t r s. We say that T (t, s) admits an exponential dichotomy if:. there exist projections P (t): X X for t R satisfying for t s such that each map is invertible; 2. there exist constants D, λ > 0 such that P (t)t (t, s) = T (t, s)p (s) T (t, s) Ker P (s): Ker P (s) Ker P (t) T (t, s)p (s) De λ(t s) for t s T (t, s)q(s) De λ(s t) for t s,

15 Spectrum for compact operators on Banach spaces 5 where Q(s) = Id P (s) for t < s. T (t, s) = (T (s, t) Ker P (t)) : Ker P (s) Ker P (t) The spectrum of an evolution family T (t, s) is the set Σ of all numbers a R such that the evolution family T a (t, s) = e a(t s) T (t, s) does not admit an exponential dichotomy. One can easily adapt the arguments in the proof of Theorem 3 to establish the following result. Theorem 9. Let T (t, s) be an evolution family for which the spectrum is neither nor R. If there exists ρ 0 such that T (t, s) is compact whenever t > s + ρ, then property of Theorem 3 holds. The compactness assumption holds in particular for the evolution families associated to some linear delay equations with ρ > 0 (see [5]) some linear parabolic partial differential equations with ρ = 0 (see [6]). It is also straightforward to establish a version of Theorem 9 for evolution families on the half-line. Now we consider the particular class of evolution families with bounded growth we show how one can use directly the results for discrete time to obtain corresponding results for this class. More precisely, we obtain the particular case of Theorem 9 for this class with a very simple proof applying Theorem 3, instead of having the need to adapt all arguments in its proof. Theorem 0. K, c > 0 such that Let T (t, s) be an evolution family with the property that there exist (8) T (t, s) Ke c(t s) for t s. If there exists ρ 0 such that T (t, s) is compact whenever t > s + ρ, then one of the following alternatives hold:. Σ = ; 2. Σ = k n= [a n, b n ], for some numbers a n b n as in (); 3. Σ = k n= [a n, b n ] (, b k ], for some numbers a n b n as in (); 4. Σ = n= [a n, b n ], for some numbers a n b n as in (2) with lim n + a n = ; 5. Σ = n= [a n, b n ] (, b ], for some numbers a n b n as in (2) with b := lim n + a n >. Proof. We first recall that for an evolution family satisfying (8) the following properties are equivalent (see [7, Theorem.3]):

16 6 L. Barreira, D. Dragičević C. Valls. T (t, s) admits an exponential dichotomy; 2. taking α > ρ, the sequence (A n ) n Z with admits an exponential dichotomy. A n = T (αn, α(n )), for n Z, Hence, Σ coincides with the spectrum of the sequence (A n ) n Z. Moreover, in view of the compactness assumption for T (t, s) since α > ρ, each operator A n is compact. The desired conclusion follows now readily from Theorem 3 since it follows from (8) that Σ (, c]. Acknowledgements. L.B. C.V. were supported by FCT/Portugal through UID/MAT/04459/203. D.D. was supported in part by an Australian Research Council Discovery Project DP500007, Croatian Science Foundation under the project IP by the University of Rijeka research grant References [] B. Aulbach S. Siegmund, A spectral theory for nonautonomous difference equations, in New Trends in Difference Equations (Temuco, 2000), Taylor & Francis, London, 2002, pp [2] C. Chicone Yu. Latushkin, Evolution Semigroups in Dynamical Systems Differential Equations, Mathematical Surveys Monographs, 70, American Mathematical Society, Providence, RI, 999. [3] S.-N. Chow H. Leiva, Dynamical spectrum for time dependent linear systems in Banach spaces, Japan J. Indust. Appl. Math., (994), [4] J. Conway, A Course in Functional Analysis, Graduate Texts in Mathematics, 96, Springer-Verlag, New York, 990. [5] J. Hale, Theory of Functional Differential Equations, Applied Mathematical Sciences, 3, Springer- Verlag, New York-Heidelberg, 977. [6] D. Henry, Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Mathematics, 840, Springer-Verlag, Berlin-New York, 98. [7] D. Henry, Exponential dichotomies, the shadowing lemma homoclinic orbits in Banach spaces, Resenhas, (994), [8] R. Johnson, K. Palmer G. Sell, Ergodic properties of linear dynamical systems, SIAM J. Math. Anal., 8 (987), 33. [9] R. Sacker G. Sell, A spectral theory for linear differential systems, J. Differential Equations, 27 (978), [0] R. Sacker G. Sell, Dichotomies for linear evolutionary equations in Banach spaces, J. Differential Equations, 3 (994), [] S. Siegmund, Dichotomy spectrum for nonautonomous differential equations, J. Dynam. Differential Equations, 4 (2002), [2] G. Wang Y. Cao, Dynamical spectrum in rom dynamical systems, J. Dynam. Differential Equations 26 (204), 20. Luis Barreira Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Lisboa, Portugal barreira@math.tecnico.ulisboa.pt Davor Dragičević School of Mathematics Statistics, University of New South Wales, Sydney NSW 2052, Australia ddragicevic@math.uniri.hr

17 Spectrum for compact operators on Banach spaces 7 Claudia Valls Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Lisboa, Portugal cvalls@math.tecnico.ulisboa.pt

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS

More information

DISCRETE METHODS AND EXPONENTIAL DICHOTOMY OF SEMIGROUPS. 1. Introduction

DISCRETE METHODS AND EXPONENTIAL DICHOTOMY OF SEMIGROUPS. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXIII, 2(2004), pp. 97 205 97 DISCRETE METHODS AND EXPONENTIAL DICHOTOMY OF SEMIGROUPS A. L. SASU Abstract. The aim of this paper is to characterize the uniform exponential

More information

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia

INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS. Quanlei Fang and Jingbo Xia INVARIANT SUBSPACES FOR CERTAIN FINITE-RANK PERTURBATIONS OF DIAGONAL OPERATORS Quanlei Fang and Jingbo Xia Abstract. Suppose that {e k } is an orthonormal basis for a separable, infinite-dimensional Hilbert

More information

REAL RENORMINGS ON COMPLEX BANACH SPACES

REAL RENORMINGS ON COMPLEX BANACH SPACES REAL RENORMINGS ON COMPLEX BANACH SPACES F. J. GARCÍA PACHECO AND A. MIRALLES Abstract. In this paper we provide two ways of obtaining real Banach spaces that cannot come from complex spaces. In concrete

More information

Math Solutions to homework 5

Math Solutions to homework 5 Math 75 - Solutions to homework 5 Cédric De Groote November 9, 207 Problem (7. in the book): Let {e n } be a complete orthonormal sequence in a Hilbert space H and let λ n C for n N. Show that there is

More information

A Finite-time Condition for Exponential Trichotomy in Infinite Dynamical Systems

A Finite-time Condition for Exponential Trichotomy in Infinite Dynamical Systems Canad. J. Math. Vol. 67 (5), 015 pp. 1065 1090 http://dx.doi.org/10.4153/cjm-014-03-3 c Canadian Mathematical Society 014 A Finite-te Condition for Exponential Trichotomy in Infinite Dynamical Systems

More information

Computing Sacker-Sell spectra in discrete time dynamical systems

Computing Sacker-Sell spectra in discrete time dynamical systems Computing Sacker-Sell spectra in discrete time dynamical systems Thorsten Hüls Fakultät für Mathematik, Universität Bielefeld Postfach 100131, 33501 Bielefeld, Germany huels@math.uni-bielefeld.de March

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

BLOCH FUNCTIONS ON THE UNIT BALL OF AN INFINITE DIMENSIONAL HILBERT SPACE

BLOCH FUNCTIONS ON THE UNIT BALL OF AN INFINITE DIMENSIONAL HILBERT SPACE BLOCH FUNCTIONS ON THE UNIT BALL OF AN INFINITE DIMENSIONAL HILBERT SPACE OSCAR BLASCO, PABLO GALINDO, AND ALEJANDRO MIRALLES Abstract. The Bloch space has been studied on the open unit disk of C and some

More information

A REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES

A REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES KING-YEUNG LAM

More information

Exponential stability of operators and operator semigroups

Exponential stability of operators and operator semigroups Exponential stability of operators and operator semigroups 1 J.M.A.M. van Neerven California Institute of Technology Alfred P. Sloan Laboratory of Mathematics Pasadena, CA 91125, U.S.A. Extending earlier

More information

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame

More information

5 Compact linear operators

5 Compact linear operators 5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.

More information

SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS

SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D

More information

MODELS OF LEARNING AND THE POLAR DECOMPOSITION OF BOUNDED LINEAR OPERATORS

MODELS OF LEARNING AND THE POLAR DECOMPOSITION OF BOUNDED LINEAR OPERATORS Eighth Mississippi State - UAB Conference on Differential Equations and Computational Simulations. Electronic Journal of Differential Equations, Conf. 19 (2010), pp. 31 36. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu

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

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

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February

More information

Smooth Ergodic Theory and Nonuniformly Hyperbolic Dynamics

Smooth Ergodic Theory and Nonuniformly Hyperbolic Dynamics CHAPTER 2 Smooth Ergodic Theory and Nonuniformly Hyperbolic Dynamics Luis Barreira Departamento de Matemática, Instituto Superior Técnico, 1049-001 Lisboa, Portugal E-mail: barreira@math.ist.utl.pt url:

More information

Rolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1

Rolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1 Journal of Mathematical Analysis and Applications 265, 322 33 (2002) doi:0.006/jmaa.200.7708, available online at http://www.idealibrary.com on Rolle s Theorem for Polynomials of Degree Four in a Hilbert

More information

Linear Algebra and its Applications

Linear Algebra and its Applications Linear Algebra its Applications 432 21) 394 41 Contents lists available at ScienceDirect Linear Algebra its Applications journal homepage: wwwelseviercom/locate/laa On the Perron exponents of discrete

More information

ON ω-independence AND THE KUNEN-SHELAH PROPERTY. 1. Introduction.

ON ω-independence AND THE KUNEN-SHELAH PROPERTY. 1. Introduction. ON ω-independence AND THE KUNEN-SHELAH PROPERTY A. S. GRANERO, M. JIMÉNEZ-SEVILLA AND J. P. MORENO Abstract. We prove that spaces with an uncountable ω-independent family fail the Kunen-Shelah property.

More information

On the dynamics of strongly tridiagonal competitive-cooperative system

On the dynamics of strongly tridiagonal competitive-cooperative system On the dynamics of strongly tridiagonal competitive-cooperative system Chun Fang University of Helsinki International Conference on Advances on Fractals and Related Topics, Hong Kong December 14, 2012

More information

Takens embedding theorem for infinite-dimensional dynamical systems

Takens embedding theorem for infinite-dimensional dynamical systems Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens

More information

SOME PROPERTIES OF ESSENTIAL SPECTRA OF A POSITIVE OPERATOR

SOME PROPERTIES OF ESSENTIAL SPECTRA OF A POSITIVE OPERATOR SOME PROPERTIES OF ESSENTIAL SPECTRA OF A POSITIVE OPERATOR E. A. ALEKHNO (Belarus, Minsk) Abstract. Let E be a Banach lattice, T be a bounded operator on E. The Weyl essential spectrum σ ew (T ) of the

More information

On Riesz-Fischer sequences and lower frame bounds

On Riesz-Fischer sequences and lower frame bounds On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition

More information

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with

More information

arxiv: v1 [math.gr] 8 Nov 2008

arxiv: v1 [math.gr] 8 Nov 2008 SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra

More information

arxiv: v1 [math.fa] 2 Jan 2017

arxiv: v1 [math.fa] 2 Jan 2017 Methods of Functional Analysis and Topology Vol. 22 (2016), no. 4, pp. 387 392 L-DUNFORD-PETTIS PROPERTY IN BANACH SPACES A. RETBI AND B. EL WAHBI arxiv:1701.00552v1 [math.fa] 2 Jan 2017 Abstract. In this

More information

Almost Invariant Half-Spaces of Operators on Banach Spaces

Almost Invariant Half-Spaces of Operators on Banach Spaces Integr. equ. oper. theory Online First c 2009 Birkhäuser Verlag Basel/Switzerland DOI 10.1007/s00020-009-1708-8 Integral Equations and Operator Theory Almost Invariant Half-Spaces of Operators on Banach

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

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

WEYL S THEOREM FOR PAIRS OF COMMUTING HYPONORMAL OPERATORS

WEYL S THEOREM FOR PAIRS OF COMMUTING HYPONORMAL OPERATORS WEYL S THEOREM FOR PAIRS OF COMMUTING HYPONORMAL OPERATORS SAMEER CHAVAN AND RAÚL CURTO Abstract. Let T be a pair of commuting hyponormal operators satisfying the so-called quasitriangular property dim

More information

Subsequences of frames

Subsequences of frames Subsequences of frames R. Vershynin February 13, 1999 Abstract Every frame in Hilbert space contains a subsequence equivalent to an orthogonal basis. If a frame is n-dimensional then this subsequence has

More information

Topologies, ring norms and algebra norms on some algebras of continuous functions.

Topologies, ring norms and algebra norms on some algebras of continuous functions. Topologies, ring norms and algebra norms on some algebras of continuous functions. Javier Gómez-Pérez Javier Gómez-Pérez, Departamento de Matemáticas, Universidad de León, 24071 León, Spain. Corresponding

More information

Detailed Proof of The PerronFrobenius Theorem

Detailed Proof of The PerronFrobenius Theorem Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

A. L. Sasu EXPONENTIAL INSTABILITY AND COMPLETE ADMISSIBILITY FOR SEMIGROUPS IN BANACH SPACES

A. L. Sasu EXPONENTIAL INSTABILITY AND COMPLETE ADMISSIBILITY FOR SEMIGROUPS IN BANACH SPACES Rend. Sem. Mat. Univ. Pol. Torino - Vol. 63, 2 (2005) A. L. Sasu EXPONENTIAL INSTABILITY AND COMPLETE ADMISSIBILITY FOR SEMIGROUPS IN BANACH SPACES Abstract. We associate a discrete-time equation to an

More information

ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.

ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N. ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that

More information

Weighted Sums of Orthogonal Polynomials Related to Birth-Death Processes with Killing

Weighted Sums of Orthogonal Polynomials Related to Birth-Death Processes with Killing Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 8, Number 2, pp. 401 412 (2013) http://campus.mst.edu/adsa Weighted Sums of Orthogonal Polynomials Related to Birth-Death Processes

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

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

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

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

arxiv: v1 [math.fa] 23 Dec 2015

arxiv: v1 [math.fa] 23 Dec 2015 On the sum of a narrow and a compact operators arxiv:151.07838v1 [math.fa] 3 Dec 015 Abstract Volodymyr Mykhaylyuk Department of Applied Mathematics Chernivtsi National University str. Kotsyubyns koho,

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

The Geometric Approach for Computing the Joint Spectral Radius

The Geometric Approach for Computing the Joint Spectral Radius Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 TuB08.2 The Geometric Approach for Computing the Joint Spectral

More information

General Mathematics Vol. 16, No. 1 (2008), A. P. Madrid, C. C. Peña

General Mathematics Vol. 16, No. 1 (2008), A. P. Madrid, C. C. Peña General Mathematics Vol. 16, No. 1 (2008), 41-50 On X - Hadamard and B- derivations 1 A. P. Madrid, C. C. Peña Abstract Let F be an infinite dimensional complex Banach space endowed with a bounded shrinking

More information

QUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY

QUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY QUALITATIVE CONTROLLABILITY AND UNCONTROLLABILITY BY A SINGLE ENTRY D.D. Olesky 1 Department of Computer Science University of Victoria Victoria, B.C. V8W 3P6 Michael Tsatsomeros Department of Mathematics

More information

Topologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems

Topologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems CADERNOS DE MATEMÁTICA 06, 45 60 May (2005) ARTIGO NÚMERO SMA#211 Topologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems Everaldo de Mello Bonotto * Departamento de Matemática,

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC

More information

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying

More information

DEFINABLE OPERATORS ON HILBERT SPACES

DEFINABLE OPERATORS ON HILBERT SPACES DEFINABLE OPERATORS ON HILBERT SPACES ISAAC GOLDBRING Abstract. Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize

More information

Introduction to Bases in Banach Spaces

Introduction to Bases in Banach Spaces Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers

More information

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

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES

ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES ASIAN JOURNAL OF MATHEMATICS AND APPLICATIONS Volume 2014, Article ID ama0155, 11 pages ISSN 2307-7743 http://scienceasia.asia ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES KANU, RICHMOND U. AND RAUF,

More information

A quantitative version of the commutator theorem for zero trace matrices

A quantitative version of the commutator theorem for zero trace matrices A quantitative version of the commutator theorem for zero trace matrices William B. Johnson, Narutaka Ozawa, Gideon Schechtman Abstract Let A be a m m complex matrix with zero trace and let ε > 0. Then

More information

Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

More information

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning

More information

( f ^ M _ M 0 )dµ (5.1)

( f ^ M _ M 0 )dµ (5.1) 47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded

More information

A Spectral Characterization of Closed Range Operators 1

A Spectral Characterization of Closed Range Operators 1 A Spectral Characterization of Closed Range Operators 1 M.THAMBAN NAIR (IIT Madras) 1 Closed Range Operators Operator equations of the form T x = y, where T : X Y is a linear operator between normed linear

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

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

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space

More information

Lipschitz shadowing implies structural stability

Lipschitz shadowing implies structural stability Lipschitz shadowing implies structural stability Sergei Yu. Pilyugin Sergei B. Tihomirov Abstract We show that the Lipschitz shadowing property of a diffeomorphism is equivalent to structural stability.

More information

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999 Scientiae Mathematicae Vol. 3, No. 1(2000), 107 115 107 ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI Received December 14, 1999

More information

DAVIS WIELANDT SHELLS OF NORMAL OPERATORS

DAVIS WIELANDT SHELLS OF NORMAL OPERATORS DAVIS WIELANDT SHELLS OF NORMAL OPERATORS CHI-KWONG LI AND YIU-TUNG POON Dedicated to Professor Hans Schneider for his 80th birthday. Abstract. For a finite-dimensional operator A with spectrum σ(a), the

More information

Multiplication Operators with Closed Range in Operator Algebras

Multiplication Operators with Closed Range in Operator Algebras J. Ana. Num. Theor. 1, No. 1, 1-5 (2013) 1 Journal of Analysis & Number Theory An International Journal Multiplication Operators with Closed Range in Operator Algebras P. Sam Johnson Department of Mathematical

More information

ON PARABOLIC HARNACK INEQUALITY

ON PARABOLIC HARNACK INEQUALITY ON PARABOLIC HARNACK INEQUALITY JIAXIN HU Abstract. We show that the parabolic Harnack inequality is equivalent to the near-diagonal lower bound of the Dirichlet heat kernel on any ball in a metric measure-energy

More information

Trace Class Operators and Lidskii s Theorem

Trace Class Operators and Lidskii s Theorem Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace

More information

A note on the σ-algebra of cylinder sets and all that

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

More information

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 34, 29, 327 338 NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS Shouchuan Hu Nikolas S. Papageorgiou

More information

arxiv:math/ v1 [math.fa] 26 Oct 1993

arxiv:math/ v1 [math.fa] 26 Oct 1993 arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological

More information

A CONCISE PROOF OF THE GEOMETRIC CONSTRUCTION OF INERTIAL MANIFOLDS

A CONCISE PROOF OF THE GEOMETRIC CONSTRUCTION OF INERTIAL MANIFOLDS This paper has appeared in Physics Letters A 200 (1995) 415 417 A CONCISE PROOF OF THE GEOMETRIC CONSTRUCTION OF INERTIAL MANIFOLDS James C. Robinson Department of Applied Mathematics and Theoretical Physics,

More information

On the bang-bang property of time optimal controls for infinite dimensional linear systems

On the bang-bang property of time optimal controls for infinite dimensional linear systems On the bang-bang property of time optimal controls for infinite dimensional linear systems Marius Tucsnak Université de Lorraine Paris, 6 janvier 2012 Notation and problem statement (I) Notation: X (the

More information

Law of total probability and Bayes theorem in Riesz spaces

Law of total probability and Bayes theorem in Riesz spaces Law of total probability and Bayes theorem in Riesz spaces Liang Hong Abstract. This note generalizes the notion of conditional probability to Riesz spaces using the order-theoretic approach. With the

More information

Projection-valued measures and spectral integrals

Projection-valued measures and spectral integrals Projection-valued measures and spectral integrals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 16, 2014 Abstract The purpose of these notes is to precisely define

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

The Lusin Theorem and Horizontal Graphs in the Heisenberg Group

The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that

More information

ON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES

ON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES Volume 10 (2009), Issue 4, Article 91, 5 pp. ON THE HÖLDER CONTINUITY O MATRIX UNCTIONS OR NORMAL MATRICES THOMAS P. WIHLER MATHEMATICS INSTITUTE UNIVERSITY O BERN SIDLERSTRASSE 5, CH-3012 BERN SWITZERLAND.

More information

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n. Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone

More information

EXPLICIT UPPER BOUNDS FOR THE SPECTRAL DISTANCE OF TWO TRACE CLASS OPERATORS

EXPLICIT UPPER BOUNDS FOR THE SPECTRAL DISTANCE OF TWO TRACE CLASS OPERATORS EXPLICIT UPPER BOUNDS FOR THE SPECTRAL DISTANCE OF TWO TRACE CLASS OPERATORS OSCAR F. BANDTLOW AND AYŞE GÜVEN Abstract. Given two trace class operators A and B on a separable Hilbert space we provide an

More information

Disintegration into conditional measures: Rokhlin s theorem

Disintegration into conditional measures: Rokhlin s theorem Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the

More information

On Equivariant Block Triangularization of Matrix Cocyles

On Equivariant Block Triangularization of Matrix Cocyles On Equivariant Block Triangularization of Matrix Cocyles Christopher Bose, Joseph Horan, Anthony Quas September 24, 24 Abstract The Multiplicative Ergodic Theorem shows that a real matrix cocycle is block

More information

ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction

ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION. In Ho Jeon and B. P. Duggal. 1. Introduction J. Korean Math. Soc. 41 (2004), No. 4, pp. 617 627 ON OPERATORS WITH AN ABSOLUTE VALUE CONDITION In Ho Jeon and B. P. Duggal Abstract. Let A denote the class of bounded linear Hilbert space operators with

More information

Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations

Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations Peter Kloeden and Thomas Lorenz Abstract In 1998 at the ICDEA Poznan the first author talked about pullback attractors of

More information

THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE

THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results

More information

POINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS

POINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS POINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS LUIS BARREIRA AND CHRISTIAN WOLF Abstract. We study the Hausdorff dimension and the pointwise dimension of measures that are not necessarily ergodic. In particular,

More information

APPROXIMATION OF MOORE-PENROSE INVERSE OF A CLOSED OPERATOR BY A SEQUENCE OF FINITE RANK OUTER INVERSES

APPROXIMATION OF MOORE-PENROSE INVERSE OF A CLOSED OPERATOR BY A SEQUENCE OF FINITE RANK OUTER INVERSES APPROXIMATION OF MOORE-PENROSE INVERSE OF A CLOSED OPERATOR BY A SEQUENCE OF FINITE RANK OUTER INVERSES S. H. KULKARNI AND G. RAMESH Abstract. Let T be a densely defined closed linear operator between

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

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces Stud. Univ. Babeş-Bolyai Math. 56(2011), No. 4, 147 156 On (h, k) trichotomy for skew-evolution semiflows in Banach spaces Codruţa Stoica and Mihail Megan Abstract. In this paper we define the notion of

More information

ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES

ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M. I. OSTROVSKII (Communicated by Dale Alspach) Abstract.

More information

Lecture Notes 1: Vector spaces

Lecture Notes 1: Vector spaces Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector

More information

Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition

Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition F. Ammar Khodja Clermont-Ferrand, June 2011 GOAL: 1 Show the important differences between scalar and non

More information

THE DAUGAVETIAN INDEX OF A BANACH SPACE 1. INTRODUCTION

THE DAUGAVETIAN INDEX OF A BANACH SPACE 1. INTRODUCTION THE DAUGAVETIAN INDEX OF A BANACH SPACE MIGUEL MARTÍN ABSTRACT. Given an infinite-dimensional Banach space X, we introduce the daugavetian index of X, daug(x), as the greatest constant m 0 such that Id

More information

INVESTIGATING THE NUMERICAL RANGE AND Q-NUMERICAL RANGE OF NON SQUARE MATRICES. Aikaterini Aretaki, John Maroulas

INVESTIGATING THE NUMERICAL RANGE AND Q-NUMERICAL RANGE OF NON SQUARE MATRICES. Aikaterini Aretaki, John Maroulas Opuscula Mathematica Vol. 31 No. 3 2011 http://dx.doi.org/10.7494/opmath.2011.31.3.303 INVESTIGATING THE NUMERICAL RANGE AND Q-NUMERICAL RANGE OF NON SQUARE MATRICES Aikaterini Aretaki, John Maroulas Abstract.

More information