Riesz bases and exact controllability of C 0 -groups with one-dimensional input operators
|
|
- Angel Barnett
- 5 years ago
- Views:
Transcription
1 Available online at Systems & Control Letters 52 (24) Riesz bases and exact controllability of C -groups with one-dimensional input operators Bao-Zhu Guo a;, Gen-Qi Xu b a Academy of Mathematics and System Sciences, Academia Sinica, Beijing 18, PR China b Department of Mathematics, Tianjin University, Tianjin 372, PR China Received 26 September 23; received in revised form 18 November 23; accepted 1 December 23 Abstract This paper considers linear innite dimensional systems with C -group generators and one-dimensional admissible input operators. The exact controllability and Riesz basis generation property are discussed. The corresponding results of Jacob and Zwart (Advances in Mathematical Systems Theory, Birkhauser, Boston, MA, 2) under the assumption of algebraic simplicity for eigenvalues of the generator are generalized to the case in which the eigenvalues are allowed to be algebraically multiple but with a uniform bound on the multiplicity. c 23 Elsevier B.V. All rights reserved. Keywords: Riesz basis; Controllability; Functions of exponentials; Semigroups 1. Introduction Many systems describing vibrations of exible structures with boundary control can be put into the form of innite-dimensional systems of the following kind: ẋ(t)=ax(t)+bu(t); (1) where A: D(A) H is the generator of a C -group T (t) on the complex separable Hilbert space H and b is an admissible one-dimensional control operator, i.e., b [D(A )], the dual space of the graph space [D(A )], where A is the adjoint operator of A. t T(t s)bu(s)ds Corresponding author. Tel.: ; fax: address: bzguo@iss3.iss.ac.cn (B.-Z. Guo). denes a bounded linear operator from L 2 (;t)toh for some (and hence all) t. The input function u is assumed to be in L 2 loc (; ). Under these conditions, for any x H and u L 2 loc (; ), (1) admits a unique solution given by x(t)=t(t)x + t T(t s)bu(s)ds; t : (2) Weiss [16] showed that x( ) lies in H and is continuous. We say that system (1) isexactly controllable in time t if for any x H there exists an input function u x L 2 (;t ) such that =T(t )x + t T(t s)bu x (s)ds: (3) Exactly, the above denition is the denition of exact null-controllability. But because T( )isac -group, it coincides with exact controllability /$ - see front matter c 23 Elsevier B.V. All rights reserved. doi:1.116/j.sysconle
2 222 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) In the spirit of Jacoband Zwart [9 11], this paper continues studying the exact controllability of system (1). It is well known that system (1) cannot be exactly controllable if H is innite-dimensional and b is an element of H (see [4, Theorem 4.1.5]). However, when b is an unbounded operator, the situation is quite dierent. A typical practical example is the following Euler Bernoulli beam equation which is widely used in the control of vibrations of the exible arms: y tt (x; t)+y xxxx (x; t)=; y(;t)=y x (;t)=y xx (1;t)=; x 1; t ; y xxx (1;t)=u(t): (4) System (4) can be written as y tt (x; t)+y xxxx (x; t)+(x 1)u(t)=; y(;t)=y x (;t)=y xx (1;t)=y xxx (1;t)=; (5) where ( 1) denotes Dirac function. It is known (see, e.g., [8,13]) that system (5) is exactly controllable in any time t. Another widely used example is the following model of a NASA spacecraft control laboratory experiment (SCOLE): (x)y tt (x; t)+(ei(x)y xx (x; t)) xx =; x 1; t ; y(;t)=y x (;t)=; my tt (1;t) (EIy xx ) x (1;t)=; Jy xtt (1;t)+EI(1)y xx (1;t)=u(t): (6) It was shown in [7] that system (6) is exactly controllable in some graph space in any nite time t. The motivation of this work is using the eigenpairs of operator A to characterize the exact controllability of system (1) and vice versa. A variety of necessary and sucient conditions have been available in the literature that ensure the exact controllability of system (1), see, for instance, Ref. [1] and the references therein. Here we are concerned with the relationship between the exact controllability and Riesz basis property of the eigenvectors of the operator A. Asin[1], we assume that A generates an exponential stable C -semigroup. However, the exponential stability assumption is not restrictive because both admissibility and exact controllability are invariant with respect to a scalar shift of A. In the sequel, we also use (A; b) to refer to system (1). When system (1) is exactly controllable, it has been shown in [9,1] that the spectrum of A is of a very special form. We summarize these results as follows. Theorem 1. Assume that system (1) is exactly controllable. Then (i) the spectrum of A consists of isolated eigenvalues: (A) ={ n } and inf n Re n 6 sup n Re n ; (ii) each eigenvalue has nite algebraic multiplicity and geometric multiplicity one; (iii) (A )={ n n Z} and every n is an isolated eigenvalue of A with nite algebraic multiplicity and geometric multiplicity one; (iv) both span{e( n ;A)H; } and span{e( n ;A ) H; n Z} are dense in H, where E(; ) denotes the eigen projection with respect to the spectral (v) set ; m n (7) n 1+ for any, where m n is the algebraic multiplicity of n. Let us recall that a scalar sequence of complex numbers { n n Z} is called separated if inf n m : (8) n;m Z;n m A sequence {f i } i=1 in H is called bi-orthogonal to the sequence {e i } i=1 if { 1; i= j; f i ;e j = ij = ; i j; i; j =1; 2;::: : The sequence {e i } i=1 is called a basis for H if any element x H has a unique representation x = c i e i ; (9) i=1
3 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) the series being convergent with respect to the norm of H. {e i } i=1 is called a Riesz basis for H if (a) span{e i } = H, and (b) there exist positive constants m and M such that for an positive integer n and any numbers c i ;i= 1; 2;:::;n, we have n m c i 2 n 2 n 6 c i e i 6 M c i 2 : i=1 i=1 i=1 In a Hilbert space, the most important bases are orthonormal. Second in importance are Riesz bases that are bases equivalent to some orthonormal basis. We refer to [18] for more details on Riesz bases. We denote by H 1 the completion of H with respect to the norm 1 = ( A) 1 for some (A): According to Weiss [16], H 1 is equivalent to [D(A )]. For any (A);R(; A) =( A) 1 has a natural extension R(; A) from H 1 to H: R(; A)x = R(; A)x for all x H. A can be extended to all of H by Ãx; y = x; A y for any x H; y D(A ): Ã is an isomorphism from H to H 1. By Proposition 3.3 of [16], for any L L(H) which commutes with A, there is an extension L on H 1 : L =( Ã)L R( ;A): In the sequel, we still use A and E(; A) to denote their extensions to H 1. Let { n } be the normalized eigenvectors of A associated with { n } and { n } the normalized eigenvectors of A associated with { n }. For the case of m n = 1, that is, each n is algebraically simple, the equivalence of the following conditions are proven in Corollary 1.1 of [1]. Theorem 2. Assume that the system (A; b) is exactly controllable and each eigenvalue of A is algebraically simple. Then the following statements are equivalent: (i) inf n m n m. (ii) inf n n ; n. (iii) { n } is a Riesz basis in H. (iv) { n } is a Riesz basis in H. A characterization of exact controllability and Riesz basis generation were obtained in Theorem 1.2 of [1] assuming that the eigenvalues are simple. Theorem 3. Assume that each eigenvalue n of A is algebraically simple and the eigenvalues are separated: inf n m n m. Then the following conditions are equivalent: (i) (A; b) is exactly controllable. (ii) For each x H, there exist functions x ( ) H 2 (C + ; H) and! x ( ) H 2 (C + ) such that x =( A) x () b! x () C + : (iii) For each x H, there exists a function! x ( ) H 2 (C + ) such that! x ( n )= x; n b; n (iv) 2 x; n b; n n Z: x H: n N (v) inf n b; n 6sup n b; n and { n } forms a Riesz basis for H. (vi) inf n b; n 6sup n b; n and { n } forms a Riesz basis for H. It is seen that in both Theorems 2 and 3, there is a basic assumption that all eigenvalues of A are algebraically simple. This, however, is not always the case in applications. The simple string equation with viscous damping is an example where A has multiple eigenvalues [3] y tt (x; t)+y xx (x; t)+y t (x; t)=; x 1; t ; y(;t)=; y x (1;t)=u(t) (1) which can be written as y tt (x; t)+y xx (x; t)+y t (x; t) (x 1)u(t)=; y(;t)=y x (;t)=: (11)
4 224 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) If = n =2 where n =2 is some eigenvalue of the free system ( = u = ), then multiple eigenvalue appears for the uncontrolled system (u = ). In this paper, we generalize the above results to the case of multiple eigenvalues. In the next section, wegiveacharacterizationoftheresolventofaunderthe exact controllability condition. Our result implies the conclusion (iv) of Theorem 1. In Section 3, Theorems 2 and 3 are generalized to the case in which sup m n : n Note that the case sup n m n = may contradict the assumption of exact controllability. We refer to counterexamples for which A is a discrete operator (that is, the resolvent is compact) but does not satisfy the spectrum-determined growth condition (see e.g. [14]). In such a case, (A; B) is never exactly controllable for any nite-dimensional admissible input operator B, by Theorem 5.14 of [9]. 2. Some basic facts and improved (;!) representation For any, denote by S n; = { C n } the circle centered at n with radius in the complex plane. Lemma 1. Suppose that (A; b) is exactly controllable with isolated separated eigenvalues { n }. Then for any ; R(; A) is uniformly bounded in G = C S n;. Proof. Since A generates a C -group, it follows from the Hille Yosida theorem that there exist!; M such that R(; A) 6 M as Re!: Re! If the lemma is not true, then there exists a sequence {s n } with s n G such that sup n R(s n ;A) =. It follows that Re s n 6!. We need only consider the case of s n since (A; b) is exactly controllable if and only if ( A; b) is exactly controllable. Take ==2. Then {s C s s n } (A). Since the exact controllability condition is stronger than the optimizability condition, it follows from Lemma 5.12 of [9] that sup n R(s n ;A), contradiction. The result follows. Recall that an entire function f( ) is said to be of exponential type if the inequality f(z) 6 Ce L z (12) holds for some positive constants C and L and all complex values of z. The smallest of constants L is said to be the exponential type of f( ) [18]. Lemma 2. If (A; b) is exactly controllable in t then for any x H, there exist entire functions of exponential type x ( ) and! x ( ) such that x =( A) x () b! x () C; where both the exponential type of x and! x are at most t. Moreover x ( ) H 2 (C + ; H);! x ( ) H 2 (C + ). Proof. Since (A; b) is exactly controllable in t, for any x H, there exists u x L 2 (;t ) such that x = t T( s)bu x (s)ds: Dene operator B t : L 2 (;t ) H: B t u = t T( s)bu(s)ds: (13) Since b is admissible, B t is a linear bounded operator from L 2 (;t )toh. Set U = ker(b t ) : (14) Then B t is a 1 1 mapping from U to H: For any x H, there exists a unique u x U such that x = B t u x. Now for x H, dene the function û x in L 2 loc (; ) by { ux (t); 6 t 6 t ; û x = ; t t and the function x( ) inh: x(t)=t(t)x + t T(t s)bû x (s)ds: Then x( ) is continuous in H and x() = x; x(t) = ; t t. Dene entire functions x ()= t e t x(t)dt;! x ()= t e t u x (t)dt: (15) Then under the restriction u x U, both x and! x are uniquely determined by x H. It is obvious that both
5 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) x and! x are entire functions of exponential type at most t. We show that x D(A). Notice that x ()= t t e t T(t)x dt t + e t dt T (t s)bu x (s)ds: From C -semigroup theory, the rst term above belongs to D(A) and ( A) t e t T(t)x dt = e t x(t )+x = x: For the second term, it holds T(h) I t t lim e t dt T (t s)bu x (s)ds h + h t =e t T(t s)bu x (s)ds t t + e t dt T (t s)bu x (s)ds t b e t u x (t)dt and so x D(A) and x =( A) x () b! x ()+e t x(t ) =( A) x () b! x (): Furthermore, since x(t);u x (t) are square integrable functions, it follows from the Paley Wiener theorem that x ( ) H 2 (C + ; H);! x ( ) H 2 (C + ). Let n be an eigenvalue of A with algebraic multiplicity m n. We say that n;1 is a highest order generalized eigenvector of A if (A n ) mn n;1 =; (A n ) mn 1 n;1 : Lemma 3. Assume that (A; b) is exactly controllable. n is an eigenvalue of A with algebraic multiplicity m n and is an highest order generalized eigenvector of A corresponding to n. Choose and! as in Lemma 2 so that =( A) () b! (): Denote by the zero set of! (). Then (A) { n } and! ( ) ( k)=; {; 1; 2;:::;m k 1} k n: Proof. This is Proposition 12.7 of [1], we omit the details. Theorem 4. Assume that (A; b) is exactly controllable in t. Then R(; A) can be represented as F(; A) R(; A)= P() ; (16) where F( ;A) is an operator-valued entire function of exponential type and P( ) is a scalar entire function of exponential type, both with exponential type at most t. Proof. Let { n } be the spectrum of A. From Lemma 3, for any xed n; { k ;k n} is a subset of zeros of an entire function of exponential type!. So the canonical product P() of{ n } does exist [18]. Let ()= ( n) mn! () ; P() where! is determined by Lemma 3. Then is an entire function and ( n ) mn! ()=()P(): Since ( n ) mn! () is an entire function of exponential type at most t. From complex analysis, the exponential type of P() is at most t. Let F(; A)=P()R(; A): Then F( ;A) is an operator-valued function. From Lemma 1, when C S n;; R(; A 6 M() for some ; M(), and hence F(; A) 6 M() P(). This, together with the fact that F( ;A) attains its maximal value on the boundary in each closed ball of S n; by the analyticity of F( ;A), concludes that F(; A) is an entire function of exponential type at most t. In [1] it is shown that the root subspace of A and A are complete. Using Theorem 4, we obtain an alternative proof of this fact. Here we only give an outline of the proof of this fact, because the complete proof can be found in [15,17]. Let Sp(A ) denote the closed
6 226 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) subspace spanned by all generalized eigenvectors of A in H. Then from Lemmas 5 and 6 of [5] on pp and 2296, respectively, H = (A) Sp(A ); where (A) = {x H R(; A)x is analytic in C}. Since for any x (A);R(; A)x is a H-valued entire function of and the orders of both entire functions of F and P in (16) are less than or equal to 1, therefore, from general complex analysis, the order of R(; A)x is less than or equal to 1. That is, there is a such that R(; A)x = O(e 1+ ) as : Since A generates a C semigroup and A generates an exponential stable C -semigroup, it follows that R( ;A)x is uniformly bounded in both real and imaginary axis. Notice that R( ;A)x is uniformly bounded in the left complex plane. Applying the Phragmen Lindelof s theorem to R(; A)x in each angular region { = r i r ; 6 6 =2} and { = r i r ; =2 6 6 }, we know that R( ;A)x is also uniformly bounded in the right complex plane. It then follows from Liouville s theorem that R( ;A)x is a constant vector in the whole complex plane and hence x =. Therefore, Sp(A )=H. On the other hand, notice that R( ; A )= F (; A) : P() Same arguments show that Sp(A)= H. 3. Equivalent conditions for multiple eigenvalues We introduce some notations. We always assume that A satises parts (i) (iv) of Theorem 1. For each eigenvalue n, let n;1 be a highest order generalized eigenvector of A associated with n. Then other linearly independent generalized eigenvectors can be found through n;j =(A n ) j 1 n;1 ;j=2; 3;:::;m n. Let {{ n;j } mn } be the bi-orthogonal sequence of {{ n;j } mn }. Then (A n ) n;1 =; n;j = (A n ) n;j+1 ;j=2; 3;:::;m n 1. We can always make { n;mn } uniformly bounded with respect to n. Denote b n j = b; n;j [D(A )] [D(A )] for each j and n and b n 1 b n 2 b n 1 B n = b n 3 b n 2 b n 1 ;..... b n m n b n m n 1 b n m n 2 b n m n 3 b n 1 n Z: (17) n =( n;1 ; n;2 ;:::; n;mn ) T ; n =( n;1 ; n;2 ;::: n;mn ) T ; n Z: (18) Let n(x) denote the vector n(x)=[ x; n;1 ; x; n;2 ;:::; x; n;mn ] T ; x H; n Z: (19) The vector n (x) is dened similarly, by replacing n;j with n;j in the denition of n(x). Theorem 5. Assume A satises parts of conditions (i) (iv) of Theorem 1. Then the following conditions are equivalent: (i) (A; b) is exactly controllable in t (ii) For every x H, there exist entire functions x ( ) and! x ( ) of exponential type at most t such that x =( A) x () b! x () C; where also x H 2 (C + ; H) and! x H 2 (C + ). (iii) For every x H, there exists an entire function! x ( ) H 2 (C + ) of exponential type at most t such that x ( n ) ( =! x ( n );! x( n );! x ( n ) 2! x ( n ) (m n 1)! ;:::;!(mn 1) ) T = B 1 n n(x) n Z: (2) Proof. (i) (ii) follow from Lemma 2 and Proposition 12.5 of [1].
7 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) (i) (iii). Let! x ( ) be the function dened in (15). It is found directly that! x (k) ()= t e s ( s) k u x (s)ds: For each n, note that E( n ;A)b = m n b; n;j n;j and hence E( n ;A)x = t = k=1 T( s)e( n ;A)bu x (s)ds t ns ( s)k 1 e (k 1)! (A n) k 1 E( n ;A)bu x (s)ds = b; n;j k+1!(k 1) x ( n ) n;j (k 1)! k=1 j=k [ j = k=1 On the other hand, E( n ;A)x = x; n;j n;j : b n! (k 1) j k+1 ] x ( n ) n;j : (k 1)! Comparing these two expressions, we obtain B n x ( n )= n(x) n Z: (21) By the exact controllability assumption, b n 1.So Bn 1 exists, proving the conclusion. (iii) (i). Suppose such an entire function of exponential type! x ( ) does exist. Then since! x () is square integrable along the imaginary axis, by the Paley Wiener theorem [18, Theorem 18, p. 11] there exists a u x (s) L 2 (;t ) such that! x ()= t e s u x (s)ds: (22) For this function u x, we compute B t u x + x as follows: B t u x + x; n;j = t T( s)e( n ;A)b; n;j u x (s)ds + x; n;j = k=1 t ns ( s)k 1 e (k 1)! u x(s)ds E( n ;A)b; (A n ) k 1 n;j + x; n;j i = b n! x (k 1) ( n ) j k+1 + x; n;j (k 1)! =: k=1 Since { n;j j =1; 2;:::;m n } is complete in H, the above implies that B t u x = x. The proof is complete. Remark 1. From the last paragraph of the proof of the Theorem 5, we see that if! x ( ) is the function of exponential type at most t in the (;!) representation (ii) of Theorem 5, then the Paley Wiener theorem ensures that! x and u x are related by (22). And the function u x is just the control function which drives x into zero at time t. Moreover, the Plancherel s theorem shows that! x (i) 2 d =2 t u x (t) 2 dt: (23) Besides, from Theorem 17 and its Remark in [18] (see pp ), for any separated sequence { n } satisfying sup n Re n, there exists a constant C such that! x ( n ) 2 6 C! x (i) 2 d t =2C u x (t) 2 dt: (24) Remark 2. Suppose (A; b) is exactly controllable in t and take x = in (2), that is B t u x =. Then we have x ( n ) = for all n Z. By(22), we see that t t j e nt u x (t)dt = 6 j 6 m n 1 ;n Z: That is, any element u x in the kernel of operator B t in L 2 (;t ) is orthogonal to functions t j e nt ; 6 j 6 m n 1; n Z. Suppose that we have ordered eigenvalues { n } of A so that {Im n } forms a nonincreasing sequence in
8 228 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) C with respect to n Z. We make the following assumptions: inf n Re n 6 sup Re n 6 h n for some h and all n Z; inf n m n m ; sup m n : (25) In the sequel, we need the basis property of the family of exponential functions {g n;j (t)} in L 2 (;t ) dened as in following: = {G n (t)} = {[g n;1 (t);g n;2 (t);:::;g n;mn (t)] T } ; g n;j (t)= ( t)j 1 (j 1)! e nt : (26) The basis property of such exponential functions in L 2 space has been studied extensively by former Soviet mathematicians (Levin, Pavlov, Nikolskii and many others). Here we refer to recent work by Avdonin and Ivanov [2]. Denition 1. Let k ;k=1; 2;:::;m, be arbitrary complex numbers (not necessarily dierent). The generalized divided dierence (GDD) of order zero of the function e t corresponding to the point 1 is dened as [ 1 ](t)=e 1t. GDD of the order n 1;n6 m of e t corresponding to { k ;k=1; 2;:::;n} is dened by [ 1 ; 2 ;:::; n ](t) = [ 1; 2;:::; n 1](t) [ 2; 3;:::; n](t) 1 n ; 1 [; 2;:::; n 1 ](t) =1 ; 1 = n : Note that if i = ; i =1; 2;:::;n, then [ 1 ; 2 ;:::; i ](t)=t i 1 e t ; 1 6 i 6 n: (27) It should be pointed out that in Denition 1 of GDD in [2], all n are written i n. Here we remove i. The reason is that in [2], the basis property of exponential functions {( it) j 1 =(j 1)! e in } is considered, where { n } are located in the strip paralleling to the real axis. But here we need the basis property of functions {g n;j (t)} which can be written as {g n;j (t) = ( t) j 1 =(j 1)! e i(in)t }.Soi n here plays the role of n in [2]. The following proposition is key to the proof of our main results of this paper. Proposition 1. Under assumption (25), there exists a t (and hence for all t t ) such that forms a Riesz basis for span in L 2 (;t ). In particular, if {F n (t)} = {(f n;1 (t);f n;2 (t);:::;f n;mn (t)) T } is the bi-orthogonal sequence of in span, then there are constants C 1 and C 2 so that for any u span ; u= U n T G n (t); U n 2, it holds 2 C 1 U n 2 6 Un T G n (t) L 2 (;t ) 6 C 2 U n 2 ; (28) where U n =( u; f n;1 ;:::; u; f n;mn ) T. Proof. Let =inf n m n m. Denote by D n (R) a disk with center n and radius R =2. Let nj = n ; 1 6 j 6 m n ;n Z; = { nj 1 6 j 6 m n ;n Z}. We use the same notations as Avdonin and Ivanov [2]: n + (r) = sup #{Im [x; x + r)}; x R D + n + (r) () = lim : r r For any x R, suppose there are M number of balls with radius R=2, which covers the compact region (x) ={ Re 6 h; Im [x; x +1]} of C. Note that M is independent of x by unit shift. Then there are at most km number of inside (x);k= sup n m n. Hence for any r, we have n + (r) = sup #{Im [x; x + r)} x R 6 sup #{Im [x; x +([r] + 1))} x R 6 ([r]+1)km; where [r] denotes the maximal integer not exceeding r. Therefore, D + () 6 km. Note that there are m n number of nj in the disk D n (R). Make GDD in D n (R) of following: {[ n1 ](t); [ n1 ; n2 ](t);:::;[ n1 ; n2 ;:::; nmn ](t)}:
9 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) Then it follows from Theorem 3 of [2] that for any t 2D + (), the family {[ n1 ](t); [ n1 ; n2 ](t);:::; [ n1 ; n2 ;:::; nmn ](t);n Z} forms a Riesz basis in the closed subspace spanned by itself in L 2 (;t ). The result then follows from (27) and the assumption that sup n m n. Remark 3. Assume that t is as in Proposition 1 which makes (A; b) exactly controllable in t. Then we have the explicit representation of U dened by (14), U = span. Indeed, on the one hand, span U follows from Remark 2. On the other hand, if u x L 2 (;t ) satises t tj 1 e nt u x (t)dt =, i.e.,! (j 1) x ( n ) = for all 1 6 j 6 m n ;, then it follows from (2) that n(x) =for all n Z. Since { n } is dense in H, this implies that x =. That is, B t u x =oru x Ker(B t ). Therefore, U span. Remark 4. Assume that t is as in Proposition 1 which makes (A; b) exactly controllable in t. Then for any x H, we dene (motivated from (21)) u x (t)= (B 1 n n(x)) T F n (t): By (2) and (24), B 1 n n(x) 2 and hence u x L 2 (;t ). Dene t! x ()= e t u x (t)dt: Then (2) is satised. As we mentioned in Remark 1 that such a u x (t) is nothing but the control which drives x into zero at time t. However, in this form u x takes the feedback form with respect to x. Remark 5. Assume that t is as in Proposition 1 which makes (A; b) exactly controllable in t. Let B t be dened by (13) and B t f n;j = x n;j. Then by letting! x =! x n; j in (2), we have (; ;:::;1 j ; ;:::;) T = B 1 n (x n;j ); where 1 j denotes the element 1 at jth position. Hence (B t f n;1 ;B t f n;2 ;:::;B t f n;mn ) T =B t F n (t)=b T n n ; n Z: (29) Lemma 4. Assume that (A; b) is exactly controllable in t and condition (25) is satised. Then inf b; n;1 n n;1 6 inf B n 6 sup B n : n Proof. The rst inequality comes from Jacoband Zwart [9]. The second one is trivial. For the third inequality, we rst show that there exists a M, such that for any n, it holds (A n ) k E( n ;A)b k! 6 M k ; n Z: (3) Indeed, by Lemma 1 and assumption (25), there exists a such that E( n ;A)= 1 R(; A)d 2i n = is uniformly bounded with respect to n Z. Since b is admissible, B t u = t T( s)bu(s)ds is bounded from L 2 (;t )toh. Sois E( n ;A)B t u = t = T( s)e( n ;A)bu(s)ds t n ns ( s)j 1 e (j 1)! u(s)ds (A n ) j 1 E( n ;A)b: Set k = sup n m n. Since {1; ( s); ( s) 2 ; ( s) 3 ;:::;( s) k 1 } is linearly independent in L 2 (;t ), there exists its bi-orthogonal sequence {u 1 ;u 2 ;u 3 ;:::;u k } such that t ( t) j 1 u i (t)dt { 1; i= j; = ij = ; i j; 1 6 i; j 6 k: Now, we choose function u n;j (s)=e ns u j (s). It has u n;j 2 = t u n;j (s) 2 ds t = e ns u j (s) 2 ds 6 e 2th u j 2 :
10 23 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) Hence sup u n;j 6 e th max u j : n;j 16j6k Under this group of functions (A n ) j 1 (j 1)! E( n ;A)b = E( n ;A)B t u n;j 6 e th E( n ;A) B t u j 1 6 j 6 m n ; n Z: Next, notice that B n 2 6 m n b; n;j 2 : We need only show that b; n;j 2 is uniformly bounded with respect to n Z. Since (A n ) mn j n;m n = n;j ; we have b; n;j 2 6 b; (A n ) mn j n;m n 2 6 (A ) mn j E( n ;A)b; n;mn 2 6 m n! n;mn 2 m n (A n ) mn j E( n ;A)b (m n j)! 6 e 2th m n! n;mn 2 E( n ;A) 2 B t 2 u j 2 which is uniformly bounded since we have chosen sup n n;mn to be uniformly bounded which is mentioned in the beginning of this section. The proof is complete. 2 Remark 6. Since sup n n;mn is uniformly bounded, by assumption (25) and Lemma 1 (A n ) k E( n ;A)= 1 ( n ) k R(; A)d 2i n = is uniformly bounded with respect to n and 1 6 k 6 m n, where is properly chosen so that n is the unique eigenvalue of A inside the disk { n 6 }. Therefore, E (; A)(A n ) mn j n;m n =(A n ) mn j n;m n = n;j is also uniformly bounded with respect to n and 1 6 k 6 m n. We rst generalize Theorem 2 into the case of multiple eigenvalues. Theorem 6. Assume that (A; b) is exactly controllable and the multiplicities of the eigenvalues of A have a nite upper bound: sup m n. Then the following conditions are equivalent: (i) inf n m n m. (ii) { n;j j =1; 2; 3;:::;m n } forms a Riesz basis for H. That is, there are constants C 1 ;C 2 so that for any x = (x)t n n, we have C 1 n(x) n(x) T n 6 C 2 n(x) 2 : (iii) { n;j j =1; 2; 3;:::;m n } forms a Riesz basis for H. Proof. The equivalent between (ii) and (iii) follows from general basis theory (see e.g. [18, p. 37]). (i) (ii). Take t as in Proposition 1 which makes (A; b) exactly controllable in t. Then B t is bounded invertible from U to H. By formulae (4.12) of Kato [12] onp.28, Bn 1 6 B n mn 1 det B n ; (31) where is independent of n. From Lemma 4, there exists M such that Bn 1 6 M; B n 6 M for all n Z. Furthermore, by Remark 5, n =(Bn 1 ) T B t F n (t)
11 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) for all n Z. Since (Bn 1 ) T B t is uniformly bounded with respect to n; { n } forms a Riesz basis for H. (ii) (i). Take t as in Proposition 1 which makes (A; b) exactly controllable in t. Then B t is bounded invertible from U to H. From Remark 5, we know that B t (Bn 1 ) T F n (t) forms a Riesz basis for span in L 2 (;t ). Since from (31), B t (Bn 1 ) T is uniformly bounded with respect to n; F n (t) forms a Riesz basis for span in L 2 (;t ). Therefore {e nt } forms a Riesz basis for the closed subspace spanned by itself in L 2 (;t ). Thus, { n } is separated by the necessary condition of Riesz basis for the functions of exponentials (see e.g., [1, Theorem II.4.22]). Our nal result of following generalizes Theorem 3 to the case of multiple eigenvalues. Theorem 7. Assume that (25) is satised. Then the following conditions are equivalent: (i) (A; b) is exactly controllable. (ii) inf n b; n;1 = n;1 6sup n B n and Bn 1 n(x) 2 x H; n=1 where B 1 n n(x) denotes the Euclidean norm of R mn. (iii) inf n b; n;1 = n;1 6 sup n B n and { n;j j =1; 2; 3;:::;m n } forms a Reisz basis for H. (iv) inf n b; n;1 = n;1 6 sup n B n and { n;j j =1; 2; 3;:::;m n } forms a Reisz basis for H. Proof. The equivalence between (iii) and (iv) is ensured by the general Riesz basis theory (see e.g. [18, p. 37]). (i) (ii). The rst part follows from Lemma 4. The second part follows from (2) of Theorem 5 and (24). (ii) (i). Let t be as in Proposition 1. For any x H, dene control u x and! x as in Remark 4, we see that (2) is satised. The result then follows from Theorem 5. (i) (iii). The rst part follows from Lemma 4. The second part follows from Theorem 6. (iii) (i). Take t as in Proposition 1. Then {G n (t)} forms a Riesz basis for span in L 2 (;t ) and so does {F n (t)} in span. Since {} is a Riesz basis in H, ithas n(x) 2 : This, together with (31), gives Bn 1 n(x) 2 : For any x H, dene function u x (t)= (Bn 1 n(x)) T F n (t) and B t as before with respect to t and above dened u x. A direct computation shows that E( n ;A)B t u x = ( n(x)) T n : Therefore, x = ( n(x)) T n = E( n ;A)B t u x = B t u x : That is, (A; b) is exactly controllable in t. The proof is complete. To end the paper, we give an example which does not satisfy the assumption of Jacoband Zwart [1]. Certainly, system (1) can serve such an example which is signicant in practice. However, the uncontrolled system of (1) has only one eigenvalue which is of multiple 2. For the case where only nite number of eigenvalues are multiple, the proof of these article can be simplied signicantly by the method of Guo [6]. Our following example gives the case where each eigenvalue is of multiple 2. Example 1. Let n = n; n N. Consider the following system in usual H = 2 space: ẋ 1n (t)=i n x 1n (t)+u(t); ẋ 2n (t)=i n x 2n (t)+x 1n (t)+u(t); n N: (32) Dene A =(A n ); A n (x 1 ;x 2 )=(i n x 1 ;i n x 2 + x 1 ) (x 1 ;x 2 ) C 2 ; b=(b n ); b n =(1; 1): It is easily seen that (A)= p (A)={i n n N}; b [D(A )] :
12 232 B.-Z. Guo, G.-Q. Xu / Systems & Control Letters 52 (24) Each eigenvalue of A is of algebraic multiple 2 and corresponds two linearly independent generalized eigenvectors n;1 =(;:::;;e n1 ; ;:::;); e n1 =(1; ); n;2 =(;:::;;e n2 ; ;:::;); e n2 =(; 1) n Z: { n ; n1 n N} forms an orthonormal basis for H. The C -semigroup generated by A is e At =(e Ant ): Hence e At b =(e int (1;t+ 1)): It is found directly from Fourier series that 2 2 e A(2 s) bu(s)ds 6 C 2 u(s) 2 ds u L 2 (; 2) for some constant C. This shows that b is admissible with respect to the C -semigroup e At. Now since n;1 = n;1 ; n;2 = n;2 n N it follows that B n = I 2 2 n N: Therefore, all conditions (iii) of Theorem 7 are satis- ed. It follows then that system (32) is exactly controllable. Acknowledgements This work was started during a visit of Bao-Zhu Guo at the University of Twente, the Netherlands, supported by the Netherlands Organization for Scientic Research (NWO). Bao-Zhu Guo is grateful to Hans Zwart for showing him his works in this eld as well as for many valuable discussions. The special thanks go to anonymous referees for their valuable comments and suggestions for the revision of this article. The support of the National Natural Science Foundation of China is gratefully acknowledged. References [1] S.A. Avdonin, S.A. Ivanov, Families of Exponentials, The Method of Moments in Controllability Problems for Distributed Parameter Systems, Cambridge University Press, Cambridge, [2] S.A. Avdonin, S.A. Ivanov, Riesz bases of exponentials and divided dierences, translation in St. Petersburg Math. J. 13 (3) (22) [3] S. Cox, E. Zuazua, The rate at which energy decays in a damped string, Comm. Partial Dierential Equations 19 (1994) [4] R.F. Curtain, H. Zwart, An Introduction to Innite-Dimensional Linear Systems Theory, Texts in Applied Mathematics, Vol. 21, Springer, New York, [5] N. Dunford, J.T. Schwartz, Linear Operators, Part III, Wiley-Interscience, New York, [6] B.Z. Guo, Riesz basis approach to the stabilization of a exible beam with a tip mass, SIAM J. Control Optim. 39 (21) [7] B.Z. Guo, On boundary control of a hybrid system with variable coecients, J. Optim. Theory Appl. 114 (2) (22) [8] B.Z. Guo, Y.H. Luo, Controllability and stability of a second order hyperbolic system with collocated sensor/actuator, Systems Control Lett. 46 (1) (22) [9] B. Jacob, H. Zwart, Equivalent conditions for stabilizability of innite-dimensional systems with admissible control operators, SIAM J. Control Optim. 37 (1999) [1] B. Jacob, H. Zwart, Exact controllability of C -groups with one-dimensional input operators, in: F. Colonius, et al. (Eds.), Advances in Mathematical Systems Theory, Systems Control Found. Appl, Birkhauser, Boston, MA, 2, pp [11] B. Jacob, H. Zwart, Exact observability of diagonal systems with a nite-dimensional output operator, Systems Control Lett. 43 (21) [12] T. Kato, A Short Introduction to Perturbation Theory for Linear Operators, Springer, New York, [13] J.E. Lagnese, Recent progress in exact boundary controllability and uniform stabilizability of thin beams and plates, in: Distributed Parameter Control Systems: New Trends and Applications, Minneapolis, MN, 1989, pp , Lecture Notes in Pure and Applied Mathematics, Vol. 128, Dekker, New York, [14] Z.H. Luo, B.Z. Guo, O. Morgul, Stability and Stabilization of Innite Dimensional Systems with Applications, Springer, London, [15] S.M. Verduyn Lunel, The closure of the generalized eigenspace of a class of innitesimal generators, Proc. Roy. Soc. Edinburgh 117A (1991) [16] G. Weiss, Admissibility of unbounded control operators, SIAM J. Control Optim. 27 (1989) [17] G.Q. Xu, B.Z. Guo, Riesz basis property of evolution equations in Hilbert spaces and application to a coupled string equation, SIAM J. Control Optim. 42 (3) (23) [18] R.M. Young, An Introduction to Nonharmonic Fourier Series, Academic Press, London, 198.
QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE. Denitizable operators in Krein spaces have spectral properties similar to those
QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE BRANKO CURGUS and BRANKO NAJMAN Denitizable operators in Krein spaces have spectral properties similar to those of selfadjoint operators in Hilbert spaces.
More informationsemigroups are consistent, we shall simply use the notation T (t). Assume further that U and Y are separable Hilbert spaces (the input and output spac
CDC-REG467 Optimal Hankel norm approximation for the Pritchard-Salamon class of non-exponentially stable innite-dimensional systems A.J. Sasane and R.F. Curtain Department of Mathematics, University of
More informationA note on continuous behavior homomorphisms
Available online at www.sciencedirect.com Systems & Control Letters 49 (2003) 359 363 www.elsevier.com/locate/sysconle A note on continuous behavior homomorphisms P.A. Fuhrmann 1 Department of Mathematics,
More informationC.I.BYRNES,D.S.GILLIAM.I.G.LAUK O, V.I. SHUBOV We assume that the input u is given, in feedback form, as the output of a harmonic oscillator with freq
Journal of Mathematical Systems, Estimation, and Control Vol. 8, No. 2, 1998, pp. 1{12 c 1998 Birkhauser-Boston Harmonic Forcing for Linear Distributed Parameter Systems C.I. Byrnes y D.S. Gilliam y I.G.
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationMODELLING OF FLEXIBLE MECHANICAL SYSTEMS THROUGH APPROXIMATED EIGENFUNCTIONS L. Menini A. Tornambe L. Zaccarian Dip. Informatica, Sistemi e Produzione
MODELLING OF FLEXIBLE MECHANICAL SYSTEMS THROUGH APPROXIMATED EIGENFUNCTIONS L. Menini A. Tornambe L. Zaccarian Dip. Informatica, Sistemi e Produzione, Univ. di Roma Tor Vergata, via di Tor Vergata 11,
More informationonly nite eigenvalues. This is an extension of earlier results from [2]. Then we concentrate on the Riccati equation appearing in H 2 and linear quadr
The discrete algebraic Riccati equation and linear matrix inequality nton. Stoorvogel y Department of Mathematics and Computing Science Eindhoven Univ. of Technology P.O. ox 53, 56 M Eindhoven The Netherlands
More informationALMOST 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 informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationNew Lyapunov Krasovskii functionals for stability of linear retarded and neutral type systems
Systems & Control Letters 43 (21 39 319 www.elsevier.com/locate/sysconle New Lyapunov Krasovskii functionals for stability of linear retarded and neutral type systems E. Fridman Department of Electrical
More informationPARAMETER IDENTIFICATION IN THE FREQUENCY DOMAIN. H.T. Banks and Yun Wang. Center for Research in Scientic Computation
PARAMETER IDENTIFICATION IN THE FREQUENCY DOMAIN H.T. Banks and Yun Wang Center for Research in Scientic Computation North Carolina State University Raleigh, NC 7695-805 Revised: March 1993 Abstract In
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationNP-hardness of the stable matrix in unit interval family problem in discrete time
Systems & Control Letters 42 21 261 265 www.elsevier.com/locate/sysconle NP-hardness of the stable matrix in unit interval family problem in discrete time Alejandra Mercado, K.J. Ray Liu Electrical and
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More informationAbstract In this paper, we consider bang-bang property for a kind of timevarying. time optimal control problem of null controllable heat equation.
JOTA manuscript No. (will be inserted by the editor) The Bang-Bang Property of Time-Varying Optimal Time Control for Null Controllable Heat Equation Dong-Hui Yang Bao-Zhu Guo Weihua Gui Chunhua Yang Received:
More informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationNotes on the matrix exponential
Notes on the matrix exponential Erik Wahlén erik.wahlen@math.lu.se February 14, 212 1 Introduction The purpose of these notes is to describe how one can compute the matrix exponential e A when A is not
More informationLinear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space
Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationA NOTE ON MATRIX REFINEMENT EQUATIONS. Abstract. Renement equations involving matrix masks are receiving a lot of attention these days.
A NOTE ON MATRI REFINEMENT EQUATIONS THOMAS A. HOGAN y Abstract. Renement equations involving matrix masks are receiving a lot of attention these days. They can play a central role in the study of renable
More informationEIGENVALUES AND EIGENVECTORS OF SEMIGROUP GENERATORS OBTAINED FROM DIAGONAL GENERATORS BY FEEDBACK
COMMUNICATIONS IN INFORMATION AND SYSTEMS c 211 International Press Vol. 11, No. 1, pp. 71-14, 211 5 EIGENVALUES AND EIGENVECTORS OF SEMIGROUP GENERATORS OBTAINED FROM DIAGONAL GENERATORS BY FEEDBACK CHENG-ZHONG
More informationStability 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 informationSemi-strongly asymptotically non-expansive mappings and their applications on xed point theory
Hacettepe Journal of Mathematics and Statistics Volume 46 (4) (2017), 613 620 Semi-strongly asymptotically non-expansive mappings and their applications on xed point theory Chris Lennard and Veysel Nezir
More informationConstrained Leja points and the numerical solution of the constrained energy problem
Journal of Computational and Applied Mathematics 131 (2001) 427 444 www.elsevier.nl/locate/cam Constrained Leja points and the numerical solution of the constrained energy problem Dan I. Coroian, Peter
More informationIEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 58, NO. 5, MAY invertible, that is (1) In this way, on, and on, system (3) becomes
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 58, NO. 5, MAY 2013 1269 Sliding Mode and Active Disturbance Rejection Control to Stabilization of One-Dimensional Anti-Stable Wave Equations Subject to Disturbance
More informationThe 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 information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationOle Christensen 3. October 20, Abstract. We point out some connections between the existing theories for
Frames and pseudo-inverses. Ole Christensen 3 October 20, 1994 Abstract We point out some connections between the existing theories for frames and pseudo-inverses. In particular, using the pseudo-inverse
More informationRobust linear optimization under general norms
Operations Research Letters 3 (004) 50 56 Operations Research Letters www.elsevier.com/locate/dsw Robust linear optimization under general norms Dimitris Bertsimas a; ;, Dessislava Pachamanova b, Melvyn
More information2 JOSE BURILLO It was proved by Thurston [2, Ch.8], using geometric methods, and by Gersten [3], using combinatorial methods, that the integral 3-dime
DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 1997 Lower Bounds of Isoperimetric Functions for Nilpotent Groups Jose Burillo Abstract. In this paper we prove that Heisenberg
More informationPattern generation, topology, and non-holonomic systems
Systems & Control Letters ( www.elsevier.com/locate/sysconle Pattern generation, topology, and non-holonomic systems Abdol-Reza Mansouri Division of Engineering and Applied Sciences, Harvard University,
More informationOperators with Closed Range, Pseudo-Inverses, and Perturbation of Frames for a Subspace
Canad. Math. Bull. Vol. 42 (1), 1999 pp. 37 45 Operators with Closed Range, Pseudo-Inverses, and Perturbation of Frames for a Subspace Ole Christensen Abstract. Recent work of Ding and Huang shows that
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationControl, Stabilization and Numerics for Partial Differential Equations
Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua
More informationInner product on B -algebras of operators on a free Banach space over the Levi-Civita field
Available online at wwwsciencedirectcom ScienceDirect Indagationes Mathematicae 26 (215) 191 25 wwwelseviercom/locate/indag Inner product on B -algebras of operators on a free Banach space over the Levi-Civita
More informationj=1 x j p, if 1 p <, x i ξ : x i < ξ} 0 as p.
LINEAR ALGEBRA Fall 203 The final exam Almost all of the problems solved Exercise Let (V, ) be a normed vector space. Prove x y x y for all x, y V. Everybody knows how to do this! Exercise 2 If V is a
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationThe Drazin inverses of products and differences of orthogonal projections
J Math Anal Appl 335 7 64 71 wwwelseviercom/locate/jmaa The Drazin inverses of products and differences of orthogonal projections Chun Yuan Deng School of Mathematics Science, South China Normal University,
More informationLECTURE 7. k=1 (, v k)u k. Moreover r
LECTURE 7 Finite rank operators Definition. T is said to be of rank r (r < ) if dim T(H) = r. The class of operators of rank r is denoted by K r and K := r K r. Theorem 1. T K r iff T K r. Proof. Let T
More information16 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 informationComm. Korean Math. Soc. 13(1998), No. 1, pp SEMI-QUASITRIANGULARITY OF TOEPLITZ OPERATORS WITH QUASICONTINUOUS SYMBOLS In Hyoun Kim and Woo You
Comm. Korean Math. Soc. 13(1998), No. 1, pp. 77-84 SEMI-QUASITRIANGULARITY OF TOEPLITZ OPERATORS WITH QUASICONTINUOUS SYMBOLS In Hyoun Kim and Woo Young Lee Abstract. In this note we show that if T ' is
More informationThis article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and education use, including for instruction at the author s institution, sharing
More informationOn the role playedby the Fuck spectrum in the determination of critical groups in elliptic problems where the asymptotic limits may not exist
Nonlinear Analysis 49 (2002) 603 611 www.elsevier.com/locate/na On the role playedby the Fuck spectrum in the determination of critical groups in elliptic problems where the asymptotic limits may not exist
More informationarxiv: v1 [math.oc] 22 Sep 2016
EUIVALENCE BETWEEN MINIMAL TIME AND MINIMAL NORM CONTROL PROBLEMS FOR THE HEAT EUATION SHULIN IN AND GENGSHENG WANG arxiv:1609.06860v1 [math.oc] 22 Sep 2016 Abstract. This paper presents the equivalence
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationNORMS 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 informationDetailed 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 informationOn 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 informationLinear Algebra 2 Spectral Notes
Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex
More informationPositive 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 informationExponential 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 informationAN 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 informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationExponential stabilization of a Rayleigh beam - actuator and feedback design
Exponential stabilization of a Rayleigh beam - actuator and feedback design George WEISS Department of Electrical and Electronic Engineering Imperial College London London SW7 AZ, UK G.Weiss@imperial.ac.uk
More informationAbsolutely indecomposable symmetric matrices
Journal of Pure and Applied Algebra 174 (2002) 83 93 wwwelseviercom/locate/jpaa Absolutely indecomposable symmetric matrices Hans A Keller a; ;1, A Herminia Ochsenius b;1 a Hochschule Technik+Architektur
More informationON 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 informationOn at systems behaviors and observable image representations
Available online at www.sciencedirect.com Systems & Control Letters 51 (2004) 51 55 www.elsevier.com/locate/sysconle On at systems behaviors and observable image representations H.L. Trentelman Institute
More informationDivisor matrices and magic sequences
Discrete Mathematics 250 (2002) 125 135 www.elsevier.com/locate/disc Divisor matrices and magic sequences R.H. Jeurissen Mathematical Institute, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen,
More informationA converse Lyapunov theorem for discrete-time systems with disturbances
Systems & Control Letters 45 (2002) 49 58 www.elsevier.com/locate/sysconle A converse Lyapunov theorem for discrete-time systems with disturbances Zhong-Ping Jiang a; ; 1, Yuan Wang b; 2 a Department of
More informationCongurations of periodic orbits for equations with delayed positive feedback
Congurations of periodic orbits for equations with delayed positive feedback Dedicated to Professor Tibor Krisztin on the occasion of his 60th birthday Gabriella Vas 1 MTA-SZTE Analysis and Stochastics
More information5 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 informationSTABILITY OF INVARIANT SUBSPACES OF COMMUTING MATRICES We obtain some further results for pairs of commuting matrices. We show that a pair of commutin
On the stability of invariant subspaces of commuting matrices Tomaz Kosir and Bor Plestenjak September 18, 001 Abstract We study the stability of (joint) invariant subspaces of a nite set of commuting
More information2 W. LAWTON, S. L. LEE AND ZUOWEI SHEN is called the fundamental condition, and a sequence which satises the fundamental condition will be called a fu
CONVERGENCE OF MULTIDIMENSIONAL CASCADE ALGORITHM W. LAWTON, S. L. LEE AND ZUOWEI SHEN Abstract. Necessary and sucient conditions on the spectrum of the restricted transition operators are given for the
More information1 Last time: least-squares problems
MATH Linear algebra (Fall 07) Lecture Last time: least-squares problems Definition. If A is an m n matrix and b R m, then a least-squares solution to the linear system Ax = b is a vector x R n such that
More informationFURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS
FURTHER STUDIES OF STRONGLY AMENABLE -REPRESENTATIONS OF LAU -ALGEBRAS FATEMEH AKHTARI and RASOUL NASR-ISFAHANI Communicated by Dan Timotin The new notion of strong amenability for a -representation of
More informationSPECTRAL 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 informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationPart 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 informationOn Linear Operators with Closed Range
Journal of Applied Mathematics & Bioinformatics, vol.1, no.2, 2011, 175-182 ISSN: 1792-6602 (print), 1792-6939 (online) International Scientific Press, 2011 On Linear Operators with Closed Range P. Sam
More information08a. 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 information1 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 informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationLecture 2: Linear Algebra Review
EE 227A: Convex Optimization and Applications January 19 Lecture 2: Linear Algebra Review Lecturer: Mert Pilanci Reading assignment: Appendix C of BV. Sections 2-6 of the web textbook 1 2.1 Vectors 2.1.1
More informationEects of small delays on stability of singularly perturbed systems
Automatica 38 (2002) 897 902 www.elsevier.com/locate/automatica Technical Communique Eects of small delays on stability of singularly perturbed systems Emilia Fridman Department of Electrical Engineering
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationADJOINT 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 informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationNull controllable region of LTI discrete-time systems with input saturation
Automatica 38 (2002) 2009 2013 www.elsevier.com/locate/automatica Technical Communique Null controllable region of LTI discrete-time systems with input saturation Tingshu Hu a;, Daniel E. Miller b,liqiu
More informationMATH 583A REVIEW SESSION #1
MATH 583A REVIEW SESSION #1 BOJAN DURICKOVIC 1. Vector Spaces Very quick review of the basic linear algebra concepts (see any linear algebra textbook): (finite dimensional) vector space (or linear space),
More informationRichard DiSalvo. Dr. Elmer. Mathematical Foundations of Economics. Fall/Spring,
The Finite Dimensional Normed Linear Space Theorem Richard DiSalvo Dr. Elmer Mathematical Foundations of Economics Fall/Spring, 20-202 The claim that follows, which I have called the nite-dimensional normed
More informationSEMIGROUP 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 informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationReview and problem list for Applied Math I
Review and problem list for Applied Math I (This is a first version of a serious review sheet; it may contain errors and it certainly omits a number of topic which were covered in the course. Let me know
More informationThe fundamental properties of quasi-semigroups
Journal of Physics: Conference Series PAPER OPEN ACCESS The fundamental properties of quasi-semigroups To cite this article: Sutrima et al 2017 J. Phys.: Conf. Ser. 855 012052 View the article online for
More informationApplied Mathematics Letters
Applied Mathematics Letters 25 (2012) 974 979 Contents lists available at SciVerse ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml On dual vector equilibrium problems
More informationON 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 informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More informationA DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,
More informationPROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS
PROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS Abstract. We present elementary proofs of the Cauchy-Binet Theorem on determinants and of the fact that the eigenvalues of a matrix
More informationOn 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 informationG-frames in Hilbert Modules Over Pro-C*-algebras
Available online at http://ijim.srbiau.ac.ir/ Int. J. Industrial Mathematics (ISSN 2008-5621) Vol. 9, No. 4, 2017 Article ID IJIM-00744, 9 pages Research Article G-frames in Hilbert Modules Over Pro-C*-algebras
More informationDecomposition 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 information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More information