RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция по функциональным пространствам и теории приближения функций, посвященная 110-летию со дня рождения академика С. М. Никольского
28 мая 2015 г. 11:40, Пленарные доклады, г. Москва, МИАН
 


Тонкие свойства функций из пространств Хайлаша–Cоболева $W^p_{\alpha}$, $p>0$

В. Г. Кротов, С. А. Бондарев

Белорусский государственный университет
Видеозаписи:
MP4 1,102.7 Mb
MP4 279.8 Mb
Материалы:
Adobe PDF 251.7 Kb

Количество просмотров:
Эта страница:413
Видеофайлы:206
Материалы:80

В. Г. Кротов, С. А. Бондарев
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: Пусть $(X,d,\mu)$ — метрическое пространство с метрикой $d$ и регулярной борелевской мерой $\mu$ и, причем меры шаров $B(x,r)=\{y\in X:d(x,y)<r\}$ положительны и конечны. Мы предполагаем выполненным условие удвоения с показателем $\gamma>0$, то есть
$$ \mu(B(x,R))\lesssim (\dfrac{R}{r})^{\gamma}\mu(B(x,r)),\quad 0<r<R,\quad x\in X $$
(запись $A\lesssim B$ всегда будет означать, что $A\le cB$, где $c$ — некоторые положительные постоянные, зависящие, возможно, от несущественных параметров), $\gamma$ выполняет роль размерности $X$.
Определим классы Хайлаша–Соболева $W^p_{\alpha}$ при $p>0$, $\alpha>0$, как
$$ W^{\alpha}_p (X) = \{f \in L^p : D^\alpha(f)\cap L^p(X) \neq \varnothing\}, $$

$$ \|f\|_{W^p_{\alpha}} = (\|f\|_{L^p}^p + \inf_{g\in D_{\alpha}(f)}\|g\|_{L^p}^p )^{1/p}, $$

$$ D_{\alpha}(f) = \{g : |f(x) - f(y)| \le d^{\alpha}(x,y) [g(x) + g(y)], g \textrm{ измерима}\}. $$
Введем $s$–вместимость и размерность Хаусдорфа
$$ H^s_\infty (E) = \inf\{\sum_{i=1}^{\infty}r_i^s : E\subset \bigcup_{i=1}^\infty B(x_i,r_i)\} $$

$$ \mathrm{dim}_\mathbb{H} (E) = \inf\{s : H^s_\infty (E) = 0\}. $$

Определим емкости, соответствующие классам $W^p_\alpha$
$$ \mathrm{Cap}_{\alpha,p}(E)= \inf\{\|f\|^{p}_{W_\alpha^p(X)}:f\ge 1 в окрестности E\subset X\}, $$
и стандартно введем классы Гельдера: если $E\subset X$, то
$$ H^\beta (E) = \{\phi:\sup_{x\neq y, x,y\in E} [d(x,y)]^{-\beta} |\phi (x)-\phi (y)| < +\infty\}. $$

Для функции $f\in L^p_{\mathrm{loc}}(X)$, $p>0$ и шара $B\subset X$ положим
\begin{equation}\label{N377:eqA} A_{p}(f,B) = \inf_{I} (\frac{1}{\mu(B)}\int\limits_B |f(y)-I|^p d\mu(y))^{1/p}. \end{equation}
Легко видеть, что существует число $I^{(p)}_B f$, для которого достигается точная нижняя грань в \eqref{N377:eqA}.
Теорема 1. Пусть $\alpha > 0$, $0 < p<\gamma/\alpha$ и $f\in W^p_{\alpha}(X)$. Тогда существует такое множество $E\subset X$ такое, что для любого $x\in X\setminus E$ существует предел
$$ \lim_{r\to +0} I^{(p)}_{B(x,r)}f = f^\ast(x) $$
и
$$ \lim_{r\to +0} \frac{1}{\mu(B(x,r))}\int_{B(x,r)} |f-f^\ast(x)|^q d\mu = 0, \; \frac{1}{q} = \frac{1}{p} - \frac{\alpha}{\gamma}. $$
При этом справедливы оценки
1) $\mathrm{dim}_\mathbb{H}(E) \le \gamma - \alpha p$ при $\alpha>0$,
2) $\mathrm{Cap}_{\alpha,p}(E)=0$ при $0<\alpha\le 1$.
Теорема 2. При условиях теоремы 1 для $0<\beta<\alpha$ существует такое множество $E\subset X$, что $H^{\gamma - (\alpha-\beta)p}_{\infty}(E) = 0$ (в частности $\mathrm{dim}_\mathbb{H}{E} \le \gamma - (\alpha - \beta)p$) и при $x\in X\setminus E$
$$ \lim_{r\to +0} r^{-\beta}\frac{1}{\mu(B(x,r))}\int_{B(x,r)} |f-f(x)|^q d\mu = 0, \quad \frac{1}{q} = \frac{1}{p} - \frac{\alpha}{\gamma}. $$

Теоремы 1 и 2 получены нами при участии М. А. Прохоровича.
Ранее были известны случаи $p>1$ [1] и $p=\alpha=1$ [2] теоремы 1, а результат теоремы 2 известен при $p>1$ [3]. Однако, в этих уже исследованных случаях на месте $I^{(p)}_{B}f$ использовались интегральные средние
$$ f_B=\dfrac{1}{\mu(B)}\int_Bf d\mu. $$
В случае $p\ge\dfrac{\gamma}{\gamma+\alpha}$ (тогда $q\ge 1$) в теоремах 1 и 2 можно заменить $I^{(p)}_{B(x,r)}f$ на средние $f_B$.
Теорема 3. Пусть $0<\beta\le \alpha \le 1$, $0<p<\gamma/\alpha$, $f\in W^p_\alpha(X)$. Тогда для любого $\varepsilon > 0$ существуют функция $f_\varepsilon$ и открытое множество $O\subset X$ такие, что
1) $\mathrm{Cap}_{\alpha - \beta,p} (O) < \varepsilon$, $H_\infty^{\gamma-(\alpha-\beta)p} (O) < \varepsilon$,
2) $f = f_\varepsilon$ на $X\setminus O$,
3) $f_\varepsilon \in W^p_\alpha(X)$ и $f_\varepsilon \in H^\beta(B)$ для любого шара $B\subset X$,
4) $\|f-f_\varepsilon\|_{W^p_\alpha} < \varepsilon$.
При $p>1$ и $p=\alpha=1$ это утверждение было известно ранее, см. [4] и ссылки в этой работе, а также [2].
Доказательства теорем 1–3 основаны на методах работы [5].
Во время подготовки публикации появилась работа [6], в которой другими методами получена наша теорема 3 (без утверждения о емкостях $\mathrm{Cap}_{\alpha,p}$), а также ее аналог для более широких шкал классов Бесова и Трибеля–Лизоркина.

Материалы: abstract.pdf (251.7 Kb)

Список литературы
  1. Прохорович М.А., “Емкости и точки Лебега для классов Соболева”, Вести НАН Беларуси, сер. физ.-мат.наук, 2006, № 1, 19–23  mathscinet
  2. Kinnunen J., Tuominen H., “Pointwise behaviour of $M^{1,1}$ Sobolev functions”, Math. Z., 257:3 (2007), 613–630  crossref  mathscinet  zmath  isi  scopus
  3. Кротов В.Г., Прохорович М.А., “Скорость сходимости средних Стеклова на метрических пространствах с мерой и размерность Хаусдорфа”, Матем. заметки, 89:1 (2011), 145–148  mathnet  crossref  mathscinet  zmath
  4. Кротов В.Г., Прохорович М.А., “Аппроксимация Лузина функций из классов $W^p_\alpha$ на метрических пространствах с мерой”, Изв. вузов. Матем., 2008, № 5, 55–66  mathnet  mathscinet  zmath
  5. Кротов В.Г., Порабкович А.И., “Оценки $L^p$-осцилляций функций при $p>0$”, Матем. заметки, 97:3 (2015), 407–420  mathnet  crossref
  6. Heikkinen T., Tuominen H., Approximation by Hölder functions in Besov and Triebel–Lizorkin spaces, 2015, arXiv: 1504.02585


ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017