Если лагранжиан сепарабельен в обобщенных координатах и ​​скорости, означает ли это, что гамильтониан равен полной энергии? [закрыто]

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

Что вы подразумеваете под отделимостью и потенциалом? не могли бы вы сформулировать свой вопрос немного точнее?
насколько я знаю, функция предполагает, что F (x, y) отделима, если ее можно записать как F = G (x) H (y). А потенциал – это термин потенциальной энергии системы.
Вы требуете, чтобы новая координата была канонической?
Я не знаю, какая разница, канонический он или нет? Если у вас есть ответ с обеими возможностями, поделитесь, пожалуйста.
Непонятно, что спрашивают. Вы хотите знать, означает ли сепарабельный лагранжиан, что гамильтониан равен полной энергии, или наоборот?
Подойдет любое из следующего.

Ответы (1)

Я не уверен, что понимаю, что вы имеете в виду под отделимым, однако ваше первоначальное утверждение

Гамильтониан равен полной энергии, если лагранжиан не зависит от времени и потенциал не зависит от скорости

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

Рассмотрим в качестве простейшего примера частицу п массы м > 0 вынуждены двигаться по Икс -ось (без трения) и соединена с началом координат идеальной пружиной постоянной к > 0 . Обозначим через с координата п вдоль Икс .

Наконец, предположим, что кадр К определяется Икс у г вращается вокруг г с постоянной угловой скоростью Ом > 0 относительно инерциальной системы отсчета К с топорами Икс у г и г "=" г .

Легко доказать, что скорость п в К является

в | К "=" с Ом ( грех ( Ом т ) е Икс + потому что ( Ом т ) е у ) + с ˙ ( потому что ( Ом т ) е Икс + грех ( Ом т ) е у )
так что кинетическая энергия в К есть, с тривиальными вычислениями,
Т | К "=" м 2 в | К 2 "=" м 2 ( с ˙ 2 + с 2 Ом 2 ) .
Вы уже видите, что здесь Т | К не отделим в с и с ˙ в том смысле, который вы имели в виду.

Следовательно, лагранжиан

л | К ( с , с ˙ ) "=" м 2 ( с ˙ 2 + с 2 Ом 2 ) к 2 с 2 .
Даже если л | К не является явной функцией времени, функция Гамильтона (постоянная во времени вдоль решений уравнений Эйлера-Лагранжа) не совпадает с полной энергией в К однако! На самом деле это
ЧАС ( с , с ˙ ) "=" л | К с ˙ с ˙ л | К "=" м 2 с ˙ 2 м 2 с 2 Ом 2   + к 2 с 2
тогда как энергия в К является
Е | К ( с , с ˙ ) "=" Т | К + U | К "=" м 2 с ˙ 2 + м 2 с 2 Ом 2   + к 2 с 2 .
Последняя непостоянна вдоль решений уравнения движения.

Фундаментальная добавленная гипотеза, которую вы пропустили, чтобы получить оба ваших заявленных результата, заключается в том, что

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

В этом случае гипотеза нарушается, так как положение п в К читает

Икс ( т , д ) "=" с потому что ( Ом т ) е Икс + с грех ( Ом т ) е у
где т явным образом появляется.

Что касается значения ЧАС в рассматриваемом примере это не что иное, как

полная энергия, вычисленная в К .

В К , в дополнение к силе пружины проявляются еще две силы инерции : сила Кориолиса , которая не играет роли, потому что точно так же, как реактивная сила нормальна к скорости точки в К , а центробежная сила действует как отталкивающая пружина постоянной м Ом 2 . Собственно говоря:

л | К ( с , с ˙ ) "=" м 2 с ˙ 2 к 2 с 2 + с 2 Ом 2 "=" л | К ( с , с ˙ ) .
и поэтому
ЧАС ( с , с ˙ ) "=" л | К с ˙ с ˙ л | К "=" м 2 с ˙ 2 + ( к 2 с 2 м 2 с 2 Ом 2 ) "=" Т | К + U | К "=" Е | К ( с , с ˙ ) .

Обратите внимание, что кинетическая энергия равна

Т | К "=" м 2 с ˙ 2
и, таким образом, он отделим, как вы утверждали. На самом деле положение п в К тривиально т -независимый
Икс ( т , с ) "=" с е Икс .

Теорема, которую вы ищете, читается

ТЕОРЕМА (иногда известная как теорема Якоби). Если для системы, допускающей лагранжианское описание, лагранжиан не зависит явно от времени, то функция Гамильтона постоянна во времени вдоль решений EL

Кроме того, если в системе отсчета К используется для построения лагранжиана

а) все силы (за исключением реактивных) допускают независимую от времени потенциальную энергию и

б) положения точек систем в К не являются явной функцией времени,

то имеют место следующие факты.

(1) Функция Гамильтона совпадает с полной энергией.

(2) Кинетическая энергия сепарабельна в том смысле, что она имеет вид (где д "=" ( д 1 , , д н ) )

Т | К ( д , д ˙ ) "=" час , к "=" 1 н а час к ( д ) д ˙ час д ˙ к
так что лагранжиан имеет вид
л | к ( д , д ˙ ) "=" час , к "=" 1 н а час к ( д ) д ˙ час д ˙ к U ( д ) ,
где
а час к ( д ) "=" я "=" 1 Н м я 2 Икс я д час Икс я д к
где Н - количество частиц системы с массами м я и вектор положения Икс я "=" Икс я ( д 1 , , д н ) в К , и н число степеней свободы системы.

(3) Полная энергия постоянна вдоль решений уравнений ЭЛ.

Сэр, я не говорил о разделении переменных для кинетической энергии, я говорил о разделении переменных в лагранжиане. Если только одно из неотделимых не подразумевает, что другое также неотделимо. Пожалуйста, объясните, если это так.
@ Вальтер Моретти, у тебя есть где-нибудь доказательства этого? (ваша книга по математике или какая-то другая?).
@DanielC Да, у меня есть доказательство в моих 700-страничных конспектах лекций по аналитической механике, к сожалению, они написаны на итальянском языке :(
@UtsavBose Я добавил точную форму лагранжиана, я не знаю, то ли это, что вы хотели.
Для меня это не проблема. Соно румено.
Бене! Все включено в первые конспекты лекций, которые вы найдете здесь science.unitn.it/%7Emoretti/dispense.html Найдите теорему Якоби в главе 10.