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.

1.4. Hilbert space<br />

The operator A − I maps D(A) onto X and so for all x ∈ X there exists a<br />

y ∈ D(A) such that y = (A−I) −1 x. We can write relation (1.16) as follows.<br />

〈Adx, Adx〉 − 〈x, x〉 ≤ 0, for all x ∈ X,<br />

which implies inequality (1.14).<br />

Lemma 1.8 implies that Ad is a contraction and this completes the proof.<br />

�<br />

Another class of operators for which the relation between the boundedness<br />

of the semigroup and the boundedness of the powers of the cogenerator is<br />

known, is the class of analytic semigroups.<br />

First we define for α ∈ (0, π<br />

2 ) the sector ∆α in the complex plane by<br />

∆α := {t ∈ C | | arg(t)| < α, t �= 0} .<br />

A C0-semigroup (e At )t≥0 is analytic if it can be continued analytically into<br />

∆α for an α > 0.<br />

Lemma 1.10 Operator A generates the analytic semigroup e At and �e At � ≤<br />

M for all t ∈ ∆α if and only if there exists an m ≥ 0 such that<br />

�(sI − A) −1 � ≤ m<br />

π<br />

, for all complex s with | arg(s)| < + α.<br />

|s| 2<br />

For the proof we refer to Pazy, [30, Theorem 2.5.2].<br />

Theorem 1.11 Let A generate an analytic C0-semigroup on the Hilbert<br />

space X and let Ad be its cogenerator. If (e At )t≥0 is bounded, then the<br />

powers of the cogenerator (A n d )n∈N are bounded as well.<br />

For the proof we refer to [21, Theorem 6.1]. See also Chapter 7<br />

There is a relation from the discrete-time system to the continuous-time<br />

system as well. This relation involves bounded and strongly stable power<br />

sequences. In Section 2.1 and Section 2.2 we give a definitions of these<br />

properties.<br />

Theorem 1.12 Let Ad be the Cayley transform of operator A and the powers<br />

(An d )n∈N are bounded. If −1 is not an eigenvalue of Ad and A∗ d , the<br />

adjoint of Ad, and if there exist a C > 0 and δ > 0 such that<br />

|µ + 1|�R(µ, Ad)� ≤ C, for all |µ + 1| ≤ δ, Re(µ) < −1.<br />

then A is generates a bounded semigroup, which is analytic.<br />

Moreover, if (A n d )n∈N is strongly stable, so is (e At )t≥0.<br />

For the proof we refer to [21, Theorem 7.1].<br />

11

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

Saved successfully!

Ooh no, something went wrong!