Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Либов Р. Введение в теорию кинетических уравнений

.pdf
Скачиваний:
36
Добавлен:
25.10.2023
Размер:
13.16 Mб
Скачать

1.4. Скобки Пуассона и канонические преобразования

27

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

 

ІА, В] = —[В,

А],

 

(1.36а)

 

 

ІА, к] =

0,

 

 

(1.366)

+

В, F] = [А,

F] + 1В,

F],

(І.Збв)

[AB, F]

= А [В, F] +

В [А,

F],

(І.Збг)

[А, [В, Я ]

+

Ш, [F, Л]]

+

[F, [А,

В]} = 0.

(І.Збд)

Соотношение (І.Збд) известно как тождество Якоби. Произ­ водная по времени от скобки Пуассона удовлетворяет соотношению

І І А , В ] = [ ™ , В ] + [ > § ] .

(І.Збе)

Задача 1.17. Показать, что динамическая переменная и, не содержащая время явно и имеющая нулевую скобку Пуассона с гамильтонианом, является константой движения.

Задача 1.18. Показать, что если w a v — константы движения, то [и, к] также является константой движения. Исследовать общий случай, когда и и ѵ — явные функции времени.

Если совокупность координат и импульсов выведена формаль­ но из лагранжиана, то они, конечно, удовлетворяют уравнениям Гамильтона, которые через скобки Пуассона запишутся в виде

dqi

[qi, Щ,

{(1.37а)

dt

т г =

[Л . ю -

(1.376)

 

Данная совокупность координат и импульсов системы не обя­ зательно представляет действительные динамические координаты. Это можно полностью уяснить на следующем примере. Рассмотрим свободную частицу в двумерном пространстве. Переходя от декар­ товой системы координат (х , у) к полярной (г, Ѳ), мы не можем произвольно вводить новые импульсы (рг, ре). Формальное построение этих переменных из лагранжиана дает

X г cos Ѳ

' Рх =

Pr cos Ѳ— — sin ѳ \

 

,

г

.

(1.38а)

.

\У = Гsin6 /

\ ру = Рг зіпѲ + Ж

cose/

 

Преобразуя гамильтониан,

имеем

в результате

 

/ „ 2 I _ 2 J 4

ГГГ_ i ( , , Pé \

28

Гл. I. Элементы классической механики

Уравнения Гамильтона для г и Ѳ дают истинную динамическую траекторию. Полагая, например, р х = 2р г соэѲ — (pe/r) sin Ѳ вместо предшествующих уравнений преобразования, мы полу­ чили бы в результате

Н' = - ^ j^3p?cos20 + pr — 2pr -y-*sin Ѳcos Ѳ+ (-у -)2] •

Такой гамильтониан не дает верных уравнений движения. Сово­ купность координат и импульсов, которые являются динамически согласованными и приводят к физически реализуемым выводам из уравнений Гамильтона, называются каноническими координа­

тами

и

импульсами.

Преобразование

qi

=

g)(g4, . . ., qN,

Pii •

•>

Pni ^)> Pi

Pi

Pi {qii • ■-i

g2v> Pi*

-1PNt 0» Удов­

летворяющее этим условиям, называется каноническим. Или, что эквивалентно, преобразование является каноническим, если суще­

ствует функция Н' (q', p ', t), посредством которой

движение

между двумя точками д'(Ч) и q'{t2) задается уравнением

2

N

 

6 J

[ '2 q 'i P i - H '{ q ,, p ' , t ) ] d t = 0,

(1.39)

1

 

 

т. е. является истинным динамическим движением. Это не что иное, как принцип Гамильтона, записанный в новых координатах. Старые координаты (qi, pi) также удовлетворяют принципу Гамильтона, так что

б j

qp — Я (g, р, £)] dt = 0.

(1-40)

Для того чтобы уравнения (1.39) и (1.40) были одновременно справедливы, подинтегральные выражения этих двух интегралов должны отличаться самое большее на полную производную по вре­ мени от произвольной функции G. Интеграл от dG/dt задается через значения G в конечных точках, где, по определению, вариа­ ции равны нулю.

Функция G называется производящей функцией и имеет большое значение в теории преобразований классической механики. Любое каноническое преобразование g — q' — q' (g, p), p -> p' = p'(q, p) полностью определяется производящей функцией. Поскольку имеется 2N уравнений преобразования, то G может быть функ­ цией самое большее от 2N независимых переменных и времени. В противоположность этому полное число «старых» и «новых» переменных равно 4N. Четырьмя возможными формами функции G являются:

Gi s= Gi

(g,

q',

t),

 

Gz =

Gz (g,

p ’,

t),

 

G3 =

G3

(p,

q',

t),

(1.41)

Gi =

Gi (p,

p ’,

t).

 

1.4. Скобки Пуассона и канонические преобразования

29

Чтобы понять, каким образом G определяет каноническое преобразование, рассмотрим функцию Gj. Разность подинте­ гральных выражений в уравнениях (1.39) и (1.40) является пол­ ной производной по времени от Gx:

 

 

РѴ + ( Я '- Я ) .

(1-42)

Полную производную

по

времени

от

Gt

можно также

записать

в виде

 

 

 

 

 

 

 

dGi _

sr\

dGi *

- Л

dGi

• ,

dGi

, , ,

~ d f ~ b ~ ^ +

2 j

 

 

 

 

Приравнивая коэффициенты при независимых параметрах q и q', придем к желаемому результату

 

dGi

 

(1.44a)

Р1

dqi

 

 

dGi

(1.446)

Р1=

ö*

 

И

 

 

 

Я ' = Я + ^

1 .

(1.45)

Число уравнений (1.44) равно 2N, что позволяет нам решить их и выразить (q' , //) через (q, /?). Таким образом, G «производит» каноническое преобразование.

Задача 1.19. а) Построить G2 из Gt, используя преобразова­ ние Лежандра. Далее, повторяя проведенную выше процедуру,

найти

неявные

уравнения

преобразования

через производные

от G2.

Проделать то

же самое для G3

(из Gi).

 

 

б)

 

 

в) Проделать то же самое для G4 (из Gi).

 

и Н '.

Во всех трех случаях установить соотношение между Я

Ответ,

а) G2

(q,

р ' , 0 задается равенством

 

 

 

 

С2 (?, P ',t)= Gi (q, q' , 0 + 2

(1.46)

Подстановка в уравнение (1.42) дает

 

 

 

 

4

[G2- 2

q'p'] =

2 т д - 2

W ' +

(я ' - Я ) ,

(1.47)

так что

 

 

 

 

 

 

 

^ = 2 r è + 2 ? V + ( ff' - ff)-

Сравнивая это выражение с

Ä?2

Vt ÖG2 ■ 1 XT

^G2

Л 1 9G2

dt

Zl dq q

dp'

P ^ dt

(1.48)

(4-49)

30 Гл. I . Элементы классической механики

получим

dGz

 

Pl

dqi

 

(1 .5 0 a )

 

 

 

 

,

dGz

 

 

( 1 .5 0 6 )

 

 

öpi

 

Ответ,

б)

 

 

 

 

 

 

 

<?i = 2 pq + G3(q', p, t),

(1 .5 1 a )

 

qi -

dG3

 

(1 .5 1 6 )

 

dpi

 

'

dG3

 

(1.51b)

 

Pl

dq[

Ответ,

 

в)

 

 

 

 

 

g4 = g1+ S p Y - 2 p9.

(1 .5 2 a )

 

 

dGi

(1 .5 2 6 )

 

 

dp

 

, _ dGk

 

 

( 1 .5 2 b )

 

4

dp'

 

 

Рассмотрим преобразование, производимое функцией

 

так что

G2 = S p i7 t(s. *)»

( 1 .5 3 )

 

 

 

 

 

 

4k=fk (?,

t),

(1 .5 4 a )

 

pk =

h p'i i ! t -

(1 .5 4 6 )

Преобразование, в котором новые координаты суть функции одних только старых координат, называется точечным. Частьш заблуждением является отождествление всех точечных преобра­ зований с каноническими. После задания преобразования коорди­ нат только специальный выбор новых импульсов согласно урав­ нению (1.546) делает преобразование каноническим. Если, напри­ мер, преобразование координат (1.38а) подставить в (1.546), то это дает

дг .

дѲ

п

Р е

• г,

Рх = Рт~ді + Рѳ I I =

C0S Ѳ~

г

Sin Ѳ-

Однако уравнение точечного преобразования (1.38а) совместно с Рх — Рт не является каноническим преобразованием.

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

G2 = S ?P '-

(1.55а)

1.4. Скобки Пуассона и канонические преобразования

34

Вместе с (1.50) это дает:

 

 

 

Р' = Р>

 

з'

=

3.

 

Н'

=

Я

(1.556)

тождественное преобразование. С другой стороны,

 

^1 =

2 ? ? '

(1.56а)

вместе с (1.44) определяет

 

 

 

з' = Р.

 

 

 

#

(1.566)

— преобразование обмена. Новые координаты равны

старым

импульсам, а новые импульсы равны старым координатам со зна­ ком минус. В новом представлении координаты и импульсы поме­ нялись ролями.

Остается обсудить два важных вопроса, касающихся канони­ ческихпреобразований. Первый относится кпреобразованию координат и импульсов, дающему действительное перемещение, которое точка, изображающая систему, совершает в фазовом про­ странстве за интервал времени от t до t + Т. Мы увидим, что таким — самым важным из всех преобразований — является каноническое. Второй вопрос связан с концепцией канонических инвариантов. Канонические инварианты суть динамические вели­ чины, инвариантные по отношению к каноническим преобразова­ ниям. Примером канонического инварианта служит функция [А, В], где А ті В — две любые динамические функции. Это можно расписать в явном виде. Если (q, р) -»- (q' , p'), то

А (q,

р)

А ' (q', p') = A lq (q', p');

p (q' , p')]

 

и

 

 

 

 

 

 

XS \ dqi

dpi

dqi dpt )

ХЛ \

dqt dpt

dqt dpt J

(1.57)

'

Другим примером являются фундаментальные скобки Пуас­

сона:

 

k h

3*1 =

0,

 

(1.58а)

 

 

 

 

 

\ р і , р ь \=

0,

 

(1.586)

 

 

Iqu

Phi =

бik-

 

(1.58в)

Инвариантность этих соотношений относительно любой кано­ нической системы независимых переменных дает другой критерий, которому должны удовлетворять канонические переменные.

Для того чтобы рассмотреть действительное перемещение системы как каноническое преобразование, введем понятие бес­ конечно малого преобразования. Бесконечно малым каноническим

32

Гл. I. Элементы классической механики

является такое преобразование, при котором новые координаты и импульсы отличаются от старых на бесконечно малые величины. Если е — бесконечно малый параметр, то преобразование

q{ = q i+ бді,

(1.59)

Pi = Pi + бpi,

где бq и бр имеют порядок О (г), представляет собой бесконечно малое каноническое преобразование. Это можно просто показать, построив функцию, которая производит преобразование (1.59). Поскольку это преобразование отличается от тождественного членом О (е), попытаемся взять в качестве производящей функ­ цию (?2, которая отличается от функции, задаваемой уравне­ нием (1.55а) (дающий тождественное преобразование), членом О (s):

£ а = 2 з іР і' +

вф (?» Р')-

(1.60)

Тогда уравнения (1.50) дают

 

 

 

öcp

 

Рі = РІ + S W

(1.61)

Чі = <7г + е- <9ср

 

 

Щ '

 

Или, что то же,

 

 

6pz = Pi - Pi =

— 8 -J|- ,

 

бqi = t i - qi = e ^ L ,

(1.62)

6gz==8[ ^ +0(8)] -

Последнее выражение показывает, что замена dldpi на дідрі будет взаимно согласованной, если первоначальный оператор включает множитель 8.

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

Ясно, что ввиду отсутствия каких-либо ограничений на функ­ цию ф (q, p') вид вариаций и бд совершенно произволен. Среди всех этих преобразований наиболее существенно бесконечно малое преобразование координат и импульсов, происходящее при действительном движении системы за время dt. Такое пре-

1.4.

Скобки Пуассона и канонические преобразования

33

образование

задается соотношениями

 

 

 

(1.63)

Отсюда следуют два важных вывода: 1) гамильтониан производит действительное движение системы; 2) это движение, совершаемое системой за время dt, является бесконечно малым каноническим преобразованием. «Произведение» двух канонических преобразо­ ваний будет также каноническим преобразованием. Отсюда сле­ дует, что динамическая траектория точки, изображающей систему, представляет собой каноническое преобразование, поскольку она является не чем иным, как последовательностью бесконечно малых канонических преобразований, уводящих систему от начальных величин q0 и р 0. Гамильтониан производит движение системы во времени.

Существует более прямой путь, показывающий, что перемеще­ ние, которое система совершает из одного динамического состоя­ ния [q (t), р (£)] в другое [q' (t + Т), p' (t + 71)] за время Т, является каноническим преобразованием. Рассмотрим преобра­ зование q' = q' [q (t), p (t), T]\ p' = p' [q (t), p (t), Т]. В любой момент t это преобразование дает новую совокупность перемен­ ных q', p '. Частный вид преобразования зависит от одномерного параметра Т. В качестве специального случая преобразования такого типа рассмотрим интеграл действия

t+T

(1.64)

Переменная интегрирования х под знаком интеграла — это время. Интеграл всегда распространяется на фиксированный интервал времени Т . Нижний предел интегрирования — переменная t. Эквивалентной записью для (1.64) будет

t+T

 

 

о

о

(1.65)

 

так что

 

 

dS

 

(1.66а)

dt

 

 

 

dS_

 

(1-666)

dt■= [ 2 р Ѵ - # ' ] - [ 2 m - H ] -

3 -0 1 2 4 3

34

 

Гл. I. Элементы классической механики

 

где p' =

р (t + Т), q' — q (t + T). Параметризованное действие

S

(t, T) производит каноническое преобразование (q,

p) -v (q', p'),

которое

само является действительным движением

системы (ср.

с

(1.42)).

 

 

1.5. Переменные «действие — угол» и теория Гамильтона — Якоби

Тот факт, что движение системы само является каноническим преобразованием, очень важен для нашего дальнейшего исследо­ вания уравнения Лиувилля. Остается еще другой класс канониче­ ских преобразований, представляющий для нас особый интерес. Это преобразования, которые приводят к переменным «действие— угол». Они используются в анализе Пригожина уравнения Лиу­ вилля, который будет рассматриваться в гл. II.

Теория переменных «действие — угол» основана на более общих представлениях, называемых теорией Гамильтона Якоби. В этой теории стремятся найти каноническое преобразова­ ние, которое приводит к гамильтониану, циклическому по всем новым координатам. Преимущество такого преобразования огром­ но. Если все новые координаты циклические, то все новые импуль­ сы — константы движения. С другой стороны, новый гамильто­ ниан Н ’ (p') является функцией только новых постоянных импуль­ сов. Поэтому, продифференцировав его по этим импульсам, полу­

чим функцию от новых постоянных импульсов, дН'Ідр' = q'Т которая сама будет константой. Уравнения Гамильтона в новых

координатах просто интегрируются и дают q\ =

ѵгГ + ß*. Следо­

вательно, проблема сводится к

алгебраической задаче обращения

преобразования, т. е. переходу

к первоначальным координатам

и импульсам.

 

 

Таким образом, решение данной динамической задачи заклю­

чается в нахождении такого

канонического

преобразования

(т. е. производящей функции), чтобы новые импульсы были кон­ стантами движения. А эта последняя задача тесно связана с непо­ средственной проблемой интегрирования уравнений движения, что является в свою очередь не более чем формальной операцией отображения начальных координат и импульсов на их величины в момент времени t. Действительно, для всех динамических задач, кроме особого класса, теория Гамильтона — Якоби более важна своей близкой причастностью к нейтральной области между клас­ сической динамикой и квантовой механикой, чем своими прило­ жениями.

Как было отмечено ранее, теория Гамильтона — Якоби опи­ рается на нахождение производящей функции, которая все новые импульсы делает константами движения. Из четырех фундамен­ тальных форм производящей функции наиболее подходящей будет функция G2 = G2 (q, p').

1.5. Переменные «действие угол»

Напомним уравнения (1.50):

Pl =

dG .

• **? Qn > Р11

* *м Pn)i

dqi

qi =

dG .

***? Qn t P i )

***) Pn ) •

dpi

Предположим, что

задача

такая, в которой движение

лимо. Если это так,

то функция G имеет вид

G = Gl (gt; р\, . . , ,

р'ң) -\-Gz (qz', Рь • • •> Pn)+ • • •,

 

N

 

 

35

(1.50а)

(1.506)

разде-

(1.67)

G= S

Gt(qt\ pu

. . .,

p’N).

 

i=l

 

 

 

 

Обозначим через (а4,

. . . , % ) новые

постоянные

импульсы,

которые образуются при надлежащем выборе G, так что

G = 2

Gi {qü ai,

. ■

aN).

(1.68)

І=1

 

 

 

Тогда уравнения (1.50a) примут вид

 

 

 

dGi (qi; «j,

..., ajy)

(1.69)

Л = --------- Wi---------

 

или, что эквивалентно,

 

 

 

 

P i = Pi (qü аи

. . .,

aN).

(1.70)

Каждое из этих соотношений есть проекция х) орбиты в 2,/Ѵ-мерном

Г-пространстве на плоскость (д;, рі). Говорят, что движение будет периодическим, если рі является периодической функцией qi или если орбита в плоскости (qi, рі) замкнута. Эти два случая изобра­ жены на рис. 1.9, а и 1.9, б.

Формализм «действие — угол» использует эту периодичность в спроектированном на (qi, рі) движении для определения новых постоянных импульсов в виде

Ji =

dGi (qi, «!, ..., aN)

dqu

(1.71)

 

dqi

 

 

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

Из

(1.71) совершенно ясно, что переменные / ; — функции

одних

только констант ссг и, следовательно, так же постоянны.

9

Эти кривые расположены в гиперплоскостях (q;, р г). Они могут и не

быть проекцией одной-единственной кривой системы. Это имеет место, когда гиперповерхности в Г-пространстве, порождаемые кривыми (?j, pj), не пере­

секаются. С другой стороны,

очевидно, что

кривая системы (<ц = qt (г);

Рі = Рі (0) (£ = 1 > • • ., N)

имеет проекции

на гиперплоскостях (qt, p t).

3*

36

Гл. I. Элементы классической механики

Подставляя (1.69) в последнее уравнение, получим Ji как функ­ ции (ри qi):

Ji = §Pidqi-

(1-72)

Согласно введенному ранее интегралу действия S, эти новые переменные J і называются переменными действия. Так как каж­ дая Ji определяется только через независимые пары (qi, pi), они

Р и с . 1.9. Периодические орбиты в

фазовом пространстве.

а — периодичность вращательного

типа;

б — периодичность колеба­

тельного

типа.

 

образуют систему N независимых констант и, следовательно, дей­ ствительно являются новыми постоянными импульсами.

Подстановка J і — J і (оц, . . ., a N) в G (qt, . . ., qN, a t, . . .

. . ., a N) дает

G — G (qi, . . ди, Ji, - - -• Jx)'

(1-73)

В то же время новый гамильтониан является функцией только новых постоянных импульсов, поскольку он должен быть цикли­ ческим по всем новым координатам:

Н' = Н (Ju . . J N).

(1.74)

Координаты, сопряженные переменным действия / ь называют­ ся угловыми переменными Ѳі. Они связаны с / ; через производящую функцию G согласно уравнению (1.506):

"Ѳг

dG

(1.75)

dJi

 

 

Из последних двух уравнений вместе с уравнениями Гамиль­ тона мы получим

а. дН'

. Т

т s

(1.76)

0z=="ö7r==v^ /b

 

 

 

Соседние файлы в папке книги из ГПНТБ