Characterizations of stability for discrete semigroups of bounded linear ...

2 downloads 0 Views 92KB Size Report
operators acting on X. We denote by · the norms of operators and vectors. Denote by R+ ... Akbar Zada, Gul Rahmat, Gohar Ali and Afshan Tabassum groups are ...
International Journal of Mathematics and Soft Computing Vol.3, No.3 (2013), 15 - 19.

ISSN Print : 2249 - 3328 ISSN Online: 2319 - 5215

Characterizations of stability for discrete semigroups of bounded linear operators

Akbar Zada Department of Mathematics, University of Peshawar, Peshawar, PAKISTAN. E-mail: [email protected]

Gul Rahmat, Afshan Tabassum Government College University, Abdus Salam School of Mathematical Sciences, (ASSMS) Lahore, PAKISTAN. E-mail: {gulassms,afshintabassum}@gmail.com

Gohar Ali Department of Mathematics, University of Liverpool, UK. E-mail: [email protected] Abstract Let T = {T (n)}n≥0 be a discrete semigroup of bounded linear operators acting on a Banach space X. We prove that if for each µ ∈ R and every q-periodic sequence f with f (0) = 0, the sePn quence n → k=0 eiµk T (n − k)f (k) is bounded, then the semigroup T is uniformly exponentially stable. Keywords: Uniform stability, semigroups, periodic sequences. AMS Subject Classification(2010): 35B35.

1

Introduction

Let X be a real or complex Banach space and B(X) the Banach algebra of all linear and bounded operators acting on X. We denote by k · k the norms of operators and vectors. Denote by R+ the set of real numbers and by Z+ the set of all non-negative integers. Let B(Z+ , X) be the space of X-valued bounded sequences with supremum norm, and P0q (Z+ , X) be the space of q-periodic (with q ≥ 2) sequences f with f (0) = 0. Then clearly P0q (Z+ , X) is a closed subspace of B(Z+ , X). We denote by AP0 (Z+ , X) the space of almost periodic sequences f with f (0) = 0. For T ∈ B(X), σ(T ) the spectrum of T and the the spectral radius of T is defined as r(T ) = sup{|λ| : λ ∈ σ(T )}. It is also well 1

known that r(T ) := limn→∞ kT n k n . The resolvent set of T is defined as ρ(T ) := C\σ(T ), i.e the set of all λ ∈ C for which T − λI is an invertible operator in B(X). A well-known result in [1] says that if X is a Banach space of finite dimension and A a linear and bounded operator acting on X then A is stable if and only if for each µ ∈ R and each b ∈ X the solution of the discrete Cauchy problem xn+1 = Ax(n) + eiµn b, x(0) = 0, n ∈ Z+ is bounded, if and only if there exist positive constants N and ν such that kAn k ≤ N e−νn for all n ≥ 0, or equivalently the spectral radius of A is less than one. In [2] the stability of strongly continuous semi 15

16

Akbar Zada, Gul Rahmat, Gohar Ali and Afshan Tabassum

groups are characterized by convolutions. This note is the discrete case of [2] for discrete semigroups of bounded linear operators acting on X. We give some results in the frame work of general Banach space and spaces of sequences as defined above.

2

Preliminary results

Recall that T is power bounded if there exists a positive constant M such that kT n k ≤ M for all n ∈ Z+ . We prove some lemmas which are used in the proofs of main results. Lemma 2.1. [2] Let T ∈ B(X). If there exists M > 0 such that sup kI + T + · · · + T n k = M < ∞

(2.1)

n∈Z+

then T is power bounded and 1 ∈ ρ(T ). Proof: The proof is given in [2], but for convenience we prove this. We have the identity T n+1 = I + (T − I)(I + T + · · · + T n ). By using the inequality (2.1) we get that T is power bounded. Next, suppose that 1 ∈ σ(T ). Then there exists a sequence (xm )m∈Z+ with xm ∈ X, kxm k = 1 and (I − T )xm → 0 as m → ∞, see [[3], Proposition 2.2, p. 64]. Since T is power bounded, T k (I − T )xm → 0 as m → ∞ uniformly for k ∈ Z+ . Let N ∈ Z+ , N > 2M and m ∈ Z+ such that kT k (I − T )xm k ≤ M

≥ k

N X

k

T xm k = kxm +

k=0

N X

1 2N , k

= 0, 1, . . . N. Then

T k xm k

k=1

= kxm +

N X

(xm +

k−1 X

T j (T − I)xm )k

j=0

k=1

= k(N + 1)xm +

N X k−1 X

T j (T − I)xm k

k=1 j=0

≥ (N + 1) −

N N (N + 1) > >M 4N 2

which is absurd and hence 1 ∈ ρ(T ). Lemma 2.2. [2] Let U ∈ B(X) and µ ∈ R. If sup k n∈Z+

n X

eiµk U k k = Mµ < ∞.

(2.2)

k=0

Then U is power bounded and e−iµ ∈ ρ(U ). Proof: Let T = eiµ U , then by Lemma 2.1 T is power bounded. Since kT k = kU k, U is power bounded. Again by Lemma 2.1 we have 1 ∈ ρ(T ) = ρ(eiµ U ), i.e. eiµ U − I is invertible, from this we get U − e−iµ I is invertible. Hence e−iµ ∈ ρ(U ).

Characterizations of stability for discrete semigroups of bounded linear operators

17

Lemma 2.3. Let U ∈ B(X). If the inequality (2.2) is true for all µ ∈ R, then r(U ) < 1. Proof: From Lemma 2.2 we have U is power bounded. So there exists M > 0 such that kU n k ≤ M 1

for all n ∈ Z+ . Then clearly r(U ) = limn→∞ kU n k n ≤ 1. But eiµ ∈ ρ(U ) for all µ ∈ R and σ(U ) is compact. Hence r(U ) < 1.

3

Main results

We recall that a discrete semigroup is a family T = {T (n) : n ∈ Z+ } of bounded linear operators on X which satisfying the following conditions (1) T (0) = I, the identity operator on X, (2) T (n + m) = T (n)T (m) for all n, m ∈ Z+ . It is clear that T (n) = T n (1) for all n ∈ Z+ , T (1) is called the algebraic generator of the semigroup T. The growth bound of T denoted by ω0 (T) is defined as ω0 (T) = inf n∈Z+ {ω ∈ R : there exists Mω ≥ 1 such that kT (n)k ≤ Mω eωn }. The family T is uniformly exponentially stable if ω0 (T) is negative, or equivalently, if there exists M ≥ 1 and ω > 0 such that kT (n)k ≤ M e−ωn for all n ∈ Z+ . The general theory of semigroups can be found in [3], [4] and [5]. Theorem 3.1. Let T = {T (n) : n ∈ Z+ } be a discrete semigroup on X and µ ∈ R. If sup k n≥0

n X

eiµk T (n − k)f (k)k < ∞

(3.1)

k=0

for all f ∈ P0q (Z+ , X) then T (1) is power bounded and eiµ ∈ ρ(T (1)). Proof: Let n = N q + r for some N ∈ Z+ , where r ∈ {0, 1, . . . , q − 1}. For each j ∈ Z+ , we consider the set Aj = {1 + jq, 2 + jq, . . . , q − 1 + jq}. Let BN = {N q + −1 1, N q + 2, . . . , N q + r} if r ≥ 1 and C = {0, q, 2q, . . . , N q}. Then clearly ∪N j=0 Aj ∪ BN ∪ C =

{0, 1, 2, . . . , N q + r}. For a(fixed non-zero x ∈ X, let us consider the sequence defined as (k − jq)[(1 + j)q − k]T (k − jq)x, if k ∈ Aj , Then clearly f ∈ P0q (Z+ , X). f (k) = 0, if k ∈ {0, q, 2q, . . . }. Now for this sequence we have n X

eiµk T (n − k)f (k) =

k=0

NX q+r

eiµk T (N q + r − k)f (k)

k=0

=

N −1 (q−1+jq) X X

eiµk T (N q + r − k)f (k) +

j=0 k=1+jq NX q+r k=N q+1

eiµk T (N q + r − k)f (k)

18

Akbar Zada, Gul Rahmat, Gohar Ali and Afshan Tabassum

= I1 + I2 . where I1 =

N −1 (q−1+jq) X X

eiµk T (N q + r − k)(k − jq)[q − (k − jq)]T (k − jq)x

j=0 k=1+jq

=

=

N −1 X

(q−1+jq)

X

T (N q + r − jq)

j=0

k=1+jq

N −1 X

iµjq

T (N q + r − jq)e

=

q−1 X

eiµν ν(q − ν)x

ν=1

j=0 N −1 X

eiµk (k − jq)[q − (k − jq)]x

−iµ(N q+r−jq)

e

iµ(N q+r)

T (N q + r − jq)e

=

=

α=r+q n X

eiµν ν(q − ν)x

ν=1

j=0 r+N Xq

q−1 X

e−iµα T α (1)eiµn

q−1 X

eiµν ν(q − ν)x

ν=1

e−iµα T α (1)y

α=r+q

with y = eiµn

q−1 P

eiµν ν(q − ν)x.

ν=1

and I2 =

r−1 X

eiµ(N q+r−ρ) T (ρ)f (N q + r − ρ)x

ρ=0

=

r−1 X

eiµ(N q+r−ρ) T (ρ)f (r − ρ)x.

ρ=0

Hence, n X k=0

iµk

e

T (n − k)f (k) =

n X

−iµα

e

α=r+q

α

T (1)y +

r−1 X ρ=0

Now by inequality (3.1) we have I1 is bounded. That is, supn≥0 k we obtain that sup k n≥0

n X

eiµ(n−ρ) T (ρ)f (r − ρ)x. n P

e−iµα T α (1)k < ∞. From this

α=r+q

e−iµα T α (1)k < ∞.

α=0

By Lemma 2.2 we conclude that T (1) is power bounded and eiµ ∈ ρ(T (1)). This completes the proof. The application of this result to the uniform exponential stability of discrete semigroups is presented as a corollary.

Characterizations of stability for discrete semigroups of bounded linear operators

19

Corollary 3.2. Let T = {T (n) : n ∈ Z+ } be a discrete semigroup on X. If condition (3.1) holds for all µ ∈ R and every f ∈ P0q (Z+ , X), then r(T (1)) < 1 and T is uniformly exponentially stable. Proof: By Theorem 3.1 we have T is power bounded and eiµ ∈ ρ(U ) for all µ ∈ R. Now by Lemma 2.3 we get that r(T (1)) < 1 but r(T (1)) = eω0 (T) . From this we obtain that ω0 (T) is negative and hence T is uniformly exponentially stable. Corollary 3.3. Let T = {T (n) : n ∈ Z+ } be a discrete semigroup on X. If condition 3.1 holds for all µ ∈ R and every f ∈ AP0 (Z+ , X), then r(T (1)) < 1 and T is uniformly exponentially stable. Acknowledgment. This research work was supported by Higher Education Commission of Pakistan.

References [1] C. Buse and A. Zada, Dichotomy and boundedness of solutions for some discrete Cauchy Problems, Proceedings of IWOTA- 2008, Operator Theory Advances and Applications, Vol. 203, (2010), 165-174. [2] C. Buse, S. S. Dragomir, V. Lupulescu, Characterizations of stability for strongly continuous semigroups by boundedness of its convolutions with almost periodic functions, International Journal of Differential Equations and Applications, Vol. 2, No 1, (2001), 103-109. [3] R. Nagel, One-parameter semigroups of positive operators, Lect. Notes in Math. 1184, SpringerVerlag, Berlin-New York, 1986. [4] J.M.A.M. Van Neerven, The Asymptotic Behaviour of Semigroups of Linear Operators, Birkh¨ auser-Verlag, 1996. [5] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer- Verlag, 1983.