Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Рассмотрим все критические точки $S_{1}, \ldots, S_{n}$ функции $F$ на $P$, т.е. вершины графа $K$. В каждой точке $S_{i}$ мы можем рассмотреть линеаризацию гамильтонова векторного поля $w=\operatorname{sgrad} F$ и собственные значения $\lambda_{i}$ и $\mu_{i}$ линеаризованной системы. Поскольку рассматриваемое векторное поле – гамильтоново, то $\lambda_{i}=-\mu_{i}$, а в силу невырожденности особой точки $\lambda_{i}>0$. Хорошо известно, что $\lambda_{i}$ – гладкий инвариант поля $w$ в особой точке $S_{i}$. Однако при гомеоморфизмах он не обязан сохраняться. Другими словами, каждое из чисел $\lambda_{i}$, рассматриваемое по отдельности, не является инвариантом в смысле топологической сопряженности. Тем не менее, рассмотрев все эти числа в совокупности, мы можем изготовить из них топологический инвариант. Вместо собственных значений линеаризованного векторного поля нам будет при этом удобнее рассмотреть их обратные величины $\Lambda_{i}=\lambda_{i}^{-1}$. где $d^{2} F=\left(\frac{\partial^{2} F}{\partial x^{k} \partial x^{j}}\left(S_{i}\right)\right)$ и $\Omega=\left(\omega_{k l}\left(S_{i}\right)\right)$ – матрица симплектической формы. определена однозначно. На рис. 6.1 изображена качественная картина поведений ее линий уровня. Более точно, справедливо следующее утверждение. а при $i=1, \ldots, p$ Другими словами, приращение переменной «угол» $\varphi$ внутри области $Z_{i}$ пропорционально числу $\Lambda_{m_{i}}$, отвечающему вериине $S_{m_{i}}$. Построенные в этой лемме линии уровня $N_{i}$ мы будем называть отрезками раздела. Рассмотрим на плоскости с координатами (u,v) функцию $F=u v$, произвольную симплектическую структуру $\omega=\omega(u, v) d u \wedge d v$ и соответствующее гамильтоново поле $w=\operatorname{sgrad} F$. Рассмотрим область $G$, изображенную на рис. 6.3. Она ограничена неотрицательными полуосями координат $u$ и $v$, гиперболой $F=u v=\varepsilon_{0}$ и двумя отРис. 6.3 резками $\gamma_{1}=\{u=1\}$ и $\gamma_{2}=\{v=1\}$, трансверсально пересекающими линии уровня $F=$ const. Рассмотрим функцию $\Pi(\varepsilon)$, сопоставляющую каждому $\varepsilon \in\left(0, \varepsilon_{0}\right)$ время движения по куску $\gamma_{\varepsilon}$ траектории $\{F=\varepsilon\}$, высекаемому отрезками $\gamma_{1}$ и $\gamma_{2}$ (рис. 6.3). Лемма 6.2. Для любого $n \in \mathbb{N}$ имеет место равенство: где $P_{n}$ – некоторый полином степени $n$, а $c(\varepsilon)$ – функция класса $C^{n}$ на отрезке $\left[0, \varepsilon_{0}\right]$. При этом коэффициенты $a_{i}$ полинома совпадают с коэффициентами $a_{i i}$ в тейлоровском разложении В частности, $a_{0}=\omega(0,0)$. Действительно, параметризуем $\gamma_{\varepsilon}$ как траекторию векторного поля $w$. Тогда $\gamma_{\varepsilon}=(u(t), v(t)), t \in[0, \Pi(\varepsilon)]$ и Подставляя в интеграл, получаем Параметризуем теперь эту же кривую иначе: Подставляя в интеграл, получаем Поскольку $\omega$ – гладкая функция, то справедливо представление где $g_{0}, h_{0}$ и $l_{0}$ – гладкие функции. Применяя такое разложение для функции $l_{0}$ и повторяя эту процедуру несколько раз, мы получаем где $g_{n}, h_{n}$ и $l_{n}$ – гладкие функции. Интегрируя это выражение по $\tau$, получаем где $c(\varepsilon)$ – функция класса $C^{n}$ на отрезке $\left[0, \varepsilon_{0}\right]$, что и требовалось доказать. Лемма 6.2 доказана. где $A(\varepsilon)$ и $B(\varepsilon)$ – гладкие функции класса $C^{\infty}$ на отрезке $\left[0, \varepsilon_{0}\right]$. Каждому ребру $K_{m_{i}}$ отвечает ровно один отрезок $\tilde{N}_{i}$. Напомним, что кольцо $C$ расслоено на замкнутые траектории потока $\sigma^{t}$, и каждая такая траектория однозначно задается значением гамильтониана $F$ на ней (мы будем обозначать ее через $\gamma_{F}$ ). Пусть $\Pi_{i}(F)$ – время прохождения точки внутри «прямоугольника» $\widetilde{Z}_{i}$ от его левой стороны $\widetilde{N}_{i}$ до правой стороны $\tilde{N}_{i+1}$ под действием потока $\sigma^{t}$ вдоль ин- Рис. 6.4 тегральной траектории $\gamma_{F}$. Отметим, что в условиях леммы 6.2 вместо отрезков $\gamma_{1}$ и $\gamma_{2}$ можно рассмотреть любые другие гладкие кривые, пересекающие трансверсально оси координат. При этом вид формулы полностью сохраняется, лишь к функции $c(\varepsilon)$ добавится некоторая гладкая функция. Поэтому, используя лемму Морса, мы можем применить нашу лемму 6.2 к «прмоугольнику» $\widetilde{Z}_{i}$. В результате (для $n=0$ ) мы получаем следующее асимптотическое представление для функции П $(F)$ : где $c_{i}(F)$ – функция непрерывная на всем отрезке $\left[0, F_{0}\right]$ (включая нуль). где $d_{i}=\left(\sum_{j-1}^{i} \Lambda_{m_{j}}\right) /\left(\sum_{j-1}^{p} \Lambda_{m_{j}}\right)$. $\mathrm{y}_{\text {тверждается, что эта функция непрерывна }}$ на всем отрезке $\left[0, F_{0}\right]$ и гладкая всюду, кроме, быть может, нуля. В самом деле, все «чистые логарифмы», входящие в выражения для периодов, сокращаются и в результате остается выражение: которое, очевидно, является непрерывной функцией от $F$ на всем отрезке $\left[0, F_{0}\right]$, включая нуль. Отметим, что если бы функции $\theta_{i}$ оказались тождественно равными нулю, мы получили бы, что $\sum_{j=1}^{i} \Pi(F)=d_{i} \Pi(F)$. Это означало бы, что приращение переменной «угол» $\varphi$ в каждом прямоугольнике $\widetilde{Z}_{i}$ равняется в точности $\frac{2 \pi \Lambda_{m_{i}}}{\sum_{j=1}^{p} \Lambda_{m_{j}}}$. Другими словами, отрезки $\widetilde{N}_{i}$ оказались бы линиями уровня переменной $\varphi$ и совпали бы с искомыми отрезками $N_{i}$. Мы используем здесь тот факт, что для каждой траектории $\gamma_{F}$ ее естественный параметр $t$ и переменная «угол» $\varphi$ связаны простым соотношением $d \varphi=\left(\frac{2 \pi}{\Pi(F)}\right) d t$, т.е. попросту пропорциональны с постоянным на траектории коэффициентом. Однако, вообще говоря, $\theta_{i}$ отличны от нуля. Но они оказались непрерывными функциями от $F$, поэтому нам достаточно рассмотреть новые отрезки $N_{i}$, получающиеся из исходных отрезков $\widetilde{N}_{i}$ некоторыми сдвигами. А именно, нужно сдвинуть каждую точку отрезка $\widetilde{N}_{i}$ на величину $\theta_{i}(F)$. Более точно, каждая точка на $\widetilde{N}_{i}$ задается некоторым значением $F$, и сдвигать ее нужно вдоль траектории потока $\sigma^{t}$ на величину $\theta_{i}(F)$. Ясно, что для построенных таким путем новых отрезков $N_{i}$ новые функции $\theta_{i}$ уже будут тождественно равны нулю, и тогда вступает в силу сделанное выше замечание. Новые отрезки $N_{i}$ являются гладкими на открытом кольце и каждый из них имеет предельную точку на внутренней границе кольца, которую мы и обозначим через $x_{i}$. Итак, мы построили отрезки $N_{i}$ таким образом, что выполнена формула пункта «в» леммы 6.1. Осталось доказать единственность точки $x_{i}$ (см. пункт «а» леммы) и то, что все остальные траектории ведут себя так, как указано в пункте «б». Другими словами, достаточно доказать, что в «прямоугольнике» $Z_{i}$ все остальные линии уровня функции $\varphi$ втыкаются в особую точку $S_{m_{i}}$. Но этот факт легко следует из уже использованного нами соотношения $d \varphi=\left(\frac{2 \pi}{\Pi(F)}\right) d t$. Действительно, если мы сместимся с построенного нами отрезка $N_{i}=\{\varphi=$ $\left.=\alpha_{i}\right\}$ внутрь прямоугольника $Z_{i}$ на произвольную положительную величину $\Delta \varphi$, то вблизи графа $K$ мы удалимся от отрезка $N_{i}$ на сколь угодно большое время в смысле потока $\sigma^{t}$, поскольку $\Pi(F) \rightarrow \infty$ при $F \rightarrow 0$. Поэтому предельной точкой сдвинутого отрезка $\left\{\varphi=\alpha_{i}+\Delta \varphi\right\}$ (т. е. линии уровня функции $\varphi$ ) может быть только особая точка $S_{m_{i}}$. Лемма 6.1 полностью доказана. пару точек на противоположных границах кольца и по одному разу пересекающий каждую интегральную траекторию потока $\sigma^{t}$. Все отличие от доказанной выше леммы 6.1 будет тогда состоять в том, что и все остальные отрезки $N_{i}$ (строящиеся при помощи $N_{1}$ ) также будут непрерывными дугами, соединяющими пары точек на противоположных границах кольца и пересекающими по одному разу каждую интегральную траекторию потока. Возвращаемся к доказательству предложения 6.1. Пусть $(P, K)$ и $\left(P^{\prime}, K^{\prime}\right)$ два экземпляра одного и того же атома $V$, на которых заданы топологически сопряженные между собой гамильтоновы системы $w$ и $w^{\prime}$. Пусть $\xi: P \rightarrow P^{\prime}-$ сопрягающий гомеоморфизм. Обозначим через $\Lambda_{i}$ и $\Lambda_{i}^{\prime}$ значения $\Lambda$-инварианта первой и второй системы соответственно. Здесь одинаковыми индексами мы нумеруем особые точки первой системы $S_{i}$ и их образы $S_{i}^{\prime}=\xi\left(S_{i}\right)$. Граф $K$ разбивает $P$ в объединение колец. Пусть $C$ – любое из них и $C^{\prime}$ кольцо, отвечающее ему при гомеоморфизме $\xi$. Рассмотрим на кольце $C$ систему отрезков раздела $N_{i}$, построенных при помощи леммы 6.1 , и отвечающих некоторой переменной «угол» $\varphi$. Рассмотрим образы $N_{i}^{\prime}=\xi\left(N_{i}\right)$ отрезков $N_{i}$ при гомеоморфизме $\xi$. Они разбивают кольцо $C^{\prime}$ в объединение прямоугольников $Z_{i}$. Эти отрезки будут линиями уровня переменной «угол» $\varphi^{\prime}$ при условии, что за начальный отрезок (отвечающий $\varphi^{\prime}=0$ ) взят отрезок $\xi\left(N_{1}\right)$. Это сразу следует из топологической сопряженности систем $w$ и $w^{\prime}$. Более того, функция $\varphi^{\prime}$ принимает на отрезках $N_{i}^{\prime}$ те же значения, что и функция $\varphi$ на отрезках $N_{i}$. Таким образом, $N_{i}^{\prime}$ являются отрезками раздела для кольца $C^{\prime}$ и обладают всеми свойствами, перечисленными в лемме 6.1 , в частности, для них верна формула пункта «в». Из этого соотношения сразу следует, что наборы чисел $\Lambda_{m_{i}}$ и $\Lambda_{m_{i}}^{\prime}$ для каждого кольца $C$ и его образа $C^{\prime}$ совпадают с точностью до пропорциональности. Проводя это рассуждение для всех остальных колец, мы получаем утверждение предложения 6.1.
|
1 |
Оглавление
|