05.06.2013 Views

Mikael Kurula - Åbo Akademi

Mikael Kurula - Åbo Akademi

Mikael Kurula - Åbo Akademi

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.1 Abstract input/state/output systems 11<br />

We give examples of system nodes in Examples 2.6 and 2.14.<br />

<br />

A&B<br />

Definition 2.5. The system node on (U,X,Y) is (L<br />

C&D<br />

2-)well-posed if there<br />

exists a T >0 and a<br />

constant KT, such that all classical input/state/output trajectories<br />

A&B<br />

(u,x,y) of satisfy<br />

C&D<br />

∀t ∈[0,T]: x(t) 2 X +<br />

t<br />

0<br />

y(s) 2 Yds ≤KT<br />

<br />

x(0) 2 X +<br />

t<br />

0<br />

u(s) 2 <br />

U ds . (2.15)<br />

Example 2.6. The operator A in (2.10) is unbounded on X =L2 (R + ;R2 ) but it can be<br />

shown that it is maximally dissipative, i.e., that Re(x,Ax)X ≤0 for all x ∈Dom(A)<br />

and Ran(1−A)=X. By the Lumer-Phillips Theorem [Paz83, Thm 1.4.3], this implies<br />

that its semigroup A in (2.9), with Dom(At )=L 2 (R + ;R2 ), is a contraction semigroup.<br />

In Examples 5.3 and 5.5 of [KS09] we showed that if A is maximally dissipative but<br />

unbounded operator on X, and A|X is its unique extension to a continuous operator<br />

from X to X−1, then the linear operator<br />

<br />

A|X A|X Dom(S)<br />

S :=<br />

with domain<br />

Dom(S)=<br />

−A|X −A|X<br />

x<br />

u<br />

<br />

∈<br />

<br />

X x+u<br />

∈Dom(A)<br />

X<br />

is a system node on (X,X,X) which is not L 2 -well posed.<br />

The ill-posedness was proved by noting that the transfer function of S is<br />

D(λ)=−A(λ−A) −1 , λ ∈C + , (2.16)<br />

which tends to −A as λ → ∞ in R + . This transfer function is thus not bounded on any<br />

complex right-half plane, and therefore S is ill-posed, as is well-known; see e.g. [Sta05,<br />

Lem. 4.6.2]. <br />

See [KS09, Sect. 5] for more information on system nodes and their trajectories.<br />

Also note that the system node in Example 2.6 is symmetric with respect to X and<br />

U = Y. This is in general not the case, because B can in general not be recovered from<br />

{0}<br />

the restriction of A&B to Dom(S)∩ as is the case for A, cf. (2.13). Indeed, for<br />

U<br />

<br />

0<br />

system nodes S of boundary control type we have ∈Dom(S) only if u=0; see the<br />

u<br />

text before (2.24) below.

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

Saved successfully!

Ooh no, something went wrong!