Some new characterizations of nonnegative Hamiltonian operator matrices are given. Several necessary and sufficient conditions for an unbounded nonnegative Hamiltonian operator to be invertible are obtained, so that the main results in the previously published papers are corollaries of the new theorems. Most of all we want to stress the method of proof. It is based on the connections between Pauli operator matrices and nonnegative Hamiltonian matrices.
A necessary and sufficient condition is obtained for the generalized eigenfunction systems of 2 × 2 operator matrices to be a block Schauder basis of some Hilbert space, which offers a mathematical foundation of solving symplectic elasticity problems by using the method of separation of variables. Moreover, the theoretical result is applied to two plane elasticity problems via the separable Hamiltonian systems.
