Интегралы движения для гамильтониана с гостовской частью

Системы, гамильтониан которых включает в себя гостовский осциллятор и особого вида потенциал взаимодействия, имеют, помимо энергии, ещё один интеграл движения. Было приведено прямое доказательство сохранения данной величины с использованием как гамильтонова, так и лагранжева формализма.