On the existence of solutions to the operator Riccati equation and the \(\tan\Theta\) theorem (Q1772905): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0210032 / rank | |||
Normal rank |
Latest revision as of 23:04, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the existence of solutions to the operator Riccati equation and the \(\tan\Theta\) theorem |
scientific article |
Statements
On the existence of solutions to the operator Riccati equation and the \(\tan\Theta\) theorem (English)
0 references
21 April 2005
0 references
New results are presented for the \((2,2)\) selfadjoint block operator \(K= \left(\begin{smallmatrix} A&B\\ B^*&C \end{smallmatrix}\right)\) on \(H_1\oplus H_2\), where \(A: H_1\to H_1\), \(B: H_2\to H_1\), \(C: H_2\to H_2\), \(A\), \(C\) selfadjoint, \(A\), \(B\) bounded. It is assumed that \(C\) has a spectral gap \(\Delta\). It is known that if the Riccati equation \[ XA- CX+ XBX= B^*\tag{i} \] has a bounded solution \(X\), then the graph \(G(X)\) of \(X\) reduces the operator \(K\) [cf. \textit{S. Albeverio}, \textit{K. A. Makarov} and \textit{A. K. Motovilov}, Can. J. Math. 55, No. 3, 449--503 (2003; Zbl 1074.47007)]. The authors prove that if the spectrum of \(K_{G(X)}\) lies in \(\Delta\), then \[ \| X\|\leq \| B\|/\text{dist}(\sigma(K_{G(X)}),\sigma(C))\tag{ii} \] and \[ \|\tan\theta\|\leq \| B\|/\text{dist}(\sigma(K_{G(X)}),\sigma(C)),\tag{iii} \] where \(\theta\) is the operator angle between \(H_1\) and \(G(X)\). Stronger results hold when \(\Delta\) is finite, \(\sigma(A)\subseteq\Delta\), and \(\| B\|\) is small. For example, if \[ \| B\|^2<|\Delta|\text{dist}(\sigma(A), \sigma(C)), \] then (i) has a unique solution \(X\) such that the spectrum of \(K_{G(K)}\) is a proper closed subset of \(\Delta\) and (ii), (iii) hold.
0 references
invariant subspaces
0 references
operator Riccati equation
0 references
operator matrix
0 references
operator angle
0 references
factorization theorem
0 references