На протяжении последних глав мы убедились в том, что уравнения Лагранжа во многих случаях являютея весьма подходящим способом описания поведения механических систем. Уравнения Јагранжа представляют собой систему $s$ обыкновенных дифұеренциальных уравнений второго порядка. Однако нередко оказывается удобным перейти к системе $2s$ обыкновенных дифференциатьных уравнений первого порядка. В функции Лагранжа $L(q_k,{\dot{q}}_s)$ величины $q_k$ и ${\dot{q}}_k$ не являются независнмыми переменными, поскольку ${\dot{q}}_k$ — Это производные по времени от $q_k$. Простейший путь перехода к независимым переменным состоит в том, чтобы ввести $s$ новых переменных, $r_k$, согласно соотношениям
$${\dot{q}}_k=r_k\text{. }$$

Уранения (б.101) арегсавляют собой $s$ обыкновениых дниферицнайных уравнении первого порядка, связывающих между собой $2s$ переменных $q_k$ и $r_k$. Лагранжиан представияет собой теперь фупцию тех же самых $2s$ переменых, $L(q_k,r_k)$, а уравнения Лагранжа (2.308) теперь уже превращаются в обыкновенные дифференциальные уравнения первого порядка,
$$\text{ at }\frac{\partial L}{\partial t_h}-\frac{\partial L}{\partial q_k}=0$$

Уравнения (5.10i) и (5.102) совместно образуют систему $2s$ уравнений первого порядка, и таким образом поставленная задача решена. Қак и раньше, состояние механиеской спетемы полностыо определено, если в определенный момент времени заданы значения всех $q_{k}11r_k$. Однако, если в гл. 2 мы расематриваем траекторию системы как кривую в s-мерном $q$-пространстве, теперь траекторня снстемы представляется уже как кривая в $2s$-мерном $(q,r)$ пространстве.

Удобно вместо совокупности переменных $q_k,r_k$ ввести другую совокупность переменных, с помощью которых уравнения двнжения прнобретают более симметричный вид, чем уравнения (5.101) и (5.102). Мы снова ббращаемся к обоонениым пмильсам $p_k$, определяемым по (2.310); теперь (2.310) запинутся так:
$$p_k=\frac{\partial L}{\partial h_k}\text{. }$$

Эти соотношения, ити, тоннее, эти $я$ уравний сонместио с тривнальными равенствами $q_k=q_i$ и есть те уравнения, с помоцью которых мы совершаем преобразование от $q_k,r_k$ к $q_k,p_k$. Если мы хотим записать уравнения двикения через переменные $q_k,p_k$, нам следует вместо лагранжиана $L(q_k,r_k)$ ввести гамильпониан системь, опредетив его следующим образом:
$$H=\sum _k{p}_k{r}_l-L.$$

Тегер уже мы расматрнаем вариацию $H$,
$$\delta H=\sum _i{p}_k\delta r_{ik}+\sum _k{r}_k\delta p_k-\delta L.$$

Ести восползовасься уравнениям движения (5.101),

(5.102) и определением (5.103), мы убедимся, что
$$\delta L=\sum _k\frac{\partial L}{\partial q_k}\delta q_k+\sum _k\frac{\partial L}{\partial r_k}\delta r_k=\sum _k{\dot{p}}_k\delta q_k+\sum _k{p}_k\delta r_k,$$

так что
$$\delta H=\sum _k{r}_k\delta p_k-\sum _k{p}_k\delta q_k=\sum _{\mathit{k}}{\dot{q}}_k\delta p_k-\sum _k{\dot{p}}_k\delta q_k.$$

Отююда следует, что
$${\dot{q}}_k=\frac{\partial H}{\partial p_k},{\dot{p}}_k=-\frac{\partial H}{\partial q_k}.$$

Полученные уравнения движения называютея уравнениями Гамильтона или канониескими уравнениями двиюкения.

При выводе уравнений (5.108) мы все время пользовались, пока это было возможно, совокупностью координат $q_k,r_k$, чтобы подчеркнуть тот факт, что мы оперируем с набором $2s$ независимых переменных. Очень часто, когда излагают теорию уравнений Јагранжа и уравнений Гамильтона, на это обстоятельство не обращают должного внимания, и вместо (5.104), (5.105) и (5.106) можно увидеть:
$$\begin{array}{c}H=\sum _k{p}_{ki}{\dot{q}}_k-L,\\ \delta H=\sum _k{p}_k\delta {\dot{q}}_k+\sum _k{\dot{q}}_k\delta p_k-\delta L,\\ \delta L=\sum _k\frac{\partial L}{\partial q_k}\delta q_k+\sum _k\frac{\partial L}{\partial {\dot{q}}_k}\delta {\dot{q}}_k=\sum _k{\dot{p}}_k\delta q_k+\sum _k{p}_k\delta {\dot{q}}_k.\end{array}$$

Фактически и мы воспользуемся этими выражениями, когда перейдем к рассмотрению гамильтоновского формализма для сплошных сред (гл. 8). Кроме того, мы повсюлу предполагаем, что $L$ не зависит от времени явно; еслн это так, то это будет справедливо и по отношению к $H$.

Мы хотели бы обратить внимание на сходство (5.104), (5.107) и (5.108), с одной стороны, и (2.404) [нли (2.410)], (2.406), (2.407) и (2.409) — с другой.

Выясним теперь физический смысл $H$. Еще раз допустим, что кинетическая энергия $T$-однородная квадратичная функция ${\dot{q}}_k$ и что потенциальная энергия $U$ совсем не зависит от ${\dot{q}}_k$. Из теоремы Эйлера об однородных функциях мы получим:
$$2T=\sum _k\frac{\partial T}{\partial {\dot{q}}_k}{\dot{q}}_k=\sum _k\frac{\partial L}{\partial {\dot{q}}_k}{\dot{q}}_k=\sum _k{p}_k{\dot{q}}_k$$

а. из $\left({5.104}^{\prime }\right)$ и $(2.235)$
$$H=\sum _i{p}_k{\dot{q}}_k-L=2T-(T-U)=T+U,$$

откуда видно, что $H$-это просто полная энергия, выраженная через перемениые $p_k$ и $q_k$.

Если $H$ не зависит от времени явно, то из (5.108) непосредственно вытекает, что энергия является интегралом движения,
$$\frac{dH}{dt}=\sum _k\frac{\partial H}{\partial p_k}{\dot{p}}_k+\sum _k\frac{\partial H}{\partial q_k}{\dot{q}}_k+\frac{\partial H}{\partial t}=\frac{\partial H}{\partial t}=0.$$

Могут спросить, в чем значение канонических уравнений двнжения. Здесь можно сослаться на два обстоятельства. Первое из них заключается в том, что квантовая механика (как старая квантовая механика, так и современная — волновая или матричная) основывается скорее на гамильтоновом формализме, чем на лагранжевом; следует отметить, однако, что лагранжев формализм оказывается чрезвычайно полезным для полевой теории. Второе же обстоятельство состонт в том, что формализм Гамильтона особенно удобен для теории возмущений, т. е. для рассмотрения таких систем, для которых невозможно получить точные решения уравнений движения. Поскольку такие системы являются скорее правилом, чем исключением, то очевидно, что для теории возмущений имеется необъятная область применения — как в классической, так и в квантовой механике. Мы вернемся к теории возмущений в гл. 7, но в оставшейся части этой главы и в следующей главе мы подготовим весь формальный аппарат, необходимый для того, чтобы перейти к теории возмущений. Наконец, нельзя не упомянуть и тот факт, что статистическая механика широко использует гамильтонов подход; $2s$-мерное $(p,q)$-пространство в статистической механике называется фазовым пространством.

Из того обстоительства, что уравнения Лагранжа инвариантны относительно преобразований от одной совокупности переменных $q_k$ к другой $q_k^{\prime }$ [см. (2.309)], немедленно вытекает, что если определить $p_k^{\prime }$ согласно формуле
$$p_k^{\prime }=\frac{\partial L(q^{\prime },{\dot{q}}^{\prime })}{\partial {\dot{q}}_k^{\prime }},$$

то уравнения движения, записанные через переменные

$q_k^{\prime },p_k^{\prime }$, будут пметь вид:
$${\dot{q}}_k^{\prime }=\frac{\partial H(p^{\prime },q^{\prime })}{\partial p_k^{\prime }},{\dot{p}}_k^{\prime }=-\frac{\partial H(p^{\prime },q^{\prime })}{\partial q_k^{\prime }}.$$

Теперь, когда для описания нашей системы выбрана совокупность $2s$ координат, безусловно существуют более общие преобразования от одной совокупности координат к другой. Такими преобразованиями мы займемся в следующем параграфе.