TY - JOUR
T1 - How to get a conservative well-posed linear system out of thin air. Part II. Controllability and stability
AU - Tucsnak, Marius
AU - Weiss, George
PY - 2003
Y1 - 2003
N2 - Let A 0 be a possibly unbounded positive operator on the Hilbert space H, which is boundedly mvertible. Let C o be a bounded operator from D(A 0 1/2) (with the norm ||z|| 1/2 2 = (A 0z, z)) to another Hilbert space U. In Part I of this work we have proved that the system of equations z̈(t) + A 0z(f) + 1/2C 0*C 0z̈(t) = C 0*u(t), y(t) = -C 0ż(t) + u(t) determines a well-posed linear system E with input u and output y, input and output space U, and state space X = D(A 0 1/2) × H. Moreover, Σ is conservative, which means that a certain energy balance equation is satisfied both by the trajectories of Σ and by those of its dual system. In this paper we show that Σ is exactly controllable if and only if it is exactly observable, if and only if it is exponentially stable. Moreover, if we denote by A the generator of the contraction semigroup associated with Σ (which acts on X), then Σ is exponentially stable if and only if one of the entries in the second column of (iωI-A) -1 is uniformly bounded as a function of ω ∈ R. We also show that, under a mild assumption, Σ is approximately controllable if and only if it is approximately observable, if and only if it is strongly stable, if and only if the dual system is strongly stable. We prove many related results and we give examples based on wave and beam equations.
AB - Let A 0 be a possibly unbounded positive operator on the Hilbert space H, which is boundedly mvertible. Let C o be a bounded operator from D(A 0 1/2) (with the norm ||z|| 1/2 2 = (A 0z, z)) to another Hilbert space U. In Part I of this work we have proved that the system of equations z̈(t) + A 0z(f) + 1/2C 0*C 0z̈(t) = C 0*u(t), y(t) = -C 0ż(t) + u(t) determines a well-posed linear system E with input u and output y, input and output space U, and state space X = D(A 0 1/2) × H. Moreover, Σ is conservative, which means that a certain energy balance equation is satisfied both by the trajectories of Σ and by those of its dual system. In this paper we show that Σ is exactly controllable if and only if it is exactly observable, if and only if it is exponentially stable. Moreover, if we denote by A the generator of the contraction semigroup associated with Σ (which acts on X), then Σ is exponentially stable if and only if one of the entries in the second column of (iωI-A) -1 is uniformly bounded as a function of ω ∈ R. We also show that, under a mild assumption, Σ is approximately controllable if and only if it is approximately observable, if and only if it is strongly stable, if and only if the dual system is strongly stable. We prove many related results and we give examples based on wave and beam equations.
KW - Beam equation
KW - Conservative system
KW - Exact controllability
KW - Exponential stability
KW - Strong stability
KW - Wave equation
KW - Well-posed linear system
UR - http://www.scopus.com/inward/record.url?scp=2942607586&partnerID=8YFLogxK
U2 - 10.1137/S0363012901399295
DO - 10.1137/S0363012901399295
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:2942607586
SN - 0363-0129
VL - 42
SP - 907
EP - 935
JO - SIAM Journal on Control and Optimization
JF - SIAM Journal on Control and Optimization
IS - 3
ER -