Riesz basis for strongly continuous groups (Q712173): Difference between revisions

One of the main results of the paper is the following. Let \(A\) be the infinitesimal generator of the \(C_0\)-group \((T(t))_{t\in\mathbb R}\) on the Hilbert space \(H\). Denote the eigenvalues of \(A\) by \(\lambda_n\) (counting with multiplicity), and the corresponding (normalized) eigenvectors by \(\varphi_n\). If the following two conditions hold: 1. the span of the eigenvectors is a dense set in \(H\), 2. the point spectrum has a uniform gap, i.e., \[ \inf_{n\neq m}|\lambda_n-\lambda_m|>0, \] then the eigenvectors form a Riesz basis on \(H\). In fact, from the theorem it follows that all eigenvalues are simple. Then the author discusses a situation when non-simple eigenvalues may appear and the eigenvalues may cluster. As a consequence of these main results, an operator \(A\) satisfying the conditions of these theorems has a pure point spectrum and has a compact resolvent, i.e., \(A\) turns to be discrete.