Linear operator inequalities for strongly stable weakly regular linear systems (Q5959636): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Normalize DOI. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s498-001-8039-4 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s498-001-8039-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W23244454 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S498-001-8039-4 / rank | |||
Normal rank |
Latest revision as of 12:26, 9 December 2024
scientific article; zbMATH DE number 1720276
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear operator inequalities for strongly stable weakly regular linear systems |
scientific article; zbMATH DE number 1720276 |
Statements
Linear operator inequalities for strongly stable weakly regular linear systems (English)
0 references
14 March 2002
0 references
Weakly regular linear systems introduced by \textit{M. Weiss} and \textit{G. Weiss} [Math. Control Signals Syst. 10, No. 4, 287--330 (1997; Zbl 0884.49021)] form a large subclass of well-posed (in the sense of \textit{D. Salamon} [Trans. Am. Math. Soc. 300, 383--431 (1987; Zbl 0623.93040)]) linear systems, which includes many systems described by partial differential equations with boundary control and point observations as well as by delay equations with delayed observations and control actions. They are characterized by the property that the transfer function \(G\) has a weak limit at \(+\infty\). Recently \textit{O. Staffans} and \textit{G. Weiss} [Trans. Am. Math. Soc. 354, No. 8, 3229--3262 (2002; Zbl 0996.93012)] showed that the system operator (in general, unbounded) of a weakly regular linear system can be naturally splitted into four blocks \(A,B,C,D\) (the generating operators of a system). In the paper under review, the following optimal control problem is considered. Let \({\mathcal X,U,Y}\) be separable Hilbert spaces; \(u(t), y(t)\) be the input and output functions for a strongly stable, weakly regular linear system \(\Sigma\) with generating operators \(A,B,C,0\). Given the operators \(R=R^*\in {\mathcal L(U)}, Q=Q^*\in {\mathcal L(Y)}, N\in {\mathcal L(Y,U)}\) and the initial state \(x_0\in {\mathcal X}\), find the input function \(u^{\text{ opt}}\in L_2(0,\infty;{\mathcal U})\) that minimizes the cost functional \[ J(x_0,u)=\int\limits_0^{\infty}\left\langle\left[\begin{matrix} Q & N^* \cr N & R \end{matrix}\right]\left[\begin{matrix} y(t)\cr u(t)\end{matrix}\right],\left[\begin{matrix} y(t)\cr u(t)\end{matrix}\right]\right\rangle_{\mathcal Y\times U}\,dt \] associated with \(\Sigma\). This problem is splitted into two subproblems: (1) the existence of a spectral factorization \(\Pi(i\omega)=\Xi(i\omega)^*\Xi(i\omega)\) (a.e. \(\omega\in {\mathbb R}\)) for the Popov function \(\Pi: i{\mathbb R}\rightarrow {\mathcal L(U)}\), associated with \(\Sigma\) and given by \[ \Pi(i\omega)=R+NG(i\omega)+G(i\omega)^*N^*+G(i\omega)^*QG(i\omega), \] where the spectral factor \(\Xi\in H_{\infty}({\mathcal L(U)})\) is outer; (2) the existence of a certain extended output map. The author considers the singular case \(\Pi(i\omega)\geq 0\); the case \(\Pi(i\omega)\geq\varepsilon I\) for some \(\varepsilon>0\) and a.e. \(\omega\in {\mathbb R}\) was treated by M. Weiss and G. Weiss (op. cit.), and by \textit{O. Staffans} [SIAM J. Control Optim. 36, No. 4, 1268--1292 (1998; Zbl 0919.93040), ibid. 37, No. 1, 131--164 (1999; Zbl 0955.49018)]. Sufficient conditions are found for the solvability of both of these subproblems. These results are applied to various examples of heat equation systems satisfying a positive-real condition, and to a certain class of retarded systems.
0 references
singular Riccati equations
0 references
weakly regular linear systems
0 references
Popov function
0 references
spectral factorization
0 references
Lur'e equations
0 references
Kalman-Popov-Yakubovich lemma
0 references