То, о чем пойдет речь в этом параграфе, относится к следующему факту (доказательство приводится к тексте).

Пусть $S(\boldsymbol{y}: \boldsymbol{x}, \varepsilon)$ и $f(\boldsymbol{y}, \boldsymbol{x}, \varepsilon)$ — функции, зависящие от $n$-мерных векторов $\boldsymbol{y}$ (координаты) и $\boldsymbol{x}$ (канонически сопряженные импульсы) и от безразмерного параметра $\varepsilon$. Предполагается, что $S$ и $f$-действительные аналитические функции $2 n+1$ переменной. Определим такой оператор
\[
\Delta_{W} f=(f, W)+\frac{\partial f}{\partial \varepsilon},
\]

где $(f, W)$ — скобки Пуассона. Наконец, рассмотрим оператор
\[
E_{W} f=\sum_{n \geqslant 0}^{\infty} \frac{\varepsilon^{n}}{n !}\left(\Delta_{W}^{n} f\right)_{\varepsilon=0},
\]

где
\[
\begin{aligned}
\Delta_{W}^{0} f & =f, \\
\Delta_{W}^{1} f & =\Delta_{W} f \\
\Delta_{W}^{n} f & =\Delta_{W} \Delta_{W}^{n-1} f \quad(n=2,3, \ldots) .
\end{aligned}
\]

Тогда основной результат при сделанных предположениях заклютается в том, что если ряды (1.4.2) сходятся, то преобразование
\[
\eta_{k}=E_{W} y_{k}, \quad \xi_{k}=E_{W} x_{k}
\]

является полностью каноническим.’Более того, произвольная вещественная аналитическая функция $g(\boldsymbol{y}, \boldsymbol{x})$ выржжается через новые переменные $\boldsymbol{\eta}, \boldsymbol{\xi}$ по формуле
\[
g(\boldsymbol{y}(\boldsymbol{\eta}, \boldsymbol{\xi}, \varepsilon), \boldsymbol{x}(\boldsymbol{\eta}, \boldsymbol{\xi}, \varepsilon))=E_{W} \boldsymbol{g}(\boldsymbol{\eta}, \boldsymbol{\xi}) .
\]

Теорема Ли ([45]). Впервые ряды Ли к методам теории возмущений применил Хори [34]. Он рассматривал операторы $D_{S}^{n} f$, определяемье формулами
\[
D_{S}^{0} f=f, \quad D_{S}^{1} f=(f, S), \quad D_{S}^{n} f=D_{S}^{1} D_{S}^{n-1} f,
\]

где $f, S$ — вещественные аналитические функции $2 n$ канонически сопряженных переменных $\boldsymbol{\eta}, \xi: \eta=\left(\eta_{1}, \ldots, \eta_{n}\right), \xi=\left(\xi_{1}, \ldots, \xi_{n}\right)$, Теорему Ли Хори записал в следующем виде:

Теорема Ли. Набор $2 n$ переменных $\boldsymbol{y}, \boldsymbol{x}$, определяемых уравнениями
\[
f(\boldsymbol{y}, \boldsymbol{x})=\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} D_{S}^{n} f(\boldsymbol{\eta}, \xi)
\]

будет каноническим, если ряды сходятся для достаточно малых в независимо от значений $\eta$, $\xi$.

Доказательство такой теоремы весьма просто. Введем каноническую систему дифференциальных уравнений
\[
\frac{d \eta_{j}}{d \tau}=\frac{\partial S}{\partial \xi_{j}}, \quad \frac{d \xi_{j}}{d \tau}=-\frac{\partial S}{\partial \eta_{j}} \quad(j=1,2, \ldots, n),
\]

где $\tau$ — произвольный параметр, и пусть функции $\eta_{j}(\tau), \xi_{j}(\tau)$ будут единственным решением этой системы уравнений в области, в которой $S$ — вещественная аналитическая функция. Тогда из (1.4.6) следует, что
\[
f(\boldsymbol{y}, \boldsymbol{x})=\left.\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} \frac{d^{n} f}{d \tau^{n}}\right|_{\varepsilon=0}=f(\boldsymbol{\eta}(\tau+\varepsilon), \boldsymbol{\xi}(\tau+\varepsilon)),
\]

а в силу аналитичности $f(y, x)$ имеем
\[
y_{j} \models \eta_{j}(\tau+\varepsilon), \quad x_{j}=\xi_{j}(\tau+\varepsilon) \quad(j=1,2, \ldots, n)
\]

для достаточно малых $\varepsilon$. Так как величины (1.4.8) являются репением гамильтоновой системы (1.4.7), а отображение (1.4.8) каноническое, то из этого следует, что переменные $y, x$ будут каноническими.

Если задан «генератор $S$ », то, как следует из (1.4.6), преобразование будет иметь такой явный вид:
\[
y_{j}=\eta_{j}+\sum_{n=1}^{\infty} \frac{\varepsilon^{n}}{n !} D_{S}^{n-1} \frac{\partial S}{\partial \xi_{j}}, \quad x_{j}=\xi_{j}-\sum_{n=1}^{\infty} \frac{\varepsilon^{n}}{n !} D_{S}^{n-1} \frac{\partial S}{\partial \eta_{j}} .
\]

Кажущимся неудобством такой теории для приложений в методах теории возмущений является то, что функции $f$ и $S$, как правило, должны быть представлены в виде степенных рядов по $\varepsilon$, а такая зависимость не учитывается в вышеприведенных формулах. Модифицированный подход к этому вопросу был предложен Депри [17]; позже различными авторами (см., например, [49]) была показана эквивалентность этого подхода и теории Хори. Эквивалентность обобщенной теории преобразований Гамильтона-Якоби и преобразований Ли, использовавшихся в работах Пуанкаре, Хори и Депри соответственно, будет показана в конде главы II. Здесь мы ограничимся изложением основных теорем преобразований Ли для случая, когда функции $f$ и $S$ зависят от $\varepsilon$. Основной целью является получение соотношений (1.4.3) и (1.4.4). Изложение проводится так же, как и в работе Депри [17].

Рассмотрим вещественные аналитические функции $f$ и $S$, зависящие от $2 n$ канонически сопряженных переменных. Скобки Пуассона $(f, S)$ можно записать в виде
\[
(f, S)=\frac{\partial f}{\partial y}\left(\frac{\partial S}{\partial x}\right)^{\mathbf{T}}-\frac{\partial f}{\partial \boldsymbol{x}}\left(\frac{\partial S}{\partial y}\right)^{\mathbf{T}},
\]

где, как обычно, производная скалярной функции по вектору предполагается строчной матрицей. Можно определить $2 n$-мерный вектор $\boldsymbol{z}=(\boldsymbol{y}, \boldsymbol{x})$ и двумерный вектор $(f, S)$ и записать матрицу Пуассона размерности $2 \times 2$
\[
P_{z}(f, S)=J_{z} M J_{z}^{\mathrm{T}},
\]

где $J_{z}=\partial(f, S) / \partial z$-матрица размерности $2 \times 2 n$ а $M$ — единичная симплектическая матрица размерности $2 n \times 2 n$, Тогда
\[
P_{z}(f, S)=(f, S)_{z}\left(\begin{array}{rr}
0 & 1 \\
-1 & 0
\end{array}\right) .
\]

Для нетривиального канонического преобразования $z=z(\zeta)$ имеем
\[
J^{\mathrm{T}} M J=M,
\]

где $J=\partial z / \partial \zeta$. Тогда
\[
J_{\zeta}=J_{z} J .
\]

Теперь получаем
\[
P_{\zeta}(f, S)=J_{\zeta} M J_{\zeta}^{\mathrm{T}}=J_{z} J M J^{\mathrm{T}} J_{z}^{\mathrm{T}}=J_{z} M J_{z}^{\mathrm{T}}=P_{\boldsymbol{z}}(f, S),
\]

что показывает инвариантность матрицы $P$ относительно канонических преобразований.

Производная Ли функции $f$, генерируемая функцией $S$, имеет вид
\[
L_{S} f=(f, S) .
\]

Taк как $L_{S} f$ является билинейной формой относительно $f, S$, то отсюда вытекают следующие свойства ( $\alpha, \beta$ — постоянные числа)::
a).
\[
L_{S}(\alpha f+\beta g)=\alpha L_{S} f+\beta L_{S} g,
\]
b)
\[
L_{S}(f \cdot g)=f \cdot L_{S} g+g \cdot L_{S} f,
\]
c)
\[
L_{S}(f, g)=\left(f, L_{\mathrm{S}} g\right)+\left(L_{S} f, g\right),
\]
c)
\[
L_{S} L_{S^{\prime}} f=L_{S^{\prime}} L_{S} f+L_{\left(S, S^{\prime}\right) f} \text {. }
\]

Если ввести определение $L_{S}^{0} f=f$, то $n$-я производная Ли будет иметь вид
\[
L_{S}^{n} f=L_{S} L_{S}^{n-1} f .
\]

Для этой производной легко проверить следующие свойства:
a)
\[
L_{S}^{n}(\alpha f+\beta g)=\alpha L_{S}^{n} f+\beta L_{S}^{n} g,
\]
b)
\[
L_{S}^{n}(f \cdot g)=\sum_{m=0}^{n} C_{n}^{m} L_{S}^{m} f \cdot L_{S}^{n-m} g
\]
c)
\[
L_{S}^{n}(f, g)=\sum_{m=0}^{n} C_{n}^{m}\left(L_{S}^{m} f, L_{S}^{n-m} g\right) \text {. }
\]

Если $S$ — вещественная аналитическая функция, то можно выбрать такое достаточно малое число $\varepsilon$, что ряды
\[
\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} L_{S}^{n} f=\exp \left(\varepsilon L_{S}\right) f
\]

будут сходящимися для аналитических функций $f$.

Опять нетрудно проверить следующие свойства:
a) $\exp \left(\varepsilon L_{S}\right)(\alpha f+\beta g)=\alpha \exp \left(\varepsilon L_{S}\right) f+\beta \exp \left(\varepsilon L_{S}\right) g$,
b) $\exp \left(\varepsilon L_{S}\right)(f \cdot g)=\exp \left(\varepsilon L_{S}\right) f \cdot \exp \left(\varepsilon L_{S}\right) g$,
c) $\quad \exp \left(\varepsilon L_{S}\right)(f, S)=\left(\exp \left(\varepsilon L_{S}\right) f, \exp \left(\varepsilon L_{S}\right) g\right)$.

Из последнего свойства вытекает следующее утверждение.
Теорема. Пусть $\varepsilon$ — постоянный параметр. Рассмотрим преобразование $\boldsymbol{z}=\boldsymbol{z}$ (६) $2 n$-мерного вектора $\boldsymbol{z}=(\boldsymbol{y}, \boldsymbol{x})$, где $\boldsymbol{y}, \boldsymbol{x}$-канонически сопряженные переменные, в $2 n$-мерный вектор $\boldsymbol{\zeta}=(\boldsymbol{\eta}, \boldsymbol{\xi})$. Если существует такая вещественная аналити. ческая функция $S(z)$, что ряды
\[
\zeta=\exp \left(\varepsilon L_{S}\right) z
\]

сходятся в некоторой области z-пространства, то преобразование будет каноническим.

Заметим, что по существу эта теорема совпадает с теоремой Ли, сформулированной выше. Доказательство рассматриваемой теоремы немедленно следует из гаких соотношений:
\[
\zeta_{i}=\exp \left(\varepsilon L_{S}\right) z_{i}
\]

и из формулы (1.4.17), примененной к выражению
\[
\left(\zeta_{i}, \zeta_{j}\right) \rightleftharpoons\left(\exp \left(\varepsilon L_{S}\right) z_{i}, \exp \left(\varepsilon L_{S}\right) z_{j}\right)=\exp \left(\varepsilon L_{S}\right)\left(z_{i}, z_{j}\right)
\]

или
\[
P(\zeta)=\exp \left(\varepsilon L_{\mathrm{S}}\right) P(z) .
\]

Так как $z$ — канонический набор переменных, то $P(\boldsymbol{z})=M$ и, следовательно,
\[
P(\zeta)=M,
\]
т. е. 5 — также канонический набор переменных.

Другим важным результатом является закон преобразования произвольной функции переменных $z$ в функцию переменных 5 .

Т е орема. Образ каждой вещественғой аналитической функции $f(z)$ при преобразовании
\[
z=\exp \left(\varepsilon L_{\mathrm{s}}\right) \zeta
\]

есть функция
\[
\tilde{f}(\xi, \varepsilon)=f\left(\exp \left(\varepsilon L_{S}\right) \zeta\right)=\exp \left(\varepsilon L_{S}\right) f(\xi) .
\]

Действительно,
\[
L_{S} \widetilde{f}(\zeta, \varepsilon)=\frac{\partial f}{\partial z} L_{S} z
\]

где $\partial f / \partial \boldsymbol{z}$-строчная матрица $\left\|\partial f / \partial z_{k}\right\|$, а $L_{S} z$-матрица-столбец $\left\|\left(z_{k}, S\right)\right\|$.
Дифференцируя (1.4.19) по $\varepsilon$, находим
\[
\frac{\partial z}{\partial \varepsilon}=\sum_{m=0}^{\infty} \frac{\varepsilon^{m}}{m !} L_{S}^{m+1} \xi=L_{S} z
\]

и, следовательно, получаем
\[
L_{S} \tilde{f}(\boldsymbol{\zeta}, \boldsymbol{\varepsilon})=\frac{\partial f}{\partial \boldsymbol{z}} \frac{\partial \boldsymbol{z}}{\partial \boldsymbol{\varepsilon}}=\frac{\tilde{\partial \tilde{f}}}{\partial \boldsymbol{\varepsilon}} .
\]

Повторяя эту процедуру $n$ раз, ваходим
\[
L_{S}^{n} \tilde{f}=\frac{\partial^{n} \tilde{f}}{\partial \varepsilon^{n}}
\]

или из (1.4.20)
\[
\left.\frac{\partial^{n} \tilde{f}}{\partial \varepsilon^{n}}\right|_{\varepsilon=0}=L_{S}^{n} \tilde{f}(\zeta, 0)=f(\zeta) .
\]

Следовательно, тейлоровское разложение функции $\tilde{f}(\zeta, \varepsilon)$ имеет вид
\[
\tilde{f}(\zeta, \varepsilon)=\left.\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} \frac{\partial^{n} \tilde{f}}{\partial \varepsilon^{n}}\right|_{\varepsilon=0}=\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} L_{S}^{n} \tilde{f}(\zeta)=\exp \left(\varepsilon L_{S}\right) f(\zeta),
\]

что и завершает доказательство.
Из этой последней теоремы можно получить следствие, которое в конечном счете устанавливает справедливость подхода Хори, рассматривавшего $S$ как функцию $\varepsilon$.

Следствие. Если функция $f(\boldsymbol{z}, \varepsilon)$ допускает разложение в ряд Тейлора в окрестности точки $\varepsilon \Longleftarrow 0$, т. е.
\[
f(z, \varepsilon)=\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} f_{n}(z),
\]

то после применения канонического преобразования (1.4.19) получим
\[
f(z(\xi, \varepsilon), \varepsilon)=\sum_{n=0}^{\infty} \frac{\varepsilon^{n}}{n !} \sum_{m=0}^{\infty} C_{n}^{m} L_{S}^{m} f_{n-m}(\xi) .
\]

Действительно, из (1.4.20) получаем соотношение
\[
f_{n}(\boldsymbol{z}(\xi, \varepsilon))=\sum_{m=0}^{\infty} \frac{\varepsilon^{m}}{m !} L_{S}^{m} f_{n}(\zeta)
\]

после подстановки которого в (1.4.23) и после собирания членов одинакового порядка по $\varepsilon$ приходим к желаемому результату.

Наконец, докажем следующую теорему о преобразовании, обратном к каноническому преобразованию, определяемому рядами Ли.
Теорема. Преобразование, обратное $к$ преобразованию

имеет вид
\[
\begin{array}{l}
z=\exp \left(\varepsilon L_{S}\right) \zeta, \\
\zeta=\exp \left(\varepsilon L_{-S}\right) z .
\end{array}
\]

Действительно,
\[
\zeta=\exp \left(\varepsilon L_{S^{\prime}}\right) z=\exp \left(\varepsilon L_{S^{\prime}}\right)\left(\exp \left(\varepsilon L_{S}\right) \zeta\right)=\exp \left(\varepsilon\left(L_{S^{\prime}}+L_{S}\right)\right) \zeta .
\]

Оператор $\exp \left(\varepsilon\left(L_{S^{\prime}}+L_{S}\right)\right.$ должен соответствовать тождественному преобразованию, для которого $L_{S^{\prime}}+L_{S}=0$. Следовательно, $S^{\prime}=-S$, что и требовалось доказать.