Robust nonlocal trace and extension theorems

基本信息

• 论文ID: 2305.05735
• 标题: Robust nonlocal trace and extension theorems
• 作者: Florian Grube, Moritz Kassmann (Universität Bielefeld)
• 分类: math.AP (Analysis of PDEs)
• 发表时间: 2023年5月 (v1), 2023年6月 (v2)
• 论文链接: https://arxiv.org/abs/2305.05735

摘要

本文证明了适用于非局部Dirichlet和Neumann问题（包括分数阶p-Laplacian）的Sobolev型函数空间的迹定理和延拓定理。这些结果关于可微阶数是鲁棒的，在这个意义上与经典的迹定理和延拓定理保持一致。

研究背景与动机

核心问题

本文研究有界区域上的非线性非局部方程，例如： $(-\Delta)_p^s u = f \text{ in } \Omega, \quad u = g \text{ in } \mathbb{R}^d \setminus \Omega$

其中分数阶p-Laplacian定义为： $(-\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)需要在$\mathbb{R}^d \setminus \Omega$上指定值$u(x)$才能适定
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)$）
   • 恢复经典的迹空间和Besov空间
5. 应用到Dirichlet问题（推论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$上的Hausdorff测度
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$，恢复经典的Slobodeckij半范数结构
• 测度$\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$

证明方法：

• 利用Bessel势空间的插值理论
• 定义$\alpha_0 := s(1+p)/(2p)$，$\alpha_1 := 1 + s/(2p)$
• 证明对$H^{\alpha_i,p}(\mathbb{R}^d)$（$i=0,1$）的连续性（引理3.4）
• 通过实插值$[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$得到结果

(b) Hardy型不等式（定理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)$

证明策略：

• 利用边界的局部Lipschitz性质
• 应用半空间上的最优Hardy不等式（定理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节：延拓算子的构造

核心思想：基于Whitney分解的加权平均延拓

(a) Whitney分解：

• 对$\Omega$进行dyadic Whitney分解$\mathcal{W}(\Omega)$
• 每个cube $Q$满足：$\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• 定义$\mathcal{W}_{\leq\kappa}(\Omega)$为边长$\leq 2^\kappa$的cubes，其中$\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）：