Generalized Lenard chains, separation of variables, and superintegrability

We show that the notion of generalized Lenard chains naturally allows formulation of the theory of multiseparable and superintegrable systems in the context of bi-Hamiltonian geometry. We prove that the existence of generalized Lenard chains generated by a Hamiltonian function defined on a four-dimensional ωN manifold guarantees the separation of variables. As an application, we construct such chains for the Hénon-Heiles systems and for the classical Smorodinsky-Winternitz systems. New bi-Hamiltonian structures for the Kepler potential are found.