Hostname: page-component-5c6d5d7d68-vt8vv Total loading time: 0.001 Render date: 2024-08-24T12:52:07.687Z Has data issue: false hasContentIssue false

How to get a conservative well-posed linear system out of thin air. Part I. Well-posedness and energy balance

Published online by Cambridge University Press:  15 September 2003

George Weiss
Affiliation:
Department of Electrical and Electronic Engineering, Imperial College London, Exhibition Road, London SW7 2BT, UK; G.Weiss@imperial.ac.uk.
Marius Tucsnak
Affiliation:
Department of Mathematics, University of Nancy I, BP. 239, 54506 Vandœuvre-les-Nancy, France; Marius.Tucsnak@iecn.u-nancy.fr.
Get access

Abstract

Let A0 be a possibly unbounded positive operator on the Hilbert space H, which is boundedly invertible. Let C0 be a bounded operator from ${\cal D}\Big(A_0^{\frac{1}{2}}\Big)$ to another Hilbert space U. We prove that the system of equations $$\ddot z(t)+A_0 z(t) + {\frac{1}{2}}C_0^*C_0\dot z(t) =C_0^*u(t) $$$$y(t) =-C_0 \dot z(t)+u(t),$$ determines a well-posed linear system with input u and output y. The state of this system is $$ x(t) = \left[\begin{matrix}\, z(t) \\ \dot z(t)\end{matrix}\right] \in {\cal D}\left(A_0^{\frac{1}{2}}\right)\times H = X , $$ where X is the state space. Moreover, we have the energy identity $$ \|x(t)\|^2_X-\|x(0)\|_X^2 = \int_0^T\| u(t)\|^2_U {\rm d}t - \int_0^T \|y(t)\|_U^2 {\rm d}t. $$ We show that the system described above is isomorphic to its dual, so that a similar energy identity holds also for the dual system and hence, the system is conservative. We derive various other properties of such systems and we give a relevant example: a wave equation on a bounded n-dimensional domain with boundary control and boundary observation on part of the boundary.

Type
Research Article
Copyright
© EDP Sciences, SMAI, 2003

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

D.Z. Arov and M.A. Nudelman, Passive linear stationary dynamical scattering systems with continous time. Integral Equations Operator Theory 24 (1996) 1-43.
Ball, J.A., Conservative dynamical systems and nonlinear Livsic-Brodskii nodes. Oper. Theory Adv. Appl. 73 (1994) 67-95.
A. Bensoussan, G. Da Prato, M.C. Delfour and S.K. Mitter, Representation and Control of Infinite Dimensional Systems, Vol. 1. Birkhäuser, Boston (1992).
R.F. Curtain and G. Weiss, Well-posedness of triples of operators (in the sense of linear systems theory), Control and Estimation of Distributed Parameter Systems, edited by F. Kappel, K. Kunisch and W. Schappacher. Birkhäuser, Basel (1989) 41-59.
Grabowski, P., On the spectral Lyapunov approach to parametric optimization of distributed parameter systems. IMA J. Math. Control Inform. 7 (1990) 317-338. CrossRef
P. Grisvard, Elliptic Problems in Nonsmooth Domains. Pitman, Boston (1985).
P. Grisvard, Singularities in Boundary Value Problems. Masson, Paris (1992).
Hansen, S. and Weiss, G., New results on the operator Carleson measure criterion. IMA J. Math. Control Inform. 14 (1997) 3-32. CrossRef
B. Jacob and J. Partington, The Weiss conjecture on admissibility of observation operators for contraction semigroups. Integral Equations Operator Theory (to appear).
P. Lax and R. Phillips, Scattering Theory. Academic Press, New York (1967).
J.-L. Lions and E. Magenes, Non-Homogeneous Boundary Value Problems and Applications, Vol. I. Springer-Verlag, Berlin, Grundlehren Math. Wiss. 181 (1972).
B.M.J. Maschke and A.J. van der Schaft, Portcontrolled Hamiltonian representation of distributed parameter systems, in Proc. of the IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, edited by N.E. Leonard andR. Ortega. Princeton University (2000) 28-38.
A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York (1983).
Rodriguez-Bernal, A. and Zuazua, E., Parabolic singular limit of a wave equation with localized boundary damping. Discrete Contin. Dynam. Systems 1 (1995) 303-346.
Salamon, D., Infinite dimensional systems with unbounded control and observation: A functional analytic approach. Trans. Amer. Math. Soc. 300 (1987) 383-431.
Salamon, D., Realization theory in Hilbert space. Math. Systems Theory 21 (1989) 147-164. CrossRef
Staffans, O.J., Quadratic optimal control of stable well-posed linear systems. Trans. Amer. Math. Soc. 349 (1997) 3679-3715. CrossRef
O.J. Staffans, Coprime factorizations and well-posed linear systems. SIAM J. Control Optim. 36 (1998) 1268-1292.
O.J. Staffans and G. Weiss, Transfer functions of regular linear systems. Part II: The system operator and the Lax-Phillips semigroup. Trans. Amer. Math. Soc. 354 (2002) 3229-3262.
O.J. Staffans and G. Weiss, Transfer functions of regular linear systems. Part III: Inversions and duality (submitted).
Triggiani, R., Wave equation on a bounded domain with boundary dissipation: An operator approach. J. Math. Anal. Appl. 137 (1989) 438-461. CrossRef
Weiss, G., Admissibility of unbounded control operators. SIAM J. Control Optim. 27 (1989) 527-545. CrossRef
Weiss, G., Admissible observation operators for linear semigroups. Israel J. Math. 65 (1989) 17-43. CrossRef
Weiss, G., Transfer functions of regular linear systems. Part I: Characterizations of regularity. Trans. Amer. Math. Soc. 342 (1994) 827-854.
Weiss, G., Regular linear systems with feedback. Math. Control Signals Systems 7 (1994) 23-57. CrossRef
G. Weiss and R. Rebarber, Optimizability and estimatability for infinite-dimensional linear systems. SIAM J. Control Optim. 39 (2001) 1204-1232.
Weiss, G., Staffans, O.J. and Tucsnak, M., Well-posed linear systems - A survey with emphasis on conservative systems. Appl. Math. Comput. Sci. 11 (2001) 101-127.