We consider an initial value problem for linear Hamiltonian system in the scale of Hilbert spaces and prove an existence and uniqueness theorem. We also prove a version of the Poincaré Recurrence Theorem.