Resolvent of the generator of the \(C_0\)-group with non-basis family of eigenvectors and sharpness of the XYZ theorem (Q2043664)

Summary: The paper presents an explicit form of the resolvent and characterisation of the spectrum for the class of generators of \(C_0\)-groups with purely imaginary eigenvalues, clustering at \(i\infty\), and complete minimal non-basis family of eigenvectors, constructed recently by the authors in [J. Funct. Anal. 272, No. 3, 1017--1043 (2017; Zbl 1359.47042)]. The discrete Hardy inequality serves as the cornerstone for the proofs of the corresponding results. Furthermore, it is shown that the main result on the Riesz basis property for invariant subspaces of the generator of the \(C_0\)-group (the XYZ theorem), obtained a decade ago by \textit{G. Q. Xu} and \textit{S. P. Yung} [J. Differ. Equations 210, No. 1, 1--24 (2005; Zbl 1131.47042)] and \textit{H. Zwart} [J. Differ. Equations 249, No. 10, 2397--2408 (2010; Zbl 1203.47020)], is sharp.