Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Для того чтобы построить минимальные решения для данного вектора вращения, начнем с рационального вектора $\alpha$, т. е. вектора с рациональными компонентами и построим первые минимальные подторы. Для других $\alpha \in \mathbb{R}^{n}$ минимальные решения находятся аппроксимацией с помощью минимальных решений с рациональными $\alpha$. Данному минимальному решению $u$ сопоставим группу $\bar{\Gamma}$ всех периодов $\bar{\gamma}=\left(\gamma, \gamma_{n+1}\right)$, где $\gamma=\left(\gamma_{1}, \ldots, \gamma_{n}\right)$, т. е. множество $\bar{\gamma} \in \bar{\Gamma}$, для которого Это подгруппа $\mathbb{Z}^{n+1}$, которая не содержит никаких точек на оси $x_{n+1}$, кроме начала координат. Поэтому $\operatorname{dim}_{\mathbb{Z}} \bar{\Gamma} \leqslant n$. Обозначим через $\bar{E}$ наименьшее линейное подпространство $\mathbb{R}^{n+1}$, содержащее $\bar{\Gamma}$ такое, что $\operatorname{dim}_{\mathbb{R}} \bar{E}=\operatorname{dim}_{\mathbb{Z}} \bar{\Gamma} \leqslant n$. Ясно, что $\bar{\Gamma}$ – подгруппа $\mathbb{Z}^{n+1} \cap \bar{E}$, и мы будем называть $\bar{\Gamma}$ «максимальной», если $\Gamma=\mathbb{Z}^{n+1} \cap \bar{E}$. Очевидно, все $\bar{\Gamma}$ содержатся в максимальной решетке, а именно в $\mathbb{Z}^{n+1} \cap \bar{E}$. Если вектор вращения $u$ обозначен $\alpha$, то $\bar{\alpha}=(\alpha,-1) \in \mathbb{R}^{n+1}$ ортогонален $\bar{E}$, т. к. при $\bar{\gamma} \in \bar{\Gamma}, m \in \mathbb{Z}$, Более обобщенно, если $\bar{\Gamma}$ является какой-либо подгруппой $\mathbb{Z}^{n+1}$, которая не содержит никаких точек на оси $x_{n+1}$, кроме начала координат, то $\operatorname{dim} \bar{\Gamma} \leqslant n$ и $\bar{\Gamma}$ имеет нормальный вектор вида $\bar{\alpha}=(\alpha,-1)$, т. е. содержится в гиперплоскости $x_{n+1}=\alpha \cdot x$. Обозначив через $\pi$ проекцию $\pi\left(x, x_{n+1}\right)=x$ пространства $\mathbb{R}^{n+1}$ на $\mathbb{R}^{n}$, рассмотрим группу $\bar{\Gamma}=\pi \bar{\Gamma}$. Из Г и $\alpha$ получим Очевидно, что $\bar{\Gamma}$ максимальна тогда и только тогда, когда $\Gamma$ максимальна. В особом случае интеграла Дирихле минимальными решениями без самопересечений являются линейные функции $u=\alpha \cdot x+\beta$. Таким образом, для заданного $\alpha \in \mathbb{R}^{n}$ существует $u \in \mathscr{M}$. Также соответствующая решетка периодов максимальна. Установим оба факта для общих вариационных задач на тope. Перед тем как приступить к доказательству этих фактов, заметим, что гиперплоскость является плотной на торе $\mathrm{T}^{n+1}=\mathbb{R}^{n+1} / \mathbb{Z}^{n+1}$ тогда и только тогда, когда вектор $\alpha$ не рациональный, или, что равносильно, тогда и только тогда, когда С другой стороны, гиперплоскость (5.1) является подтором $\mathrm{T}^{n+1}$ тогда и только тогда, когда вектор $\alpha$ рациональный. То есть В этом случае $\mathbb{R}^{n} / \Gamma=\mathrm{T}^{n}(\Gamma)$ является тором и для всех $\gamma \in \Gamma$ Чтобы доказать, что гиперплоскость (5.1) плотна на торе $\mathrm{T}^{n+1}$, если выполняется (5.2), необходимо показать, что гиперплоскости являются плотными на $\mathbb{R}^{n+1}$, т. е. множество $\alpha \cdot j-j_{n+1}$ является плотным на $\mathbb{R}^{1}$. Т.к. $\alpha$ не рационально, то существует как минимум один иррациональный $\alpha_{ Итак, запишем, что $\alpha_{1}, \alpha_{2}, \ldots, \alpha_{n},-1$ рационально независимы тогда и только тогда, когда Этот случай мы обсудим в следующем параграфе. Ищем подторы с группой переносов Иначе говоря, мы требуем, чтобы Пусть $\Omega^{\prime}$ – фундаментальная область $\mathbb{R}^{n} / \Gamma^{\prime}$ и рассмотрим Теорема 5.1. Для заданного рационального вектора $\alpha \in \mathbb{R}^{n}$ и подгруппы $\Gamma^{\prime}$ в $\Gamma=\left\{\gamma \in \mathbb{R}^{n}, \alpha \cdot \gamma=\mathbb{Z}\right\}$, удовлетворяющих (5.4), существует элемент $\widehat{u}^{*} \in W^{1,2}\left(\mathbb{R}^{n} / \Gamma^{\prime}\right)$ такой, что $u^{*}=\alpha \cdot x+\widehat{u}^{*}$ минимизирует в классе и таких, что $u-\alpha \cdot x \in W^{1,2}\left(\mathbb{R}^{n} / \Gamma\right)$, при условии, что $F$ удовлетворяет (3.1). Кроме того, $u^{*} \in C^{2}\left(\mathbb{R}^{n}\right)$ удовлетворяет уравнению Эйлера. ДоКАЗаТЕЛЬСТво. поэтому $I_{\Omega^{\prime}}(u)$ ограничена снизу. Класс допустимых функций не является пустым, т.к. к нему принадлежит $u=\alpha \cdot x$. Теперь выберем минимизирующую последовательность так, что Из (5.7) получаем, что ограничен. Можно заменить $\widehat{u}$ на $\widehat{u}+k, k \in \mathbb{Z}$. Получим, что среднее значение По неравенству Пуанкаре получаем где $b$ обозначает диаметр $\Omega^{\prime}$. Отсюда Таким образом, ограничена. Для доказательства регулярности можно применить результаты гл. 6 в [15], предположив выполнение условий (3.1). Фактически, т. к. $\mathbb{R}^{m} / \Gamma^{\prime}$ является тором, можно забыть о гораздо более сложном доказательстве регулярности на границе и рассматривать только «внутреннюю регулярность». Давайте временно обозначим через $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$ минимальные периодические решения, соответствущие $\alpha, \Gamma^{\prime}$, которые минимизируют $I_{\Omega^{\prime}}$. Тогда: Теорема 5.2. Множество $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$ минимальных периодических решений $u(x)=\alpha \cdot x+\widehat{u}(x)$ является вполне упорядоченным, т. е. если $u, v \in \mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$, то для всех $x$ либо $u(x)<v(x)$, либо $u(x)>v(x)$, либо $и(x) \equiv v(x)$. Для $u, v \in \mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$ выполнено где $d$ обозначает минимум $I_{\Omega^{\prime}}(u)$ в этом классе функций. Положим где Следовательно, и, складывая, получаем Ввиду минимальности $d$ также $I_{\Omega^{\prime}}\left(w^{ \pm}\right) \geqslant d$, получим, что Используя доказательство леммы 4.2 , из $u \leqslant w^{+}$получаем, что либо $u<w^{+}$, либо $u \equiv w^{+}$. Во втором случае $v \leqslant u$, следовательно, либо $v<u$, либо $v \equiv u$, как и утверждалось. В первом случае $u<v$, что завершает доказательство теоремы. Следствие 5.3. Если $u \in \mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$, то оно не имеет самопересечений. Действительно, $\tau_{\bar{j}} u=u(x+j)-j_{n+1}$ также принадлежит $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$, следовательно, либо $\tau_{\bar{j}} u>u$, либо $<u$, либо $\equiv u$. Теорема 5.4. $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)=\mathscr{M}(\alpha, \Gamma)$, где $\Gamma \supset \Gamma^{\prime}$ максимальна. ДоКАЗаТЕЛЬСТВО. тоже принадлежит к $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$. Действительно, $\alpha \cdot \gamma$ – целое число, и $\gamma \in \mathbb{Z}^{n}$. Записав имеем $\widehat{v}(x)=\widehat{u}(x+\gamma)$, отсюда Следовательно, выражение $\widehat{v}-\widehat{u}=v-u$ должно иметь нули, и по теореме $5.2 v=u$ или доказывая, что $u \in \mathscr{M}(\alpha, \Gamma)$. Кроме того, $\min \left\{I_{\Omega^{\prime}}, \mathscr{M}\left(\alpha, \Gamma^{\prime}\right)\right\}=$ $=\frac{\left|\Omega^{\prime}\right|}{|\Omega|} \min \left\{I_{\Omega}, \mathscr{M}(\alpha, \Gamma)\right\}$, упрощая теорему 5.4. Следствие 5.5. $\mathscr{M}_{\mathrm{per}}(\alpha) \subset \mathscr{M}(\alpha)$. Пока что элементы $u$ в $\mathscr{M}_{\text {per }}(\alpha)$ характеризовались минимальностью относительно класса $u$, для которого $u-\alpha \cdot x$ имеет фиксированную периодическую решетку, и не вполне очевидно, что они являются минимальными решениями, по определению из параграфа 1. В этом смысл приведенного выше следствия. Отметим, однако, что вышеприведенное включение, в общем смысле, явлнется собственным, и $\mathscr{M}(\alpha)$ может включать $u$, для которой $u-\alpha \cdot x$ не является периодической. Для того чтобы доказать следствие, отметим, что по следствию 5.3 $u \in \mathscr{M}_{\text {per }}(\alpha)$ не имеет самопересечений, и т. к. $u-\alpha \cdot x$ – периодическая, $\alpha$ является вектором вращения для $u$. Остается показать, что для произвольного $\varphi \in W_{\text {comp }}^{1,2}$, где $B$ является шаром, $|x|<R$, содержащим supp $\varphi$. для большого целого числа $N$. Тогда, согласно теореме 5.4, функцию $u \in \mathscr{M}_{\text {per }}(\alpha)$ можно рассматривать как элемент $\mathscr{M}\left(\alpha, \Gamma^{\prime}\right)$, т. е. для всех $\psi \in W^{1,2}\left(\mathbb{R}^{n} / \Gamma^{\prime}\right)$ и $\Omega^{\prime}$ обозначает фундаментальную область $\mathbb{R}^{n} / \Gamma^{\prime}$. Возьмем $N$ настолько большое, что $\operatorname{supp} \varphi \subset B \subset \Omega^{\prime}$, тогда (5.9) вытекает из (5.10). После того как мы показали, что $\mathscr{M}(\alpha)$ не является пустым для рациональных $\alpha$ (т.к. оно содержит $\mathscr{M}_{\text {per }}(\alpha)$ ), несложно построить минимальные решения без самопересечений для произвольного $\alpha$. Теорема 5.6. При условиях (3.1) вариационная задача имеет минимальные решения без самопересечений для всех заданных $\alpha \in \mathbb{R}^{n}$, т.е. ДоКаЗатЕЛЬСтво. Для данного $\alpha \in \mathbb{R}^{n}$ положим $A=|\alpha|+1$ и возьмем последовательность рациональных $\alpha^{(s)} \in \mathbb{R}^{n}$ таких, что $\alpha^{(s)} \rightarrow \alpha$ при $s \rightarrow \infty$. Возьмем $u^{(s)} \in \mathscr{M}_{\mathrm{per}}\left(\alpha^{(s)}\right)$ такую, что $u^{(s)} \in \mathscr{M}_{A}$ для больших $s$. По следствию 3.3 $\mathscr{M}_{A} / \mathbb{Z}$ компактно, и существует подпоследовательность $u^{\left(s_{
|
1 |
Оглавление
|