Есяи да системы дифференцианыш уравнений:
\[
\left.\begin{array}{c}
d t: d q_{1}: d q_{2}: \ldots d q_{n}: d p_{1}: d p_{2}: \ldots: d p_{n}=1: \frac{\partial H}{\partial p_{1}}: \frac{\partial H}{\partial p_{2}}: \ldots \\
\ldots: \frac{\partial H}{\partial p_{n}}:-\frac{\partial H}{\partial q_{1}}:-\frac{\partial H}{\partial q_{2}}: \ldots \ldots:-\frac{\partial q_{n}}{}
\end{array}\right\}
\]

ооладаюңей очевидным интегралом $H=h$, даны два независяцих от $t$ интеграла $H_{1}=h_{1}$ и $H_{2}=h_{2}$, то, хотя, как мы это видели, вообще нельзя сказать а priori с определенностью, будет ли выраление $\left(H_{1}, H_{2}\right)$, если его приравнять постоянной величите, давать новый интеграл, или же $\left(H_{1}, H_{2}\right)$ сведется к независяцей от $h, h_{1}, h_{2}$ постоянной, или к чисто числовому значению, или, наконец, это последнее сводится п ную. Однако этот вопрос может бит подностью решеп, если $H_{1}=h_{1}$ и $H_{2}=h_{\text {; }}$ являютея интегралами, принадлежащими к системе, получаемой из гамилтонова уравнения в частных производных. Именно мы увидия, что, еси $q=$ const и $=$ const являютея двумя интегралами Гамильтона, то ( $p, \psi$ ) будеч равно дибо 0 , либо $\div 1$. Таким образом два интеграла этой системы никогда не даю нового интеграла. Чтобы донавать эту теорему, мы обрацаемея к вепомогательной теореме, которая погазыпает, во что обращается выражение (?, 山), если в и и , кроне величин $q_{1}, q_{2}, \ldots q_{n}$ и $p_{1}, p_{2}, \ldots p_{n}$, вхоцят еще $m$ величин $\omega_{1}, \omega_{2}, \ldots \omega_{m}$, которне являютея функцияи от $q_{1}, q_{2}, \ldots q_{n}$ и $\eta_{1}, p_{2}, \ldots y_{n}$. В этом случае можно кан производные, взятые от $\psi$ и по $p$ и $q$, так и выражение $(\varphi, \psi)$ образовач, двум разными способами, смотря по тону, принимать ли во виимание то обстоятеньно, тто переменные $p$ и $q$ входнт в $\omega_{1}, \omega_{2}, \ldots \omega_{*}$, или не принимать. Производные от и $\psi$, взятые этими двумя способами, мы будеи писать соответственно со скобками или без скобок, а составлепное из ч и внражение с двойными скобками ( $\rho, \psi$ ) или с простыми скобками; тогда буден иметь:

Суммы, взятые но $i$, распространются на значения $1,2 \ldots n$, и для каключенных в скобки гронзводных в (2) имеют место равенетв:
\[
\begin{array}{l}
\left(\frac{\partial \varphi}{\partial p_{i}}\right)=\frac{\partial \varphi}{\partial p_{i}}+\sum_{k} \frac{\partial \varphi}{\partial \omega_{i}} \frac{\partial \omega_{k}}{\partial p_{i}},\left(\frac{\partial \psi}{\partial p_{i}}\right)=\frac{\partial \psi}{\partial p_{i}}+\sum_{k^{\prime}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}} \frac{\partial \omega_{k^{\prime}}}{\partial p_{i}}, \\
\left(\frac{\partial \varphi}{\partial q_{i}}\right)=\frac{\partial \varphi}{\partial q_{i}}+\sum_{k} \frac{\partial \varphi}{\partial \omega_{i}} \frac{\partial \omega_{k^{\prime}}}{\partial q_{i}},\left(\frac{\partial \psi}{\partial q_{i}}\right)=\frac{\partial \psi}{\partial q_{i}}+\sum_{k^{\prime}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}} \frac{\partial \omega_{l^{\prime}}}{\partial q_{i}},
\end{array}
\]

в которых суммы но $k$ и $k^{\prime}$ надо брать ог 1 до $m$. Если эти выражения нодетавить в (2), то в результате получитея простая сумма, взятая по $i$, двойная сумма по $i$ и $k$ (ияи $k^{\prime}$ ) и тройная сумма по $i, k$ и $k^{\prime}$. Имевно мм иолучим:
\[
\begin{array}{c}
((\varphi, \psi))=\sum_{i}\left(\frac{\partial \rho}{\partial p_{i}} \frac{\partial \psi}{\partial q_{i}}-\frac{\partial \dot{\varphi}}{\partial p_{i}} \frac{\partial \varphi}{\partial q_{i}}\right)+ \\
+\sum_{i} \sum_{k^{\prime}}\left(\frac{\partial \varphi}{\partial p_{i}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}} \frac{\partial \omega_{k^{\prime}}}{\partial q_{i}}-\frac{\partial \varphi}{\partial q_{i}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}} \frac{\partial \omega_{k^{\prime}}}{\partial p_{i}}\right)- \\
-\sum_{i} \sum_{k}\left(\frac{\partial \psi}{\partial p_{i}} \frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \omega_{k}}{\partial q_{i}}-\frac{\partial \psi}{\partial q_{i}} \frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \omega_{k}}{\partial p_{i}}\right)+ \\
+\sum_{i} \sum_{k} \sum_{k^{\prime}} \frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \psi}{\partial \omega_{k}}\left(\frac{\partial \omega_{k^{\prime}}}{\partial p_{i}} \frac{\partial \omega_{k^{\prime}}}{\partial q_{i}}-\frac{\partial \omega_{k^{\prime}}}{\partial p_{i}} \frac{\partial \omega_{k}}{\partial q_{i}}\right) ;
\end{array}
\]

есди мы в двойных и троӥных суммах переставим порядок суммированин и примем во внимание данное равенством (3) определение выражений вида (s, $)$ ), заключенных в простые скобки, то получим:
\[
\begin{array}{c}
((\varphi, \psi))=(\varphi, \psi)+\sum_{k^{\prime}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}}\left(\varphi, \omega_{k^{\prime}}\right)-\sum_{k} \frac{\partial \varphi}{\partial \omega_{k}}\left(\psi, \omega_{k}\right)+ \\
+\sum_{k} \sum_{k^{\prime}} \frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \psi}{\partial \omega_{k}}\left(\omega_{k}, \omega_{k^{\prime}}\right) .
\end{array}
\]

Так как суммирование по $k$ и $k^{\prime}$ распространяетея на одни и те же значения от 1 до $m$, то в первой сумме первой строчки можно написать $k$ вмесго $k^{\prime}$. Во второй строчке члены, для которых вначения $k$ и $k^{\prime}$ совтадают, обрацаются в нуль благодаря множителю ( $\left.\omega_{k}, \omega_{k^{\prime}}\right)$; остальные члены можно попарно ооединлть в одип члеп, тап как $\left(\omega_{k^{\prime}}, \omega_{k}\right)=-\left(\omega_{k}, \omega_{k^{\prime}}\right)$. Поәтому суми надо распространять только на комбинации по цва различных между собой значений $k$ и $k^{\prime}$, и тогда ( $\omega_{k}$, $\omega_{k^{\prime}}$ ) получитея умноженным на $\left(\frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}}-\frac{\partial \psi}{\partial \omega_{k}} \frac{\partial \varphi}{\partial \omega_{k^{\prime}}}\right)$, так что в конце концов мы будем иметь равенство
\[
\left.\begin{array}{rl}
((\varphi, \psi)) & =(\varphi, \psi)+\sum_{k} \frac{\partial \psi}{\partial \omega_{k}}\left(\varphi, \omega_{k}\right)-\sum_{k} \frac{\partial \varphi}{\partial \omega_{k}}\left(\psi, \omega_{k}\right)+ \\
& +\sum_{k, k^{\prime}}\left(\frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \psi}{\partial \omega_{k^{\prime}}}-\frac{\partial \varphi}{\partial \omega_{k}} \frac{\partial \varphi}{\partial \omega_{k^{\prime}}}\right)\left(\omega_{k}, \omega_{k^{\prime}}\right) .
\end{array}\right\}
\]

Имея в виду дальнейшее применепие, мы придадим формуле (4) некоторый специальный вид, нля чего вместо величин $\omega_{1}, \omega_{2}, \ldots \omega_{n}$ подставия уже ранее ${ }^{1}$ рассматривавшиеся $n$ фунњций $H, H_{1}, \ldots H_{n-1}$, которые не содержат произвольных постоянных и зависят только от переменных $q_{1}, q_{2}$, . . $q_{n}$, $p_{1}, \ldots p_{n}$ и которые, будучи приравнены друг от друга певависимым произвольным постоянным $h, h_{1}, \ldots h_{n-1}$, тап определяют переменные $p_{1}$, $\mu_{2}, \ldots p_{n}$ в функция от переменных $q_{1}, q_{2}, \ldots q_{n}$, что выражение
\[
p_{1} d q_{1}+p_{2} d q_{2}+\ldots+p_{n} d q_{n}
\]

становится полным дифференциалом, а его интеграл будет полным решением $V$ уравнения в частных производных $H=h$. Тогда, как мы знаем, будет иметь место тождественное равенство
\[
\left(H_{k}, H_{k^{\prime}}\right)=0
\]
1 См. тридцать вторуш лекцию, стр. 225.

и, следовательно, в общей форнуле (4) двойная сумма, взятая по $k, k^{\prime}$, обратнтея в нуль, после чего мы получим
\[
((\varphi, \psi))=(\varphi, \psi)+\sum_{k} \frac{\partial \psi}{\partial H_{k_{i}}}\left(\varphi, H_{k}\right)-\sum_{k} \frac{\partial \varphi}{\partial H_{l}}\left(\psi, H_{k}\right),
\]

где суммы берутся от $k=0$ до $k=n-1$.
Приведем эту формулу к еще более специальному виду. Согласно напему прежнему предположению функци $\varphi$ и $\psi$ содержат переменные $p$ и $q$, во-первых, явно, во-вторых, неявно посредством величин $H, H_{1}, \ldots H_{n-1}$. Iредположим теперь, что функции $\varphi$ и $\dot{\psi}$ содержат переменные $p$ только в последней форме, т. е. только неявно, чего всегда можно достигнуть введением величин $H$ как новых цеременных вместо $n$ величин $p$. Так как вместе с тем $\varphi$ и $џ$ выразятся только через $q_{1}, q_{2}, \ldots q_{n}, I I, H_{1}, \ldots I_{n-1}$, то при такой гипотезе получитея значительное упрощение входяцих в равенетво (5) выражений:
\[
\begin{array}{c}
(\varphi, \dot{\varphi})=\sum_{i}\left(\frac{\partial \varphi}{\partial p_{i}} \frac{\partial \varphi}{\partial q_{i}}-\frac{\partial \varphi}{\partial p_{i}} \frac{\partial \varphi}{\partial q_{i}}\right), \\
\left(\varphi, H_{k}\right)=\sum_{i}\left(\frac{\partial \varphi}{\partial p_{i}} \frac{\partial H_{k}}{\partial q_{i}}-\frac{\partial \varphi}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}\right),\left(\psi, H_{k}\right)=\sum_{i}\left(\frac{\partial \Psi}{\partial p_{i}} \frac{\partial H_{k}}{\partial q_{i}}-\frac{\partial \psi}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}\right) .
\end{array}
\]

Iроизводные $\frac{\partial \varphi}{\partial p_{i}}, \frac{\partial \psi}{\partial p_{i}}$ обратятея в вул, для всякого значения $i$, и получитея

и общєе выражение (5) ды $(i, \psi)$ ) теперь принимает следующий простой вид:
\[
((\varphi, \psi))=-\sum_{k} \frac{\partial \psi}{\partial H_{k}} \sum_{i} \frac{\partial \varphi}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}+\sum_{k} \frac{\partial \varphi}{\partial H_{k}} \sum_{i} \frac{\partial \psi}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}} .
\]

Это равенств явияется специальной формой вепомогательной теоремы (4), и мы будем им пользоваться при рассмотревии гамильтоновой формы интетралов.

Чтобы при этих предположениях написаты полностью в гамильтоновой форме интегралы системы дифференциальных уравнениї (1), воснольуемся, іри сохранении прежних обозначений, уравнениями
\[
H=h, H_{1}=h_{1}, \ldots I_{n-1}=h_{n-1},
\]

которые так определяют переменные $\boldsymbol{p}_{1}, p_{2}, \ldots p_{n}$, что
\[
V=\int\left(p_{1} d q_{1}+\boldsymbol{p}_{2} d q_{2}+\ldots+\boldsymbol{p}_{4} d q_{n}\right)
\]

бутет шоным решением уравнения в частных производны $H=h$. Тогда, как мы знаем, 1 интегральные уравнения системы (1) в гамильтоновой форме нашищутея так:
\[
\begin{array}{l}
\frac{\partial V}{\partial q_{1}}=p_{1}, \quad \frac{\partial V}{\partial q_{2}}=p_{2}, \ldots \frac{\partial V}{\partial q_{n}}=p_{n}, \\
\frac{\partial V}{\partial h}=t+h^{\prime}, \quad \frac{\partial V}{\partial h_{1}}=h_{1}{ }^{\prime}, \ldots \frac{\partial V}{\partial h_{n-1}}=h^{\prime}{ }_{n-1},
\end{array}
\]
1 См. двадцатую лекцию, етр. 148.

где $h^{\prime}, h_{1}^{\prime}, \ldots h_{n-1}^{\prime}$ обозначают новые произвольные постоянные. Но эт пнтегральные уравнения не все решены относительно произвольных постоянных. Чтобы их получить в этой форхе, т. е., согласно нашей терминологии. как интеграль, мы заменяем первую половину интегральных уравнений (7) равнозначными им интегралами:
\[
H=h, H_{1}=h_{1} \ldots H_{n-1}=h_{n-1},
\]

а во второй их половине, которая уке решена относительно проиввольных чостоянных $h^{\prime}, h_{1}^{\prime}, \ldots h_{n-1}^{\prime}$, вместо $h, h_{1}, \ldots h_{n-1}$ подставляем их значения $H, H_{1}, \ldots H_{n-1}$. ‘огда интегральные уравнения, стоящие во второй строке системы (7), в том случае, когда $H^{\prime}, H_{1}^{\prime}, \ldots H_{n-1}^{\prime}$ обозначают функции переменных $q_{1}, q_{2}, \ldots q_{n}, p, \ldots p_{n}$, в котые госле этой подстановки превратятея величины $\frac{\partial V}{\partial h}, \frac{\partial V}{\partial h_{1}}, \ldots \frac{\partial V}{\partial h_{n-1}}$, получатея в форме интегралов:
\[
H^{\prime}=t+h^{\prime}, H_{1}^{\prime}=h_{1}^{\prime}, H_{2}^{\prime}=h_{2}^{\prime}, \ldots H_{n-1}^{\prime}=h_{n-1}^{\prime} .
\]

Величины $H^{\prime}, H_{1}^{\prime}, \ldots H_{n-1}^{\prime}$ содержат переменные $p_{1}, p_{2}, \ldots p_{n}$ только неявно при госредстве величин $H, H_{1}, \ldots H_{n-1}$, тақ как функция $V$ и ее шроизводные $\frac{\partial V}{\partial h}, \frac{\partial V}{\partial h_{1}}, \ldots \frac{\partial V}{\partial h_{n-1}}$ зависят то.нко от $q_{1}, q_{2}, \ldots q_{n}, h, h_{1}, \ldots h_{n-1}$, и понтому величины $H^{\prime}, H_{1}^{\prime}, \ldots H_{n-1}^{\prime}$ зависят только от величин $q_{1}$, $q_{2}, \ldots q_{n}, H, H_{1}, \ldots H_{n-1}$. Следовательно $H^{\prime}, H_{1}^{\prime}, \ldots H_{n-1}^{\prime}$ идеют как раз ту форму, в которой, по нашему предположению, предетавлены величины : и $\psi$ в равенстве (6). То же самое имеет несто, как это само собой разуиеетея, дім величин $H, H_{1}, \ldots H_{n-1}$, если мы их рассматриваек ьак функции от них самих, но топью тогда в них также не входят явно переменные $q_{1}, q_{2}, \ldots q_{n}$. $К$ выражениям $\left(\left(H_{\alpha}^{\prime}, H_{\beta}^{\prime}\right)\right)$ или $\left(\left(H_{\alpha}^{\prime}, H_{\beta}\right)\right)$, двойшые скобки которых мы теперь отбросим для упрощения обозначений, теперь может быть применена формула (6), данная для ( $(\varphi, \psi)$ ).

Если в формуле (6) положим сначала $\varphi=H_{\alpha}^{\prime}, \psi=H_{\beta}{ }^{\prime}$, где а и ? обовначают числа из ряда $0,1, \ldots n-1$, то получится:
\[
\left(H_{\alpha}^{\prime}, H_{\hat{i}}{ }^{\prime}\right)=-\sum_{k} \frac{\partial H_{\beta}^{\prime}}{\partial H_{k}} \sum_{i} \frac{\partial H_{\alpha}^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}+\sum_{k} \frac{\partial H_{\alpha}^{\prime}}{\partial H_{k}} \sum_{i} \frac{\partial H_{\beta}^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{k}} .
\]

Но шо определению величин $H_{2}^{\prime}$ имеем:
\[
H_{\alpha}^{\prime}=\frac{\partial V}{\partial h_{\alpha}}
\]

в цредшоложении, что в чроизводной $\frac{\partial V}{\partial h_{\alpha}}$ внесто величин $h_{\kappa}$ цоставлены величины $H_{k}$. Так как из равенства, служащего для опрегеления $V$,
\[
V=\int\left(p_{1} d q_{1}+p_{2} d q_{2}+\ldots+p_{n} d q_{n}\right)
\]

для шроизводной от $V$ по $h_{\text {ж }}$ получитея зшачение
\[
\frac{\partial V}{\partial h_{\alpha}}=\int\left(\frac{\partial p_{1}}{\partial h_{\alpha}} d q_{1}+\frac{\partial p_{2}}{\partial h_{\alpha}} d q_{2}+\ldots+\frac{\partial p_{\partial}}{\partial h_{\alpha}} d q_{n}\right),
\]

то, взяв отсюда частную производную по $q_{i}$, будем имет:
\[
\frac{\partial\left(\frac{\partial V}{\partial h_{\alpha}}\right)}{\partial q_{i}}=\frac{\partial p_{i}}{\partial h_{i}} .
\]

Следовательно после замены величин $h_{i}$ соответствующими величивами $H_{k}$ получим:
\[
\frac{\partial H_{\alpha}^{\prime}}{\partial q_{i}}=\frac{\partial p_{i}}{\partial H_{\alpha}} .
\]

Iри посредстве этого равеиства суммн, взятые по $i$, входяцие в формулу (8), принимают следующие простые значения:
\[
\begin{array}{c}
\sum_{i} \frac{\partial H_{\alpha}^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}=\sum_{i} \frac{\partial H_{k}}{\partial p_{i}} \frac{\partial p_{i}}{\partial H_{\alpha}}=\frac{\partial H_{k}}{\partial H_{\alpha}}, \\
\sum_{i} \frac{\partial H_{\beta}^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}=\sum_{i} \frac{\partial H_{k}}{\partial p_{i}} \frac{\partial p_{i}}{\partial H_{\beta}}=\frac{\partial H_{k}}{\partial H_{\beta}}
\end{array}
\]

и равенство (8) переходит в такое:
\[
\left(H_{\alpha}{ }^{\prime}, H_{\beta}{ }^{\prime}\right)=-\sum_{k} \frac{\partial H_{\beta}{ }^{\prime}}{\partial H_{l}} \frac{\partial H_{k}}{\partial H_{\alpha}}+\sum_{k} \frac{\partial H_{\alpha}{ }^{\prime}}{\partial H_{k}} \frac{\partial H_{k}}{\partial H_{\beta}} ;
\]

и такьак $\frac{\partial H_{k}}{\partial H_{\alpha}}$ обращаетея в 0 для всех отличных от ж значений $k$, а дая $k=\alpha$ обращатет в единицу, то
\[
\left(H_{\alpha}{ }^{\prime}, H_{\beta}{ }^{\prime}\right)=-\frac{\partial H_{\hat{\beta}}{ }^{\prime}}{\partial H_{\alpha}}+\frac{\partial H_{\alpha}{ }^{\prime}}{\partial H_{\beta}} .
\]

Іравая часть этого равенства есть нудь; действительно, пусть $V^{\prime}$ обозначает функцию, в которую превращается $V$, если величины $h_{k}$ заменяютея соответствующим величинами $H_{k}$; тогда имеют место равенства
\[
H^{\prime}=\frac{\partial V^{\prime}}{\partial H}, \quad H_{1}^{\prime}=\frac{\partial V^{\prime}}{\partial H_{1}}, \quad H_{2}^{\prime}=\frac{\partial V^{\prime}}{\partial H_{2}}, \ldots H_{n}^{\prime}=\frac{\partial V^{\prime}}{\partial H_{n}},
\]

так что получин

а отсюда следует равенство
\[
\left(H_{\alpha}^{\prime}, H_{f}^{\prime}\right)=0 .
\]

Теперь, чтобы преобразовать выражения вида ( $H_{\alpha}{ }^{\prime}, H_{\beta}$ ), мы подставих в формул (6) вместо $?$ и $\psi$ значения $\”=H_{\alpha}^{\prime}$, $\psi=H_{p}$; тогда получитея
\[
\left(H_{a}^{\prime}, H_{\beta}\right)=-\sum_{k} \frac{\partial H_{\beta}}{\partial H_{k}} \sum_{i} \frac{\partial H_{\alpha}^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}+\sum_{k} \frac{\partial H_{\alpha}^{\prime}}{\partial H_{k}} \sum_{i} \frac{\partial H_{\beta}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}} .
\]

Первая входяцая сюда, взятая по $i$, сумма при посредетве равенотва (9) принимает значение:
\[
\sum_{i} \frac{\partial H_{\alpha}{ }^{\prime}}{\partial q_{i}} \frac{\partial H_{k}}{\partial p_{i}}=\sum_{i} \frac{\partial H_{k}}{\partial p_{i}} \frac{\partial p_{i}}{\partial H}=\frac{\partial H_{k}}{\partial H_{\alpha}} .
\]

Вторая же сумма, взятая по $i$, исчезает; в самом деле, так как мы рассматриваем величины $q_{1}, q_{2}, \ldots q_{n}$ и $H, H_{1}, \ldots H_{n-1}$ как независимые переменные, то $H_{\beta}$ не содержит $q_{i}$ и все производные $\frac{\partial H_{\beta}}{\partial q_{i}}$ равны нулю. Таким образом равенство (10) превращается в следүющее:
\[
\left(H_{\alpha}{ }^{\prime}, H_{\beta}\right)=-\sum_{k} \frac{\partial H_{\beta}}{\partial H_{\alpha}} \frac{\partial H_{\beta}}{\partial H_{k}} \frac{\partial H_{k}}{\partial H_{\alpha}}=-\frac{\partial H_{\beta}}{\partial H_{\alpha}},
\]

и так как $\frac{\partial H_{\beta}}{\partial H_{\alpha}}$ равняется 0 или 1 , смотря по тому, отднчаетея $\beta$ от $\alpha$ или равно $\alpha$, то дая двух различных между собой значений $\alpha$ и $\beta$ имеем
\[
\left(H_{\alpha}{ }^{\prime}, H_{\beta}\right)=0 \text {; }
\]

если же $\alpha=\beta$, то
\[
\left(H_{\alpha}{ }^{\prime}, H_{\alpha}\right)=-1 .
\]

Наконец, благодаря условным уравнениям, определяющим величины $H$, получаем
\[
\left(H_{\alpha}, H_{\beta}\right)=0 .
\]

Таким образои мы имеем ддя величин $H_{\alpha}$ и $H_{\dot{\alpha}}^{\prime}$ следующие тождества:
\[
\begin{array}{c}
\left(H_{\alpha}, H_{\beta}\right)=0, \quad\left(H_{\alpha}{ }^{\prime}, H_{\beta}{ }^{\prime}\right)=0, \\
\left(H_{\alpha}, H_{\beta}{ }^{\prime}\right)=0,
\end{array}
\]

из которых два первых имеют место дін всех значениї $\alpha$ и $\beta$, а последнее только для различных между собой значений $\alpha$ и $\beta$, в то время как для $\alpha=\beta$ имеет место равенство
\[
\left(H_{\alpha}, H_{\alpha}^{\prime}\right)=1 .
\]

Эти результаты можно обобщить в следующую теорему:
IІусть дана система изопериметрически дифференишльных уравненицй
\[
\left.\begin{array}{l}
\frac{d q_{1}}{d t}=\frac{\partial H}{\partial p_{1}}, \frac{d q_{2}}{d t}=\frac{\partial H}{\partial p_{2}}, \ldots \frac{d q_{n}}{d t}=\frac{\partial H}{\partial p_{n}} \\
\frac{d p_{1}}{d t}=-\frac{\partial H}{\partial q_{1}}, \frac{d p_{2}}{d t}=-\frac{\partial H}{\partial q_{2}}, \ldots \frac{d p_{n}}{d t}=-\frac{\partial H}{\partial q_{n}},
\end{array}\right\}
\]

в поторой $\boldsymbol{H}$ обозначает данную функиию от переменны $q_{1}, q_{2}, \ldots q_{n}$, $p_{1}, p_{2}, \ldots p_{n}$ и которая при $H=T-U$ переходит в систему дифференциальнъх уравнений динамики для случая, когда имеет место прижщип. живой силь. Рассмотрим уравнение в частных производных
\[
H=h,
\]

в romopo.s
\[
p_{1}=\frac{\partial V}{\partial q_{1}}, \quad p_{2}=\frac{\partial V}{\partial q_{9}}, \ldots p_{n}=\frac{\partial V}{\partial q_{n}}
\]

и $x$ коморому может быть приведена система (1). ПІусть
\[
H_{1}=h_{1}, H_{2}=h_{2}, \ldots H_{n-1}=h_{n-1}
\]

будуп те уравнения, поторые вместе с уравнснием $H=h$ mак определают $p_{1}, p_{2}, \ldots p_{n}$ кан функции от $q_{1}, q_{2}, \ldots q_{n}$, что выраэенне
\[
p_{1} d q_{1}+p_{2} d q_{2}+\ldots+p_{n} d q_{n}
\]

становится нолным дифференциалом, а его ннтетрл
\[
V=\int\left(p_{1} d q_{1}+p_{2} d q_{2}+\ldots+p_{n} d q_{n}\right)
\]

оудет полным решениел уравнсния в частных производных $H=h$. Обозначим далее через $H^{\prime}, H_{1}^{\prime}, \ldots H^{\prime}{ }_{n-1}$ ме функиии переменных $q_{1}, q_{2}, \ldots q_{n}$, $p_{1}, p_{2}, \ldots p_{n}$, в которые преврашаются производные $\frac{\partial V}{\partial h}, \frac{\partial V}{\partial h_{1}} \ldots \frac{\partial V}{\partial h_{n-1}}$, носле того кан постоянные $h, h_{1}, \ldots h_{n-1}$ заменятся функииями $H, H_{1}, \ldots H_{n-1}$, и составим для системь дифференииальных уравнений (1) систему ес интегралов в форме Гамильтона, т. е. в форме равенств
\[
\begin{array}{c}
H=h, H_{1}=h_{1}, H_{2}=h_{2}, \ldots H_{n-1}=h_{n-1}, \\
H^{\prime}=t+h^{\prime}, H_{1}^{\prime}=h_{1}^{\prime}, H_{2}^{\prime}=h_{2}^{\prime} \ldots H_{n-1}^{\prime}=h_{n-1}^{\prime} ;
\end{array}
\]

могда 2n функиий $H, H_{1}, \ldots H_{n \rightarrow 1}, H^{\prime}, H_{1}^{\prime}, \ldots H_{n-1}^{\prime}$ ооразующих левы\” части этих ннтегралов, обладают тем свойством, что если в вираженнн
\[
(\circlearrowleft, \psi)=\left\{\begin{array}{r}
\frac{\partial \varphi}{\partial p_{1}} \frac{\partial \psi}{\partial q_{1}}+\frac{\partial \varphi}{\partial p_{2}} \frac{\partial \psi}{\partial q_{2}}+\ldots+\frac{\partial \varphi}{\partial p_{n}} \frac{\partial \psi}{\partial q_{n}} \\
-\frac{\partial \Psi}{\partial p_{1}} \frac{\partial \varphi}{\partial q_{1}}-\frac{\partial \psi}{\partial p_{2}} \frac{\partial \varphi}{\partial q_{2}}-\ldots-\frac{\partial \psi}{\partial p_{n}} \frac{\partial \varphi}{\partial q_{n}}
\end{array}\right\}
\]
$H^{\prime}, H_{1}^{\prime}, \ldots{H^{\prime}}_{n-1}$, то эмо выражение обратитея в нуль, за единственным исключечием комоинаций $H$ и $H^{\prime}, H_{1}$ и $H_{1}^{\prime}, \ldots H_{n-1}$ \” $H_{n-1}^{\prime}$, каждая из. ним единице.

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