Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике a) Рассмотрим вещественные функции $v(x)$ от $n$ переменных $x_{1}, \ldots, x_{n}$ класса $C^{\infty}$, имеющие период $2 \pi$ по каждой переменной. С помощью оператора Лапласа определим для таких функций набор скалярных произведений для $\rho=0,1, \ldots, r$. В этой формуле интегрирование ведется в пределах $0 \leqslant x_{ При $\rho>0$ выражение (1.1) не будет положительно определенным, так как при $v=$ const $\|v\|=(v, v)^{1 / 2}=0$. Однако выражение $(v, w)_{0}+$ $+(v, w)_{\rho}$ задает уже настоящее скалярное произведение, а выражение $\left(\|v\|_{0}^{2}+\|v\|_{\rho}^{2}\right)^{1 / 2}$ – невырожденную норму. В дальнейшем, там, где это не сможет привести к недоразумениям, мы будем называть $\|v\|_{\rho}$-нормами. Замыкание множества функций периода $2 \pi$ из класса $C^{\infty}$ по норме $\left(\|v\|_{0}^{2}+\|v\|_{\rho}^{2}\right)^{1 / 2}$ представляет собой гильбертово пространство, которое мы обозначим $V^{\rho}$ (пространство Соболева). С помощью разложения в ряд Фурье можно определить пространства $V^{\rho}$ и для нецелых значений $\rho$. А именно положим где $|k|^{2}=k_{1}^{2}+\ldots+k_{n}^{2}$. Замыкание множества тригонометрических полиномов по норме $\left(\|v\|_{0}^{2}+\|v\|_{\rho}^{2}\right)^{1 / 2}$ называется пространством $V^{\rho}$. При натуральных значениях $\rho$ это определение совпадает с предыдущим. Для данной функции $v \in V^{r}$ выражение $\log \|v\|_{\rho}=\varphi(\rho)$ является выпуклой функцией от $\rho$ в интервале $(0, r)$. Этот факт можно установить из следующих соображений. Формула (1.2) позволяет определить $\varphi$ как аналитическую функцию от $\rho$ при комплексных значениях $\rho$ в полосе $0 \leqslant \operatorname{Re} \rho \leqslant r$, причем Предположим теперь, что $\int v d x=0$. Из теоремы Адамара о трех прямых следует выпуклость $\varphi(\rho)$ при $0 \leqslant \rho \leqslant r$. Следовательно, где $\alpha, \beta>0$ и $\alpha+\beta=1$. Заметим также, что $V^{\rho} \supset V^{\rho^{\prime}}$ при $0 \leqslant \rho \leqslant \rho^{\prime}$. Неравенства (1.3) и (1.3′) получены в предположении $\int v d x=0$. Но если прибавить к $v$ константу, левые части этих неравенств останутся без изменения, а правые части не уменьшатся. Таким образом, мы видим, что неравенства (1.3) и (1.3′) справедливы для всех функций $v$. Лемма 1. Для любой функции $v \in V^{\rho}(0<\rho<r)$ и любого числа $Q>1$ существует функция $w \in V^{r}$ такая, что где $K=\|v\|_{\rho} u$ ДоКАЗаТЕЛЬСТво. где число $N$ будет выбрано ниже. Обозначив $v-w=z$, очевидно, имеем Так как функции $e^{i(k, x)}$ ортогональны относительно скалярного произведения $(v, w)_{\rho},{ }^{1}$ то $\|w\|_{\rho} \leqslant\|v\|_{\rho}$. Поэтому Выбрав $N=Q^{\frac{1}{r-\rho}}$, получим утверждение леммы. Обратно, имеет место то $v \in V^{\rho}$, если число $\rho$ удовлетворяет неравенству и, согласно $\left(1.3^{\prime}\right)$, Из условия (1.7) следует, что $q>0$. Следовательно, если мы положим $Q_{n}=2^{n} Q$ и обозначим соответствующие аппроксимирующие функции через $w_{n}$, мы получим Таким образом, последовательность $w_{n}$ сходится в метрике $V^{\rho}$ к пределу $w_{\infty}$. Если рассмотреть $w_{\infty}$ как элемент пространства $V^{0}$, то условие $\left\|v-w_{n}\right\|_{0} \leqslant K Q_{n}^{-\mu}$ показывает, что $v=\omega_{\infty}$. Таким образом, $v \in V^{\rho}$. где $c=3 \sum 2^{-n q}$. Используя неравенства $\left\|w_{0}\right\|_{r} \leqslant K Q_{0},\left\|\omega_{0}\right\|_{0} \leqslant$ $\leqslant\|v\|_{0}+K Q^{-\mu} \leqslant 2 K$, получим $\|v\|_{\rho} \leqslant\|w\|_{\rho}+Q_{0}^{-q} c K=K\left(2 Q_{0}^{\rho / r}+c Q_{0}^{-q}\right)$. Положив $Q_{0}=1$, получаем искомую оценку для $\|v\|_{\rho}$ с константой $c+2$. Доказанные леммы показывают, что функции из пространства $V^{\rho}$ могут быть охараптсризованы тсм, паспольюо хорошо они аппрогсимируются функциями из пространства $V^{r}$. Оценка для числа $\rho$, даваемая леммой 2 , является наилучшей возможной, как показывает следующий простой пример: Усеченные ряды Фурье этой функции приближают ее в смысле леммы 2 с $\mu=\frac{\sigma}{r-\sigma}$. Однако функция $v$ не принадлежит пространству $V^{\sigma}$, хотя и принадлежит любому $V^{\rho}$ при $\rho<\sigma$.
|
1 |
Оглавление
|