А гамильтониан как примерно выглядеть будет? Какого-то вида функция? И мне ее(производную по времени от каждой обобщенной координаты) интегрировать вручную или выч. методами(например Верле)?
Как сумма кинетических энергий и попарные суммы потенциальных энергий. В "обычных" координатах вам уже приводили. В итоге для "обычных" координат получатся обычные уравнения движения.
Аналитически выше задачи двух тел существенных успехов нет, так что численными методами. Что как раз по теме вашего образования. Методов довольно много, можно глянуть какие предпочитают небесные механики.
А что значит "известные" значение инварианта?(можно, пожалуйста, пример в моем случае)
То есть, если в начальный момент, исходя из координат и импульсов общая энергия системы была равна xxx.xxxx - то это число обязано остаться таковым и для всех последующих моментов времени. Если уползло - можно попробовать сдвинуть в "ближайший" набор координат-импульсов с таким значением энергии. Иногда удобно, если без фанатизма.
Кроме энергии можно взять ещё и общий импульс, момент импульса.
Wolfram Mathematica некогда гордилась такими трюками.
И смогу ли я также играючи использовать все это не только на планетах, но и на их спутниках?
Тут вылазит вопрос точности и, в некотором роде, "жесткости" уравнений, откуда следует проблема временных затрат.
1. С ростом числа спутников число членов потенциальной энергии в гамильнониане растёт квадратично. Итого, линейно растёт как число диф. уравнений, так и число членов в этих уравнениях. При том, большинство из них будет давать мизернейший вклад, описывающий энергии притяжения между Луной и чайником в поясе Койпера.
2. Какой брать шаг интегрирования? Для медленно кружащихся планет - доли года, для низко летящих спутников - возможно и часы. Но тогда и планеты прийдётся считать с таким, излишне мелким шагом. Может быть возможно победить переходом к "правильным" переменным, если не запутаетесь во возросшей сложности.
Можно поискать книги по небесной механике, хорошие методы скорее всегодавно разработаны.
... хотя с нынешними мощностями компов можно забрутфорсить всё в дабл и распределить по ядрам, возможно и сотни небесный тел удастся считать с приемлимой точностью.