A continuous version of the Littlewood-Richardson rule and its application to invariant subspaces (Q1265468): Difference between revisions

A Littlewood-Richardson function is defined to be a map \(\sigma\colon [0,\infty)\rightarrow\ell_1\), \(\sigma(t)=(\sigma_j(t))\), with the following properties: (i) for each \(t\geq 0\), \(\sigma(t)\) is a real, decreasing, nonnegative sequence; (ii) for every positive integer \(j\) and each \(h\geq 0\), we have \(0\leq\sigma_j(t+h)-\sigma_j(t)\leq h\); (iii) for each positive integer \(j\), we have \(d\sigma_j(t)/dt\in\{0,1\}\) for almost every \(t\in [0,\infty)\); (iv) for each positive integer \(p\), the function \(t\mapsto \sum_{j=p}^\infty \sigma_j(t)\) is concave. The authors use the Littlewood-Richardson function to give a relationship between the Jordan model of an operator \(T\) of class \(C_0\), and the Jordan models of the restrictions \(T\bigm|_M\) and \(T^\ast\bigm|_{ M^\bot}\), where \(M\) is an invariant subspace for \(T\).