Главная > КАМ-ТЕОРИЯ И ПРОБЛЕМЫ УСТОЙЧИВОСТИ(Ю. Мозер)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

Рассмотрим два минимальных решения $u, v$ и изучим возможность их пересечения в $\mathbb{R}^{n}$, т.е. точки $x$, где $u(x)=v(x)$. Очевидно, если $\alpha(u)
eq \alpha(v)$, то по теореме $2.1 u-v$ меняет знак и $u, v$ пересекаются.
Теорема 4.1. Если $u, v \in \mathscr{M}$, тогда открытое множество
\[
\left\{x \in \mathbb{R}^{n}, u(x)<v(x)\right\}
\]

не имеет ограниченных компонент.
ДоКаЗаТЕЛЬСТВо.
Пусть $V$ такая ограниченная компонента. Тогда
\[
\bar{u}=\left\{\begin{array}{l}
v \text { в } V, \\
u \text { иначе, }
\end{array}\right.
\]

такая, что $\varphi=\bar{u}-u \in W^{1,2}, \operatorname{supp} \varphi \subset \bar{V}$. Следовательно,
\[
I_{V}(v)=I_{V}(u+\varphi) \geqslant I_{V}(u), \quad I_{V}(u)=I_{V}(v-\varphi) \geqslant I_{V}(v),
\]
т. е. $I_{V}(u)=I_{V}(v)=I_{V}(\bar{u})$. Таким образом, для любого открытого множества $W$, содержащего $\bar{V}$,
\[
I_{W}(\bar{u})=I_{W}(u),
\]
т.е. $\bar{u}$ также минималь. Как показывает следующая лемма, из того, что $u, \bar{u} \in \mathscr{M}, u \leqslant \bar{u}$ следует, что либо $u=\bar{u}$, либо $u<\bar{u}$ в $\mathbb{R}^{n}$. Следовательно, $u<\bar{u}$ в $\mathbb{R}^{n}$ и $V=\mathbb{R}^{n}$, что противоречит ограниченности $V$.

Лемма 4.2. Если $u, v \in \mathscr{M}, u \leqslant v$, то либо $u \equiv v$, либо $u<v$. ДоКаЗаТЕЛЬСтво.

Доказательство следует из сильного принципа максимума для эллиптических дифференциальных уравнений в частных производных.

Положим
\[
w(x)=v(x)-u(x) \geqslant 0
\]

и допустим, что в некоторой точке $x^{*}$ имеем $w\left(x^{*}\right)=0$. Тогда $w$ имеет абсолютный минимум. $w$ является решением эллиптического дифференциального уравнения в частных производных
\[
\begin{aligned}
\sum_{
u=1}^{n} \frac{\partial}{\partial x_{
u}}\left(F_{p_{
u}}\left(x, u+w, u_{x}+w_{x}\right)-F_{p_{
u}}\left(x, u, u_{x}\right)\right)- \\
-\left(F_{u}\left(x, u+w, u_{x}+w_{x}\right)-F_{u}\left(x, u, u_{x}\right)\right)= \\
=\sum_{
u, \mu=1}^{n} a_{
u \mu} w_{x_{
u} x_{\mu}}+\sum_{
u=1}^{n} b_{
u} w_{x_{
u}}+c w=0
\end{aligned}
\]

с непрерывными коэффициентами. Из принципа максимума (см. приложение к $\S 4$ ) следует, что $w \equiv 0$. Поэтому либо $w>0$, либо $w \equiv 0$.

Есть более сильный результат, показывающий, что для двух минималей, которые не пересекаются в $\mathbb{R}^{n}$, разность $|u(x)-v(x)|$ имеет одну и ту же величину для всех $x$, если $x$ остается в ограниченной области, например $3 Q$.

Теорема 4.3. Если $u, v \in \mathscr{M}_{A} u и<v$ в $4 Q$, тогда существует положительная константа $\gamma$, зависящая только от $c, \delta$ и , такая, что
\[
v(x)-u(x) \leqslant \gamma(v(y)-u(y)) \quad \text { для всех } \quad x, y \in 3 Q .
\]

Из этого следует, что
\[
\begin{array}{l}
\sup _{3 Q}(v(x)-u(x))=\Delta_{+}<\infty, \quad \inf _{3 Q}(v(x)-u(x))=\Delta_{-}>0 \\
u \Delta_{+} \leqslant \gamma \Delta_{-} .
\end{array}
\]

ДоКАЗАТЕЛЬСТВо.
Доказательство следует из неравенства Харнака в том виде, в котором оно впервые было доказано Н. Трудингером [26]. Позднее Е. Ди Бенедетто и Н.Трудингер [5] доказали такое неравенство Харнака для функций из класса Де Джорджи. Хотя можно обойтись без этого глубокого результата, здесь его удобно использовать.

Для этого зафиксируем $u \in \mathscr{M}$, рассмотрим $v$ как переменную и положим $w=v-u>0$. Очевидно, что $w$ является минимальным решением для
\[
\int F\left(x, u+w, u_{x}+w_{x}\right) d x .
\]

Заменим эту вариационную задачу другой:
\[
\int G\left(x, w, w_{x}\right) d x
\]

для которой $w$ снова является минимальным решением. Для этого пусть
\[
\begin{aligned}
G\left(x, w, w_{x}\right) & =F\left(x, u+w, u_{x}+w_{x}\right)-F\left(x, u, u_{x}\right)- \\
& -\sum_{
u=1}^{n} \frac{\partial}{\partial x_{
u}}\left(F_{p_{
u}}\left(x, u, u_{x}\right) w\right) .
\end{aligned}
\]

Тогда
\[
J_{V}(w)=\int G\left(x, w, w_{x}\right)=I_{V}(u+w)-I_{V}(u)+R(w),
\]

где $R(w)$ зависит только от граничных значений $w$, и, следовательно, не влияет на свойство минимальности $w$. Итак, если $w$ минималь задачи (4.1), то то же самое верно для (4.2) и наоборот.
Так как $u$ удовлетворяет уравнениям Эйлера, из (4.3) находим
\[
\begin{aligned}
G\left(x, w, w_{x}\right)= & F\left(x, u+w, u_{x}+w_{x}\right)-F\left(x, u, u_{x}\right)- \\
& -\sum_{
u=1}^{n} F_{p_{
u}}\left(x, u, u_{x}\right) w_{x_{
u}}-F_{u}\left(x, u, u_{x}\right) w= \\
= & \int_{0}^{1}(1-t)\left(\frac{d}{d t}\right)^{2} F\left(x, u+t w, u_{x}+t w_{x}\right) d t= \\
= & \sum_{
u, \mu=1}^{n} a_{
u \mu}(x) w_{x_{
u}} w_{x_{\mu}}+2 \sum_{
u=1}^{n} b_{
u} w_{x_{
u}} w+c w^{2}
\end{aligned}
\]

где
\[
\begin{aligned}
a_{
u \mu}(x) & =\int_{0}^{1}(1-t) F_{p_{
u} p_{\mu}}\left(x, u+t w, u_{x}+t w_{x}\right) d t \\
b_{
u}(x) & =\int_{0}^{1}(1-t) F_{p_{
u} u}\left(x, u+t w, u_{x}+t w_{x}\right) d t \\
c(x) & =\int_{0}^{1}(1-t) F_{u u}\left(x, u+t w, u_{x}+t w_{x}\right) d t .
\end{aligned}
\]

Из предположения (3.1) iii) и теоремы (3.1) получим
\[
\frac{1}{4} \delta\left|w_{x}\right|^{2}-\gamma_{1} w^{2} \leqslant G\left(x, w, w_{x}\right) \leqslant \delta^{-1}\left|w_{x}\right|^{2}+\gamma_{1} w^{2}
\]

с некоторой положительной константой $\gamma_{1}$, зависящей только от $c, \delta, A$. Вновь следуя идеям Джиквинты и Джиусти, видим, что любая минималь $w$ задачи (4.2), где $G$ удовлетворяет (4.4), также, как и $-w$ удовлетворяет неравенствам
\[
\int_{A_{y}(k, \rho)} w_{x}^{2} \leqslant \gamma_{2}\left\{\frac{1}{(r-\rho)^{2}} \int_{A_{y}(k, r)}(w-k)^{2} d x+k^{2}\left|A_{y}(k, r)\right|\right\}
\]

для всех вещественных $k$ и для всех $0<\rho<r$, где снова
\[
A_{j}(k, r)=\left\{x \in \mathbb{R}^{n},|x-y|<r, w(x)>k\right\} .
\]

Константа $\gamma_{2}$ зависит только от $c, \delta, A$.
Предположение теоремы Ди Бенедетто и Трудингера заключается в том, что функция $w \in W_{\mathrm{loc}}^{1,2}(\Omega), w \geqslant 0$ в $\Omega$ и $\pm w$ удовлетворяют
\[
\int_{A_{y}(k, \rho)} w_{x}^{2} d x \leqslant \gamma_{3}\left\{\frac{1}{(r-\rho)^{2}} \int_{A_{y}(k, r)}(w-k)^{2} d x+\left(\frac{k}{r}\right)^{2}\left|A_{y}(k, r)\right|\right\}
\]

для всех вещественных $k, 0<\rho<r$ и для всех областей $A_{y}(k, r)$, для которых $B_{y}(r)$ принадлежит $\Omega$. Различие относительно (4.5) состоит в замене $k^{2}$ на $(k / r)^{2}$. Следовательно, если рассматривать только ограниченную область, скажем $\Omega=4 Q$, то радиус $r$ шаров $B_{y}(r)$, принадлежащих $\Omega$, ограничен. Например, здесь он ограничен величиной, равной 2 , и (4.6) следует из (4.5) при $\gamma_{3}=4 \gamma_{2}$.

Теорема Ди Бенедетто и Трудингера утверждает, что любая функция $w \in W_{\text {loc }}^{1,2}(4 Q), w \geqslant 0$ в $4 Q$, для которой выполняется (4.6), в компактной подобласти (например, в $3 Q$ ) удовлетворяет неравенству
\[
w(x) \leqslant \gamma_{4} w(y) \quad \text { для } \quad x, y \in 3 Q
\]

с константой $\gamma_{4}$, зависящей только от $\gamma_{3}$, т. е. только от $c, \delta, A$. Tеорема 4.3 доказана.

Следствие 4.4. Если $u \in \mathscr{M}_{A}$, пусть $\tau_{
u}: S_{x} \rightarrow S_{x}$ будут отображениями
\[
\tau_{
u}: u(x+j)-j_{n+1} \rightarrow u\left(x+j+e_{
u}\right)-j_{n+1},
\]

определенным во втором параграфе. Тогда $\tau_{
u}$ является непрерывной по Липшицу и удовлетворяет
\[
\left|\tau_{
u}\left(s_{2}\right)-\tau_{
u}\left(s_{1}\right)\right| \leqslant \gamma\left|s_{2}-s_{1}\right|, \quad
u=1,2, \ldots, n,
\]

где $\gamma$ является константой из теоремы 4.3.
Это непосредственно следует из теоремы 4.3.
Таким образом, $\tau_{
u}$ можно равномерно продолжить на замыкание $S_{x}$ как непрерывные по Липшицу отображения, и эти продолжения попрежнему попарно коммутируют.

В заключение этого параграфа рассмотрим еще одну оценку, которая выражает непрерывность слоения по Липшицу и будет построена в шестом параграфе. Для этого допустим, что третьи производные $F$ являются непрерывными по Гельдеру, т.е. (3.1) выполняется с $l \geqslant 3$.

Теорема 4.5. Если $u, v \in \mathscr{M}_{A} u u<v$ в шаре $B$, то существует константа $\gamma$, зависящая только от $c, \delta$ и $A$ такая, что
\[
\left|v_{x}(x)-u_{x}(x)\right| \leqslant \gamma(v(x)-u(x)) \quad \text { для } \quad x \in \frac{1}{2} B .
\]

ДоКаЗаТЕЛЬСтво.
По теореме (3.1) в $\mathbb{R}^{n}$ выполнено
\[
|u|_{C^{1, \varepsilon}},|v|_{C^{1, \varepsilon}} \leqslant \gamma_{1},
\]

и по общему результату $u \in C^{l, \varepsilon}$, т. к. $F \in C^{l, \varepsilon}$ и
\[
|u|_{C^{2, \varepsilon}},|v|_{C^{2, \varepsilon}} \leqslant \gamma_{2},
\]

см., например [15], стр. 336.
Так как $u, v>u$ удовлетворяет уравнениям Эйлера
\[
\begin{array}{l}
\sum_{
u=1}^{n} \frac{\partial}{\partial x_{
u}} F_{p_{
u}}\left(x, u, u_{x}\right)-F_{u}\left(x, u, u_{x}\right)=0 \\
\sum_{
u=1}^{n} \frac{\partial}{\partial x_{
u}} F_{p_{
u}}\left(x, v, v_{x}\right)-F_{u}\left(x, v, v_{x}\right)=0,
\end{array}
\]

то, вычитая, получим дифференциальное уравнение в частных производных для $w=v-u>0$ :
\[
\sum_{
u=1}^{n} \frac{\partial}{\partial x_{
u}}\left(\sum_{\mu=1}^{n} a_{
u \mu} w_{x_{\mu}}+b_{
u} w\right)-\sum_{
u=1}^{n} b_{
u} w_{x_{
u}}-c w=0
\]

где
\[
\begin{aligned}
a_{
u \mu} & =\int_{0}^{1} F_{p_{
u} p_{\mu}}\left(x,(1-t) u+t v,(1-t) u_{x}+t v_{x}\right) d t \\
b_{
u} & =\int_{0}^{1} F_{p_{
u} u}(\ldots) d t \\
c & =\int_{0}^{1} F_{u u}(\ldots) d t
\end{aligned}
\]

где аргументы такие же, как и в первой строке.
По нашим предположениям эти коэффициенты $a_{
u \mu}, b_{
u}, c$ принадлежат $C^{1, \varepsilon}(B)$ и
\[
\left|a_{
u / 1}\right|_{C^{1, \varepsilon}(B)}, \quad\left|b_{
u}\right|_{C^{1, \varepsilon}(B)}, \quad|c|_{C^{1, \varepsilon}(B)} \leqslant \gamma_{3}
\]

с некоторой постоянной $\gamma_{3}$, зависящей только от $c, \delta$ и $A$. Поэтому (4.8) можно явно записать в виде
\[
\sum_{
u, \mu=1}^{n} a_{
u \mu} w_{x_{
u} x_{\mu}}+\sum_{
u=1}^{n} B_{
u} w_{x_{
u}}+C w=0
\]

с непрерывными по Гельдеру коэффициентами, $\varepsilon$-Гельдер-норму которых можно оценить с помощью $\gamma_{3}$. Так как уравнение является равномерно эллиптическим и квадратичная форма удовлетворяет $\sum_{
u, \mu=1}^{n} a_{
u \mu} \xi_{
u} \xi_{\mu} \geqslant \delta|\xi|^{2}$, из оценки Шаудера (Shauder) (Гильбарг-Tрудингер [12], стр. 85) получим
\[
\left|w_{x}(x)\right| \leqslant \gamma_{4} \max _{x \in B} w \quad \text { для } \quad x \in \frac{1}{2} B .
\]

Используя теорему (4.3), находим, что
\[
\left|w_{x}(x)\right| \leqslant \gamma \cdot \gamma_{4} w(x) \quad \text { для } \quad x \in \frac{1}{2} B,
\]

и это доказывает теорему.

В случае слоения минимальных поверхностей это доказательство было использовано Б. Соломоном [25] (B. Solomon). Очевидно, наличие слоения не является существенным, а эта оценка нужна нам для произвольных пар минималей. К тому же, достаточно потребовать чтобы $u, v$ были минимальными решениями только в $B$.

Categories

1
Оглавление
email@scask.ru