Что такое множители Лагранжа относительно голономных ограничений в классической механике?

Чтобы было просто и ясно, если у меня есть голономное ограничение, которое я хочу обработать с помощью множителя Лагранжа, в любом учебнике, которого я касаюсь, они просто выражаются как " λ " (опуская возможные аргументы). Я хотел бы знать, является ли множитель Лагранжа чем-то вроде " λ ( т ) ", это было бы λ быть дополнительной степенью свободы, временная зависимость которой пока неизвестна. Или, напротив, является ли множитель Лагранжа расширением (пока еще точно не определенным) функции Лагранжа, и как таковое « λ ( д , д ˙ , т ) "?

Здесь я расширю свои мысли о том, почему я думаю, что обе версии работают: начиная с " λ ( д , д ˙ , т ) ", Полный лагранжиан Системы будет

л "=" л ( д , д ˙ , т ) λ ( д , д ˙ , т ) ф ( д , т )
Варианты путей дельта д и требование, чтобы ф ( д ( т ) , т ) "=" 0 выполняется, даст правильный EOM:
г г т л д ˙ ( д ( т ) , д ˙ ( т ) , т ) л д ( д ( т ) , д ˙ ( т ) , т ) "=" г г т λ д ˙ ( д ( т ) , д ˙ ( т ) , т ) λ д ( д ( т ) , д ˙ ( т ) , т ) ) ф ( д ( т ) , т ) + λ д ˙ ( д ( т ) , д ˙ ( т ) , т ) г г т ф ( д ( т ) , т ) + λ ( д ( т ) , д ˙ ( т ) , т ) ф д

Применяя ограничения, ф "=" 0 и г г т ф "=" 0 , то получаем:

г г т л д ˙ ( д ( т ) , д ˙ ( т ) , т ) л д ( д ( т ) , д ˙ ( т ) , т ) "=" + λ ( д ( т ) , д ˙ ( т ) , т ) ф д
И
ф ( д ( т ) , т ) "=" 0
которые являются просто уравнениями, описывающими движение системы.

В качестве альтернативы (как сказано) я могу рассматривать множители как дополнительные степени свободы в конфигурационном пространстве. Полный лагранжиан, зависящий от д , д ˙ , λ , λ ˙ (эта зависимость приведена здесь только для полноты, полный лагранжиан не будет зависеть от λ ˙ ), и т, составляет:

л ( д , д ˙ , т ) λ ( т ) ф ( д , т )
Уравнения Лагранжа тогда будут:
г г т л д ˙ ( д ( т ) , д ˙ ( т ) , т ) л д ( д ( т ) , д ˙ ( т ) , т ) "=" λ ( т ) ф д ( д ( т ) , т )
И
ф ( д ( т ) , т ) "=" 0

Оба метода, хотя и используют разные предположения, дают одни и те же уравнения движения. Какой из них более осуществим? Бывают ли случаи, когда мои рассуждения не работают в пользу одного из двух приведенных мной вариантов?

Ответы (2)

Вы заметили, что может быть двойственное описание лагранжевых систем при голономных ограничениях.

Рассмотрим лагранжевую систему с н переменные и м голономные ограничения. Множители Лагранжа на самом деле можно рассматривать просто как неопределенные функции, выбранные так, что

г г т л д ˙ я л д я а λ а ф а д я "=" 0 ,
для м принадлежащий д я . Остальные н м переменные могут варьироваться независимо, и задача имеет н м степени свободы.

С другой стороны, множители Лагранжа также можно рассматривать как новые независимые переменные. λ а ( т ) . Учитывая лагранжиан л ( д , д ˙ , т ) и м голономные ограничения ф а ( д , т ) "=" 0 то мы можем сформулировать двойственную задачу, состоящую из двойственного лагранжиана без ограничений

(1) л ~ ( д , д ˙ , λ , т ) "=" л ( д , д ˙ , т ) + а λ а ( т ) ф а ( д , т ) .
Множители Лагранжа λ а ( т ) затем считаются новыми независимыми переменными в вариационной задаче с н + м степени свободы. Вариация по отношению к д я дает динамические уравнения,
г г т л д ˙ я л д я "=" а λ а ф а д я ,
в то время как вариация относительно λ а дать уравнения связи,
ф а ( д , т ) "=" 0.

Обратите внимание, что это двойственное описание не выполняется для неголономных связей, поскольку мы не можем записать двойственный лагранжиан, такой как (1), из-за отсутствия уравнений связи вида ф а "=" 0

То есть, в принципе, вы говорите, что пока одна из версий возможна, она не имеет преимущества перед другой?
Они полностью эквивалентны даже с практической точки зрения. Я просто предпочитаю второй, потому что легче запомнить процедуру. Он также может быть немного более элегантным.

Условно подсчет идет следующим образом: Множителей Лагранжа столько же, λ я ( т ) так как есть ограничения ф я ( т ) 0 . Поскольку ограничение ф я ( т ) 0 должен быть удовлетворен в каждое мгновение т , есть один множитель Лагранжа λ я ( т ) за каждое мгновение т . Эквивалентно: множители Лагранжа λ я ( т ) зависит от времени т .