26.11.2012 Views

PDF - Universiteit Twente

PDF - Universiteit Twente

PDF - Universiteit Twente

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapter 7. Growth relation cogenerator and inverse generator<br />

Combining, we find<br />

˜MA1<br />

(n − 1)!<br />

� ∞<br />

e −t g(t)t n−1 dt<br />

t1<br />

� �n−1 �<br />

˜MA1<br />

∞<br />

e<br />

� e<br />

2π(n − 1) n − 1 t1<br />

−t g(t)t n−1 dt<br />

� �n−1 �<br />

˜MA1<br />

∞<br />

e<br />

�<br />

2π(n − 1) n − 1 t1<br />

� �n−1 ˜MA1 e<br />

� e<br />

2π(n − 1) n − 1<br />

−(1−ε)α(n−1) (α(n − 1)) n−1<br />

≤<br />

≤<br />

≤<br />

=<br />

� ∞<br />

t1<br />

˜MA1<br />

� 2π(n − 1)<br />

e −εt g(t)dt<br />

�<br />

e (−(1−ε)α+1) α<br />

e −(1−ε)t t (n−1) e −εt g(t)dt<br />

� �<br />

n−1 ∞<br />

e −εt g(t)dt.<br />

Using equation (7.6) we have that e (−(1−ε)α+1) α < 1. Thus we have that<br />

˜MA1<br />

(n − 1)!<br />

� ∞<br />

e −t g(t)t n−1 dt ≤<br />

t1<br />

˜MA1<br />

� 2π(n − 1)<br />

� ∞<br />

t1<br />

t1<br />

e −εt g(t)dt = Mα (7.10)<br />

with Mα independent of n. Combining the estimates (7.8), (7.9) and (7.10)<br />

gives<br />

�A n d � ≤ ˜ MA1 g(t1) + Mα.<br />

Since t1 = α(n − 1) and since g is non-decreasing, we can find a constant<br />

Mα,A such that �A n d � ≤ ˜ Mα,Ag(αn) which proves the result. �<br />

7.2 Bounded semigroups on a Hilbert space<br />

In the previous section, we have investigated the growth of (A n d ) n∈N and<br />

�<br />

eA−1 �<br />

t<br />

t≥0<br />

under the condition that A generates an exponentially stable<br />

C0-semigroup on Banach space X.<br />

In this section we take X to be a Hilbert space. Furthermore, we assume<br />

that A and A −1 generate a bounded semigroup.<br />

In this section we use the notation R(A, s) = (sI − A) −1 .<br />

For a bounded operator A that generates a bounded C0-semigroup on a Hilbert<br />

space, we know that the power sequence of its cogenerator is bounded<br />

as well, see Lemma 1.6. However, if A generates an bounded semigroup, but<br />

90

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!