Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Здесь мы обсудим вопрос о том, какие абстрактно заданные молекулы $W^{*}$ реализуются в виде молекул интегрируемых систем. Дело в том, что меченую молекулу $W^{*}$ можно задать абстрактно как некий граф, вершинами которого являются атомы, а на ребрах и семьях проставлены произвольные метки $r$ (рациональные числа от 0 до 1 , либо $\infty$ ), метки $\varepsilon= \pm 1$ и метки $n$ (произвольные целые числа). Спрашивается, найдется ли конкретная интегрируемая система $v=\operatorname{sgrad} H$ на подходящей изоэнергетической поверхности $Q$ в подходящем симплектическом 4-многообразии $M$ такая, что ее меченая молекула совпадет с $W^{*}$ ? Ответ положительный. Теорема 4.2 (Теорема реализации [30]). Любая абстрактно заданная меченая молекула $W^{*}$ реализуется как меченая молекула некоторой интегрируемой гамильтоновой системы. Доказательство. Шаг 1. Рассмотрим молекулу $W^{*}$ и восстановим по ней соответствующее 3 -многообразие $Q^{3}$. Для этого возьмем все 3 -атомы, отвечающие данной молекуле. По набору меток молекулы $W^{*}$ можно однозначно восстановить избыточное оснащение молекулы, т.е. набор матриц склеек, с точностью до естественного отношения эквивалентности, введенного выше. Пользуясь теперь этими матрицами склеек, склеиваем трехмерное многообразие $Q^{3}$ из 3 -атомов. На многообразии $Q^{3}$ возникает естественная структура слоения типа слоения Лиувилля. Каждый 3 -атом имел такую структуру по определению, причем каждый его граничный тор являлся слоем. Поэтому, склеивая атомы между собой, мы естественным образом продолжаем слоение с одного атома на другой. Рассмотрим теперь 4 -многообразие $M^{4}=Q^{3} \times I$, где $I$ – интервал, и естественным образом продолжим на $M^{4}$ слоение с $Q^{3}$. Фиксируем на $Q^{3} \times I$ некоторую ориентацию. Для завершения доказательства теоремы осталось ввести на $M^{4}$ симплектическую структуру так, чтобы получившееся слоение стало лагранжевым. где $\omega(x, y)$ – симплектическая структура на $P^{2}$, выбранная так, чтобы ориентация на $U \times I$, задаваемая формой $\Omega$, совпадала с фиксированной заранее ориентацией на $M^{4}$. В случае же косого произведения $P^{2} \tilde{\times} S^{1}$ 3-атом $U$ является результатом склейки двух оснований прямого произведения $P^{2} \times[0,2 \pi]$ по инволюции $\tau: P^{2} \rightarrow P^{2}$, сохраняющей функцию $f(x, y)$ на поверхности $P^{2}$. В этом случае симплектическая структура на $U \times I$ задается той же самой формулой где $\varphi$ – координата на отрезке $[0,2 \pi]$, а $t$ – координата на интервале $I$. Симплектическая структура $\omega(x, y)$ должна быть инвариантна относительно инволюции $\tau$. Такая форма $\omega$ всегда существует. Достаточно взять форму вида $\omega=\alpha+\tau^{*} \alpha$, где $\alpha$ – любая невырожденная 2 -форма на $P^{2}$. В силу инвариантности $\omega$ построенная нами форма $\Omega$ корректно определена на всем $U \times I$, хотя для ее записи мы первоначально использовали локальные координаты $x, y, \varphi$. В итоге мы построили симплектическую структуру в окрестности каждого особого слоя слоения Лиувилля. Нам осталось продолжить ее на ту часть 4-многообразия $M^{4}$, которая соответствует ребрам молекулы $W$, т.е. на семейства вида $T^{2} \times E \times I$. Здесь интервалы $E$ отвечают ребрам молекулы, т.е. однопараметрическим семействам торов Лиувилля $T^{2}$. Эти семейства получаются из $Q^{3}$ выбрасыванием из него (окрестностей) особых слоев слоения Лиувилля. Фиксируем базис на торе $T^{2}$ из рассматриваемого семейства и распространим этот базис на каждый тор из этого семейства (по непрерывности). Согласно теореме Лиувилля, на двух подобластях $X_{a}$ и $X_{b}$ существуют переменные действие-угол $s_{1}, s_{2}, \varphi_{1}, \varphi_{2}$, отвечающие фиксированному базису на тоpax. Поскольку на всех торах определен один и тот же базис, мы можем гладким образом продолжить координаты $\varphi_{1}$ и $\varphi_{2}$ на все торы семейства $X$. Таких способов продолжения, конечно, много. Выберем и фиксируем один из них. Распространим теперь и функции $s_{1}$ и $s_{2}$ на все семейство $X$. Поскольку функции $s_{1}$ и $s_{2}$ должны быть постоянны на 2 -торах, то в действительности их достаточно определить как функции на двумерном семействе параметров, т.е. на прямоугольнике $[a, b] \times[-\varepsilon, \varepsilon]$. Следовательно, задача сводится к следующей. Нужно продолжить уже имеющееся отображение двух полосок (рис. 4.9) в плоскость до отображения, заданного уже на всем прямоугольнике. Искомое отображение не должно иметь особенностей и должно быть погружением прямоугольника в плоскость (рис. 4.10). Это можно сделать, поскольку знаки якобианов двух отображений, заданных на двух полосках, совпадают. Это условие, как нетрудно видеть, в точности эквивалентно тому, что симплектические структуры $\Omega_{1}$ и $\Omega_{2}$ задают одинаковую ориентацию. Мы получаем, таким образом, погружение прямоугольника $[a, b] \times[-\varepsilon, \varepsilon]$ в плоскость с координатами $s_{1}$ и $s_{2}$. В результате $s_{1}$ и $s_{2}$ мы можем рассматривать в каждой точке как регулярные координаты и определить симплектическую структуру $\Omega$ на всем семействе $X$ естественной формулой Эта форма, очевидно, удовлетворнет всем необходимым требованиям. Лемма 4.7 доказана. Шаг 4. Итак, с помощью леммы о сшивании мы можем построить симплектическую структуру в целом на многообразии $M^{4}=Q^{3} \times I$ таким образом, чтобы имеющееся на нем слоение стало лагранжевым. Теперь для построения искомой гамильтоновой системы достаточно в качестве гамильтониана $H$ взять параметр $t$ на интервале $I$. Меченая молекула, отвечающая изоэнергетической поверхности, по построению совпадает с $W^{*}$, что и требовалось. Замечание. Построенная система на самом деле является резонансной в окрестности сингулярных слоев. Чтобы устранить этот недостаток, нам достаточно слегка возмутить построенную систему, например, следующим образом где $f$ – произвольная функция, постоянная на слонх. Ясно, что сколь угодно малым возмущеРис. 4.10 нием такого вида можно сделать систему нерезонансной, не менян при этом топологии изоэнергетической поверхности и отвечающего ей слоения Лиувилля, т. е. молекулы $W^{*}$.
|
1 |
Оглавление
|