Робастные нелокальные теоремы о следе и продолжении

Основная информация

• ID статьи: 2305.05735
• Название: Robust nonlocal trace and extension theorems
• Авторы: Florian Grube, Moritz Kassmann (Universität Bielefeld)
• Классификация: math.AP (Analysis of PDEs)
• Время публикации: май 2023 (v1), июнь 2023 (v2)
• Ссылка на статью: https://arxiv.org/abs/2305.05735

Аннотация

В данной работе доказаны теоремы о следе и продолжении для пространств функций типа Соболева, применимые к нелокальным задачам Дирихле и Неймана (включая дробный $p$-лапласиан). Эти результаты являются робастными относительно порядка дифференцируемости, что согласуется с классическими теоремами о следе и продолжении.

Исследовательский контекст и мотивация

Основная проблема

Работа посвящена исследованию нелинейных нелокальных уравнений на ограниченных областях, например: $(-\Delta)_p^s u = f \text{ в } \Omega, \quad u = g \text{ в } \mathbb{R}^d \setminus \Omega$

где дробный $p$-лапласиан определяется как: $(-\Delta)_p^s u(x) = (1-s) \text{p.v.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{d+sp}} dy$

Значимость исследования

1. Существенные особенности нелокальных операторов: Из-за нелокальности оператора задача (1.1) требует задания значений $u(x)$ в $\mathbb{R}^d \setminus \Omega$ для корректной постановки
2. Ограничения традиционных методов: Классическое предположение $g \in W^{s,p}(\mathbb{R}^d)$ накладывает неестественные ограничения, поскольку задача (1.1) не требует никакой регулярности $g$ в $\mathbb{R}^d \setminus \Omega$, а только некоторую взвешенную интегрируемость
3. Отсутствие непрерывности: Существующая теория не обладает непрерывностью при $s \to 1^-$, что не позволяет восстановить классическую локальную теорию

Ограничения существующих подходов

• Однородная задача ($g=0$) относительно проста и хорошо изучена
• Обработка ненулевых данных $g$ обычно предполагает регулярность $g$ на всём пространстве $\mathbb{R}^d$, такую как $g \in W^{s,p}(\mathbb{R}^d)$
• Компромиссные варианты, такие как $g \in W^{s,p}(\Omega_\epsilon) \cap L^p(\mathbb{R}^d; (1+|x|)^{-d-sp}dx)$, остаются неестественными
• При $s \to 1^-$ невозможно восстановить классическое пространство следов $W^{1-1/p,p}(\partial\Omega)$

Исследовательская мотивация

Построить пространство следов $T^{s,p}(\Omega^c)$, применимое к нелокальным вариационным методам, такое что:

1. Естественным образом характеризует регулярность внешних данных $g$
2. Является робастным относительно параметра $s$
3. При $s \to 1^-$ восстанавливает классические теоремы о следе и продолжении

Основные вклады

1. Введение нового пространства следов: Определено пространство функций $T^{s,p}(\Omega^c)$ (определённое на $\Omega^c$) с мерой $\mu_s(dx) := 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$ где $d_x := \text{dist}(x, \partial\Omega)$
2. Доказательство робастной теоремы о следе (теорема 1.2, $p>1$): Оператор следа $\text{Tr}_s: V^{s,p}(\Omega|\mathbb{R}^d) \to T^{s,p}(\Omega^c)$ является непрерывным линейным, и существует непрерывный линейный правый обратный (оператор продолжения) $\text{Ext}_s: T^{s,p}(\Omega^c) \to V^{s,p}(\Omega|\mathbb{R}^d)$, константы непрерывности зависят только от $\Omega$, нижней границы $s$ и верхней/нижней границ $p$
3. Расширение на случай $p=1$ (теорема 1.3): Доказано, что оператор следа $\text{Tr}_s: V^{s,1}(\Omega|\mathbb{R}^d) \to L^1(\Omega^c; \mu_s)$ непрерывен, и существует непрерывный линейный правый обратный $\text{Ext}_s: T^{s,1}(\Omega^c) \to V^{s,1}(\Omega|\mathbb{R}^d)$
4. Теорема о предельном поведении (теорема 1.4): Доказано, что при $s \to 1^-$:
   • $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \to \|\gamma u\|_{L^p(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \to [\gamma u]_{W^{1-1/p,p}(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • Восстанавливаются классическое пространство следов и пространство Бесова
5. Применение к задаче Дирихле (следствие 1.7): Используя новую теорию следов и продолжений, доказана корректность и получены оценки энергии для задачи (1.1)

Подробное описание методов

Определение задачи

Исследуется отображение из энергетического пространства $V^{s,p}(\Omega|\mathbb{R}^d)$ в пространство следов на внешней области $\Omega^c$: $V^{s,p}(\Omega|\mathbb{R}^d) := \{u: \mathbb{R}^d \to \mathbb{R} \text{ измеримо} \mid [u]_{V^{s,p}(\Omega|\mathbb{R}^d)} < \infty\}$ где полунорма определяется как: $[u]_{V^{s,p}(A|B)}^p := (1-s) \iint_{A \times B} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dx dy$

Конструкция пространства следов

Ключевое нововведение: конструкция меры $\mu_s$$\mu_s(dx) = 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$

Эта мера обладает следующими свойствами:

1. Поведение вблизи границы: Множитель $(1-s)d_x^{-s}$ гарантирует, что при $s \to 1^-$ мера $\mu_s$ слабо сходится к мере Хаусдорфа на границе $\partial\Omega$
2. Убывание на бесконечности: Множитель $(1+d_x)^{-d-s(p-1)}$ обеспечивает надлежащее убывание на бесконечности
3. Робастность параметров: Выбор коэффициента $(1-s)$ делает масштабирование меры при $s \to 1^-$ естественным

Определение пространства следов $T^{s,p}(\Omega^c)$ (формула 1.6): $T^{s,p}(\Omega^c) := \{g: \Omega^c \to \mathbb{R} \text{ измеримо} \mid \|g\|_{T^{s,p}(\Omega^c)} < \infty\}$ норма определяется как: $\|g\|_{T^{s,p}(\Omega^c)}^p := \|g\|_{L^p(\Omega^c;\mu_s)}^p + [g]_{T^{s,p}(\Omega^c)}^p$

Полунорма определяется (для $p>1$) как: $[f,g]_{T^{s,p}(\Omega^c)}^p := \iint_{\Omega^c \times \Omega^c} \frac{|f(x)-f(y)|^{p-2}(f(x)-f(y))(g(x)-g(y))}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \mu_s(dx)\mu_s(dy)$

Ключевые идеи конструкции:

• Множитель $(|x-y|+d_x+d_y) \wedge 1$ в знаменателе вблизи границы становится $(|x-y|) \wedge 1$, восстанавливая классическую структуру полунормы Слободецкого
• Вес меры $\mu_s$ компенсирует изменение размерности пространства (от $d$ к $(d-1)$ на границе)

Стратегия доказательства теоремы о следе

Раздел 3: Доказательство вложения следа

Доказательство разбивается на две части:

1. Предложение 3.9: Вложение части $L^p$$\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$
2. Предложение 3.10: Вложение полунормы $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$

Ключевые технические инструменты:

(a) Приближённое неравенство следа (теорема 3.5): Для $u \in W^{s,p}(\Omega)$ доказано $\int_{\Omega} |u(x)|^p \tau_s(dx) + \int_{\Omega} \int_{\Omega} \frac{|u(x)-u(y)|^p}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \tau_s(dy)\tau_s(dx) \leq C \|u\|_{W^{s,p}(\Omega)}^p$

где $\tau_s(dx) = (1-s)d_x^{-s}1_{\Omega}(x)dx$

Метод доказательства:

• Использование теории интерполяции потенциалов Бесселя
• Определение $\alpha_0 := s(1+p)/(2p)$, $\alpha_1 := 1 + s/(2p)$
• Доказательство непрерывности для $H^{\alpha_i,p}(\mathbb{R}^d)$ (лемма 3.4)
• Применение вещественной интерполяции $[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$

(b) Неравенство типа Харди (теорема 3.6, случай $p=1$): $(1-s) \int_{\Omega} \frac{|u(x)|}{d_x^s} dx \leq C\left(\|u\|_{L^1(\Omega)} + s(1-s) \int_{\Omega \times \Omega} \frac{|u(x)-u(y)|}{|x-y|^{d+s}} d(x,y)\right)$

Стратегия доказательства:

• Использование локальной липшицевости границы
• Применение оптимального неравенства Харди на полупространстве (теорема B.1)
• Обработка глобального случая через разбиение единицы

(c) Технические леммы о функции расстояния:

• Лемма 3.7: Преобразование $d_x^{-s}$ в интеграл по $\Omega$
• Лемма 3.8: Использование условия равномерного внутреннего конуса для установления нижних оценок

Доказательство предложения 3.9 ($L^p$ часть):

1. Разложение $\Omega^c = \Omega_1^{\text{ext}} \cup \Omega^{\text{ext}}_1$
2. На $\Omega_1^{\text{ext}}$: использование лемм 3.8 и теорем 3.5/3.6
3. На $\Omega^{\text{ext}}_1$: прямая оценка с использованием нижних границ функции расстояния

Доказательство предложения 3.10 (полунорма, $p>1$):

1. Разложение интеграла: $\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$, $\Omega^c \times \Omega^\rho_{\text{ext}}$, $\Omega^\rho_{\text{ext}} \times \Omega^c$
2. Дальняя часть ($\Omega^\rho_{\text{ext}}$): использование предложения 3.9 и нижних границ расстояния
3. Ближняя часть ($\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$):
   • Использование леммы 3.8 дважды с введением промежуточных переменных интегрирования $z,w \in \Omega$
   • Применение теоремы 3.5 для оценки интеграла по $\Omega \times \Omega$
   • Ключевой момент: тонкая оценка ядра функции $a(z,w)$ (формула 3.19)

Стратегия доказательства теоремы о продолжении

Раздел 4: Конструкция оператора продолжения

Основная идея: Взвешенное среднее продолжение на основе разложения Уитни

(a) Разложение Уитни:

• Диадическое разложение Уитни области $\Omega$ на $\mathcal{W}(\Omega)$
• Каждый куб $Q$ удовлетворяет: $\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• Определение $\mathcal{W}_{\leq\kappa}(\Omega)$ как кубов с длиной стороны $\leq 2^\kappa$, где $\kappa := \lfloor\log_2(\rho/\sqrt{d})\rfloor$, $\rho := \text{inr}(\Omega)/2 \wedge 1/2$

(b) Разбиение единицы: Конструкция гладкого разбиения единицы $\{\phi_Q\}_{Q \in \mathcal{W}(\Omega)}$, удовлетворяющего $\sum_Q \phi_Q = 1_\Omega$

(c) Мера $\tilde{\mu}_s$: Определение упрощённой меры (без убывания на бесконечности): $\tilde{\mu}_s(dz) = 1_{\Omega^c}(z)\frac{1-s}{d_z^s} dz$ и нормирующей константы: $a_{Q,s} := \left(\tilde{\mu}_s(B_{6l_Q}(q_Q))\right)^{-1}$

Лемма 4.1 доказывает: $C^{-1}l_Q^{s-d} \leq a_{Q,s} \leq C l_Q^{s-d}$

(d) Определение оператора продолжения (формула 4.11):