Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 1. Как и в предыдущем разделе, мы рассматриваем комплексные структуры, заданные постоянными матрицами $J$, и фиксируем решетку $\mathbb{Z}^{2 n}$ в $\mathbb{R}^{2 n}$. Нас интересуют комплексные прямые $L$, проекции $p(L)$ которых плотны в $T^{2 n}$ или, что эквивалентно, для которых Лемма 4.1. Проекиия $p(L)$ является плотной тогда и только тогда, когда или, что эквивалентно, когда в представлении (3.1) Очевидно, что это условие является необходимым. Действительно, если $j \in L^{\perp} \cap \mathbb{Z}^{2 n}, j и для любой $\mathbb{Z}^{2 n}$-периодичной функции $\varphi$ среднее значение существует и равно пространственному среднему $\varphi_{0}=\int_{T^{2 n}}^{0} \varphi(x) d x$ при условии, что выполнено (4.3). На самом деле, утверждение справедливо для интегрируемых по Риману функций, в частности, для характеристических функций открытых множеств. Отсюда, естественно, следует плотность проекции $p(L)$. Чтобы доказать указанную формулу, можно использовать разложение Фурье и тот факт, что По предположению (4.3) только элемент с $j=0$ дает вклад. В связи с этим мы хотим напомнить, что для любой заданной 2 -плоскости в $\mathbb{R}^{2 n}$ можно построить комплексную структуру $J$ такую, что плоскость $L$ будет $J$-голоморфной. Для этого достаточно просто дополнить базис $v_{1}, v_{2}$ в $L$ до базиса $v_{1}, v_{2}, \ldots, v_{2 n}$ в $\mathbb{R}^{2 n}$. Если мы определим $J$ равенствами для $j=1,2, \ldots, n$, то ясно, что $L$ будет инвариантна относительно $J$ и $J^{2}=-I$. 3. Для дальнейших целей мы заменим условия (4.3) на диофантово условие, а именно, будем требовать, чтобы для некоторых положительных констант $c_{0}, \tau$ выполнялись неравенства Очевидно, это условие не зависит от параметризации и сводится к геометрическому расположению плоскости $L$. для некоторых $c_{1}, \sigma>0$. Очевидно, что из условия (4.6) следует (4.5) для $c_{1}=c_{0}, \sigma=\tau$. Заметим, что условие (4.6) – это не свойство плоскости $L$, оно зависит еще и от параметризации. Отсюда следует, к примеру, что образ действительной оси $\operatorname{Im} \zeta=0$ проектируется плотно на $T^{2 n}$. Тем не менее, стоит отметить, что для подходящей параметризации из (4.5) следует (4.6). А именно, имеет место Теорема 4.1. Если $\alpha$ удовлетворяет условию (4.5), то существует константа $\lambda \in \mathbb{C},|\lambda|=1$ такая, что для всякого $\sigma>\tau+2 n$ и некоторой константы $\varepsilon>0$, не зависящей om $j$. ДоКАЗАТЕЛЬСТВО. Покажем, что угловая мера $d \theta$ числа $\lambda=e^{i \theta}$, для которого условия (4.7) нарушаются при некотором $j$, является малой порядка $\varepsilon$, поэтому любое $\lambda$ из дополнения удовлетворяет условию (4.7) для всех $j \in \mathbb{Z}^{2 n} \backslash(0)$. и условия (4.5) следует Для $c_{0} \varepsilon<\frac{1}{2}$ и заданного $j \in \mathbb{Z}^{2 n} \backslash(0)$ это неравенство определяет пару интервалов (объединение которых мы назовем $I_{j}$ ) меры относительно $d \theta$. Упорядочив узловые точки $j$ решетки отношением $\max _{ для некоторой константы $c_{2}$. Для $\sigma>\tau+2 n$ этот ряд сходится, и сумму ряда можно сделать меньшей, чем $2 \pi$. Таким образом, дополнение $S^{1} \backslash \bigcup_{j} I_{j}$ имеет положительную меру, это доказывает утверждение. 4. Диофантово условие (4.5) требуется, когда речь идет о комплексном векторном поле которое порождает $E \cap L$ в разложении $T M=E+\bar{E}$. Теорема 4.2. Отображение является изоморфизмом тогда и только тогда, когда $\alpha$ удовлетворяет условию (4.5) для некоторых констант $c_{0}, \tau$. Тогда $D_{\alpha}$ переводит Известно, что для любого изоморфизма множители коэффициентов Фурье, т.е. $(j, \alpha)$ и $(j, \alpha)^{-1}$ растут не быстрее, чем степень $|j|$ (см., например, [22]). Используем норму Соболева Имеем оценки
|
1 |
Оглавление
|