Гамильтонов формализм

[Nbugurt]

Почитал немного лекции Дирака, в них вроде $H=H_0+ \lambda _n\phi_n $. А что такое $ H_0(p,q)$ и как его получить на конкретном примере не могу понять.

[espe]

Nbugurt в сообщении #929871 писал(а):

А что такое $ H_0(p,q)$

По смыслу это та часть гамильтониана, которая не содержит связей.

Nbugurt в сообщении #929871 писал(а):

как его получить на конкретном примере не могу понять

Я так понимаю, что предлагается перейти к новому лагранжиану $L\mapsto L'=-\dfrac{m}{2}q\dot{v}-\dfrac{k}{2}q^2+\lambda(\dot{q}-v)$ и дальше как обычно.