Transfer functions of regular linear systems Part II: The system operator and the Lax-Phillips semigroup

Authors:
Olof Staffans and George Weiss

Journal:
Trans. Amer. Math. Soc. **354** (2002), 3229-3262

MSC (2000):
Primary 93C25; Secondary 34L25, 37L99, 47D06

Published electronically:
April 3, 2002

MathSciNet review:
1897398

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper is a sequel to a paper by the second author on regular linear systems (1994), referred to here as ``Part I''. We introduce the system operator of a well-posed linear system, which for a finite-dimensional system described by , would be the -dependent matrix . In the general case, is an unbounded operator, and we show that it can be split into four blocks, as in the finite-dimensional case, but the splitting is not unique (the upper row consists of the uniquely determined blocks and , as in the finite-dimensional case, but the lower row is more problematic). For weakly regular systems (which are introduced and studied here), there exists a special splitting of where the right lower block is the feedthrough operator of the system. Using , we give representation theorems which generalize those from Part I to well-posed linear systems and also to the situation when the ``initial time'' is . We also introduce the Lax-Phillips semigroup induced by a well-posed linear system, which is in fact an alternative representation of a system, used in scattering theory. Our concept of a Lax-Phillips semigroup differs in several respects from the classical one, for example, by allowing an index which determines an exponential weight in the input and output spaces. This index allows us to characterize the spectrum of and also the points where is not invertible, in terms of the spectrum of the generator of (for various values of ). The system is dissipative if and only if (with index zero) is a contraction semigroup.

**1.**D. Z. Arov and M. A. Nudelman,*Passive linear stationary dynamical scattering systems with continuous time*, Integral Equations Operator Theory**24**(1996), no. 1, 1–45. MR**1366539**, 10.1007/BF01195483**2.**George Avalos, Irena Lasiecka, and Richard Rebarber,*Lack of time-delay robustness for stabilization of a structural acoustics model*, SIAM J. Control Optim.**37**(1999), no. 5, 1394–1418 (electronic). MR**1710226**, 10.1137/S0363012997331135**3.**Gustav Doetsch,*Handbuch der Laplace-Transformation. Band I. Theorie der Laplace-Transformation*, Verlag Birkhäuser, Basel, 1950 (German). MR**0043253****4.**Klaus-J. Engel,*On the characterization of admissible control- and observation operators*, Systems Control Lett.**34**(1998), no. 4, 225–227. MR**1637265**, 10.1016/S0167-6911(98)00019-X**5.**Piotr Grabowski and Frank M. Callier,*Admissible observation operators. Semigroup criteria of admissibility*, Integral Equations Operator Theory**25**(1996), no. 2, 182–198. MR**1388679**, 10.1007/BF01308629**6.**J. William Helton,*Systems with infinite-dimensional state space: the Hilbert space approach*, Proc. IEEE**64**(1976), no. 1, 145–160. Recent trends in system theory. MR**0416694****7.**Einar Hille and Ralph S. Phillips,*Functional analysis and semi-groups*, American Mathematical Society Colloquium Publications, vol. 31, American Mathematical Society, Providence, R. I., 1957. rev. ed. MR**0089373****8.**D. Hinrichsen and A. J. Pritchard,*Robust stability of linear evolution operators on Banach spaces*, SIAM J. Control Optim.**32**(1994), no. 6, 1503–1541. MR**1297095**, 10.1137/S0363012992230404**9.**B. Jacob and J.R. Partington.

The Weiss conjecture on admissibility of observation operators for contraction semigroups.*Integral Equations and Operator Theory*, 40:231-243, 2001.**10.**B. Jacob and H. Zwart.

Realization of inner functions.

Preprint, Twente, 1998.**11.**V. Katsnelson and G. Weiss,*A counterexample in Hardy spaces with an application to systems theory*, Z. Anal. Anwendungen**14**(1995), no. 4, 705–730. MR**1376574**, 10.4171/ZAA/648**12.**Peter D. Lax and Ralph S. Phillips,*Scattering theory*, Pure and Applied Mathematics, Vol. 26, Academic Press, New York-London, 1967. MR**0217440****13.**P. D. Lax and R. S. Phillips,*Scattering theory for dissipative hyperbolic systems*, J. Functional Analysis**14**(1973), 172–235. MR**0353016****14.**Hartmut Logemann, Richard Rebarber, and George Weiss,*Conditions for robustness and nonrobustness of the stability of feedback systems with respect to small delays in the feedback loop*, SIAM J. Control Optim.**34**(1996), no. 2, 572–600. MR**1377713**, 10.1137/S0363012993250700**15.**H. Logemann and E. P. Ryan,*Time-varying and adaptive integral control of infinite-dimensional regular linear systems with input nonlinearities*, SIAM J. Control Optim.**38**(2000), no. 4, 1120–1144 (electronic). MR**1760063**, 10.1137/S0363012998339228**16.**H. Logemann, E. P. Ryan, and S. Townley,*Integral control of infinite-dimensional linear systems subject to input saturation*, SIAM J. Control Optim.**36**(1998), no. 6, 1940–1961 (electronic). MR**1638027**, 10.1137/S0363012996314142**17.**H. Logemann, E.P. Ryan, and S. Townley.

Integral control of linear systems with actuator nonlinearities: lower bounds for the maximal regulating gain.*IEEE Trans. Autom. Control*, 44:1315-1319, 1999. CMP**99:14****18.**Hartmut Logemann and Stuart Townley,*Discrete-time low-gain control of uncertain infinite-dimensional systems*, IEEE Trans. Automat. Control**42**(1997), no. 1, 22–37. MR**1439362**, 10.1109/9.553685**19.**Hartmut Logemann and Stuart Townley,*Low-gain control of uncertain regular linear systems*, SIAM J. Control Optim.**35**(1997), no. 1, 78–116. MR**1430284**, 10.1137/S0363012994275920**20.**K. A. Morris,*Justification of input-output methods for systems with unbounded control and observation*, IEEE Trans. Automat. Control**44**(1999), no. 1, 81–85. MR**1665308**, 10.1109/9.739075**21.**Raimund Ober and Stephen Montgomery-Smith,*Bilinear transformation of infinite-dimensional state-space systems and balanced realizations of nonrational transfer functions*, SIAM J. Control Optim.**28**(1990), no. 2, 438–465. MR**1040469**, 10.1137/0328024**22.**Raimund J. Ober and Yuanyin Wu,*Infinite-dimensional continuous-time linear systems: stability and structure analysis*, SIAM J. Control Optim.**34**(1996), no. 3, 757–812. MR**1384953**, 10.1137/S0363012993245318**23.**Raymond E. A. C. Paley and Norbert Wiener,*Fourier transforms in the complex domain*, American Mathematical Society Colloquium Publications, vol. 19, American Mathematical Society, Providence, RI, 1987. Reprint of the 1934 original. MR**1451142****24.**A. Pazy,*Semigroups of linear operators and applications to partial differential equations*, Applied Mathematical Sciences, vol. 44, Springer-Verlag, New York, 1983. MR**710486****25.**Richard Rebarber,*Conditions for the equivalence of internal and external stability for distributed parameter systems*, IEEE Trans. Automat. Control**38**(1993), no. 6, 994–998. MR**1227215**, 10.1109/9.222318**26.**Richard Rebarber,*Exponential stability of coupled beams with dissipative joints: a frequency domain approach*, SIAM J. Control Optim.**33**(1995), no. 1, 1–28. MR**1311658**, 10.1137/S0363012992240321**27.**R. Rebarber and S. Townley,*Robustness and continuity of the spectrum for uncertain distributed parameter systems*, Automatica J. IFAC**31**(1995), no. 11, 1533–1546. MR**1359350**, 10.1016/0005-1098(95)00088-E**28.**Dietmar Salamon,*Infinite-dimensional linear systems with unbounded control and observation: a functional analytic approach*, Trans. Amer. Math. Soc.**300**(1987), no. 2, 383–431. MR**876460**, 10.1090/S0002-9947-1987-0876460-7**29.**Dietmar Salamon,*Realization theory in Hilbert space*, Math. Systems Theory**21**(1989), no. 3, 147–164. MR**977021**, 10.1007/BF02088011**30.**Olof J. Staffans,*Quadratic optimal control of stable well-posed linear systems*, Trans. Amer. Math. Soc.**349**(1997), no. 9, 3679–3715. MR**1407712**, 10.1090/S0002-9947-97-01863-1**31.**Olof J. Staffans,*Coprime factorizations and well-posed linear systems*, SIAM J. Control Optim.**36**(1998), no. 4, 1268–1292 (electronic). MR**1618041**, 10.1137/S0363012995285417**32.**Olof J. Staffans,*Quadratic optimal control of well-posed linear systems*, SIAM J. Control Optim.**37**(1999), no. 1, 131–164 (electronic). MR**1645436**, 10.1137/S0363012996314257**33.**Olof J. Staffans,*Feedback representations of critical controls for well-posed linear systems*, Internat. J. Robust Nonlinear Control**8**(1998), no. 14, 1189–1217. MR**1658797**, 10.1002/(SICI)1099-1239(19981215)8:14<1189::AID-RNC385>3.3.CO;2-W**34.**Olof J. Staffans,*On the distributed stable full information 𝐻^{∞} minimax problem*, Internat. J. Robust Nonlinear Control**8**(1998), no. 15, 1255–1305. MR**1658961**, 10.1002/(SICI)1099-1239(19981230)8:15<1255::AID-RNC386>3.0.CO;2-P**35.**O.J. Staffans.

Lax-Phillips scattering and well-posed linear systems.

In*Proceedings of the 7th IEEE Mediterranean Conference on Control and Systems*, CD-ROM, Haifa, Israel, July 28-30, 1999.**36.**O.J. Staffans.*Well-Posed Linear Systems*.

Book manuscript, 2002.**37.**E. G. F. Thomas,*Vector-valued integration with applications to the operator-valued 𝐻^{∞} space*, IMA J. Math. Control Inform.**14**(1997), no. 2, 109–136. Distributed parameter systems: analysis, synthesis and applications, Part 2. MR**1470030**, 10.1093/imamci/14.2.109**38.**George Weiss,*Admissibility of unbounded control operators*, SIAM J. Control Optim.**27**(1989), no. 3, 527–545. MR**993285**, 10.1137/0327028**39.**George Weiss,*Admissible observation operators for linear semigroups*, Israel J. Math.**65**(1989), no. 1, 17–43. MR**994732**, 10.1007/BF02788172**40.**George Weiss,*The representation of regular linear systems on Hilbert spaces*, Control and estimation of distributed parameter systems (Vorau, 1988), Internat. Ser. Numer. Math., vol. 91, Birkhäuser, Basel, 1989, pp. 401–416. MR**1033074**, 10.1016/0039-6028(89)90131-3**41.**Takao Hinamoto, Takashi Hamanaka, and Sadao Maekawa,*Lyapunov stability of two-dimensional digital filters*, Electron. Comm. Japan Part III Fund. Electron. Sci.**72**(1989), no. 8, 83–90. MR**1041701**, 10.1002/ecjc.4430720809**42.**George Weiss,*Regular linear systems with feedback*, Math. Control Signals Systems**7**(1994), no. 1, 23–57. MR**1359020**, 10.1007/BF01211484**43.**Vincent D. Blondel, Eduardo D. Sontag, M. Vidyasagar, and Jan C. Willems (eds.),*Open problems in mathematical systems and control theory*, Communications and Control Engineering Series, Springer-Verlag London, Ltd., London, 1999. MR**1727924****44.**George Weiss and Ruth F. Curtain,*Dynamic stabilization of regular linear systems*, IEEE Trans. Automat. Control**42**(1997), no. 1, 4–21. MR**1439361**, 10.1109/9.553684**45.**Martin Weiss and George Weiss,*Optimal control of stable weakly regular linear systems*, Math. Control Signals Systems**10**(1997), no. 4, 287–330. MR**1486727**, 10.1007/BF01211550**46.**G. Weiss and M. Häfele.

Repetitive control of MIMO systems using design.*Automatica*, 35:1185-1199, 1999. CMP**2001:12****47.**Yutaka Yamamoto,*Realization theory of infinite-dimensional linear systems. I*, Math. Systems Theory**15**(1981/82), no. 1, 55–77. MR**638440**, 10.1007/BF01786973

Yutaka Yamamoto,*Realization theory of infinite-dimensional linear systems. II*, Math. Systems Theory**15**(1981/82), no. 2, 169–190. MR**656454**, 10.1007/BF01786978**48.**K. Zhou, J. Doyle and K. Glover.*Robust and Optimal Control*.

Prentice-Hall, Upper Saddle River, 1996.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
93C25,
34L25,
37L99,
47D06

Retrieve articles in all journals with MSC (2000): 93C25, 34L25, 37L99, 47D06

Additional Information

**Olof Staffans**

Affiliation:
Department of Mathematics, Åbo Akademi University, FIN-20500 Åbo, Finland

Email:
Olof.Staffans@abo.fi

**George Weiss**

Affiliation:
Department of Electrical & Electronic Engineering, Imperial College of Science & Technology, Exhibition Road, London SW7 2BT, United Kingdom

Email:
G.Weiss@ic.ac.uk

DOI:
https://doi.org/10.1090/S0002-9947-02-02976-8

Keywords:
Well-posed linear system,
(weakly) regular linear system,
operator semigroup,
system operator,
generating operators,
well-posed transfer function,
scattering theory,
Lax-Phillips semigroup,
dissipative system

Received by editor(s):
February 23, 2001

Received by editor(s) in revised form:
November 16, 2001

Published electronically:
April 3, 2002

Article copyright:
© Copyright 2002
American Mathematical Society