У меня получилось следующее уравнение связи:
Я как-то над этим уравнением не задумывался, и был уверен, что глобально оно не разрешимо. Но если немного подумать, то оказывается, что именно глобально (при всех
) оно определяет гладкую функцию
которую даже не так трудно выписать. Там, какая-то тривиальная неединственность есть, но это неважно. Поэтому, действительно, удобнее пользоваться уравнением Лагранжа на обобщенную координату
(без множителей.)
А имели ли в виду
amon и
Padawan именно это -- непонятно. В качестве аргумента предлагалась голономность, но голономность как таковая существования глобальных координат совсем не гарантирует, как и теорема о неявной функции, впрочем.
Вопрос о вычислении обобщенной силы, отвечающей моментам
остался на повестке.