[论文解读] Function spaces and extension results for nonlocal Dirichlet problems

Moritz Kaßmann, Bartłomiej Dyda|arXiv (Cornell University)|Dec 6, 2016

Advanced Mathematical Modeling in Engineering被引用 4

一句话总结

本文引入了一种新的函数空间，记为非局部迹空间，用于表征涉及积分微分算子的非局部Dirichlet问题的边界数据。文章建立了定义在区域补集上的函数的延拓与迹定理，证明了从迹空间到解空间 $ V^s(\bar{\Omega}|\mathbb{R}^d) $ 存在一个有界延拓算子，其算子范数对分数阶参数 $ s $ 具有精确依赖关系，并在 $ s \to 1^- $ 的极限下推广了经典的Sobolev延拓结果。

ABSTRACT

We study function spaces and extension results in relation with Dirichlet problems involving integrodifferential operators. For such problems, data are prescribed on the complement of a given domain in the Euclidean space. We introduce a function space that serves as a trace space for nonlocal Dirichlet problems and study related extension results.

研究动机与目标

• 填补非局部Dirichlet问题中缺乏系统函数空间理论的空白，其中数据在区域 $ \Omega \subset \mathbb{R}^d $ 的补集上指定。
• 定义一个新的函数空间，作为非局部问题的迹空间，捕捉边界数据 $ g $ 在 $ \Omega^c $ 上的正则性。
• 建立一个延拓算子，将函数 $ g \in \text{迹空间} $ 映射到解 $ u \in V^s(\Omega|\mathbb{R}^d) $，使得非局部方程 $ (-\Delta)^s u = 0 $ 在 $ \Omega $ 内成立。
• 证明该延拓算子有界，其算子范数受控于 $ \frac{1}{s(1-s)} $，揭示了当 $ s \to 0 $ 或 $ s \to 1 $ 时的尖锐奇异性。
• 通过在 $ s \to 1^- $ 的极限下恢复经典迹与延拓结果，推广了Sobolev空间的经典迹与延拓结果，提供了经典理论的非局部类比。

提出的方法

• 将解空间 $ V^s(\Omega|\mathbb{R}^d) $ 定义为 $ L^2_{\text{loc}}(\mathbb{R}^d) $ 中具有有限Gagliardo型半范数的函数集合，其涉及 $ \mathbb{R}^d \times \mathbb{R}^d $ 上差值的加权积分，权重为 $ |x-y|^{-d-2s} $。
• 将迹空间定义为 $ V^s(\Omega|\mathbb{R}^d) $ 在 $ \Omega^c $ 上的限制，配备诱导的半范数，并通过单位分解与在 dyadic 方块上的反射来定义延拓算子。
• 使用 $ \Omega $ 及其补集的Whitney型分解，构造一个保持局部正则性并控制非局部半范数的局部化延拓算子。
• 建立关键估计式 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $，表明算子范数依赖于 $ 1/s $。
• 通过比较立方体及其反射的大小，在加权 $ L^p $-空间中证明有界性，利用比较关系 $ |x|+1 \asymp |\tilde{x}|+1 $（其中 $ x \in Q $，$ \tilde{x} \in \widetilde{Q} $），常数仅依赖于 $ \Omega $。
• 推导出迹范数估计式 $ \|\operatorname{ext}(f)\|_{V^s(\Omega|\mathbb{R}^d)} \lesssim \frac{1}{s(1-s)} \|f\|_{\text{迹空间}} $，证明当 $ s \to 1^- $ 时延拓算子一致有界。

实验结果

研究问题

• RQ1 在 $ \Omega^c $ 上，何种函数空间可作为涉及积分微分算子的非局部Dirichlet问题的正确迹空间？
• RQ2 如何从 $ \Omega^c $ 上的迹空间构造一个有界线性延拓算子，映射到解空间 $ V^s(\Omega|\mathbb{R}^d) $？
• RQ3 延拓算子范数对分数阶参数 $ s \in (0,1) $ 的尖锐依赖关系是什么？其在 $ s \to 1^- $ 时的行为如何？
• RQ4 经典Sobolev空间的延拓结果是否可作为非局部延拓理论的极限恢复？
• RQ5 延拓算子在加权 $ L^p $-空间（权重为 $ (1+|x|)^\beta $）中是否一致有界？对 $ \beta $ 和区域有何条件？

主要发现

• 本文引入了一种新的非局部Dirichlet问题迹空间，定义为 $ V^s(\Omega|\mathbb{R}^d) $ 在 $ \Omega^c $ 上的限制，用于表征边界数据 $ g $ 的正则性。
• 延拓算子 $ \operatorname{ext} $ 将函数 $ f \in \text{迹空间} $ 映射到 $ u \in V^s(\Omega|\mathbb{R}^d) $，使得 $ u = g $ 在 $ \Omega^c $ 上成立，其算子范数受 $ \frac{1}{s(1-s)} $ 控制。
• 建立了显式估计式 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $，表明算子范数在 $ s \to 0 $ 时趋于无穷，但在 $ s \in (0,1) $ 内保持有限。
• 延拓算子在加权 $ L^p $-空间（权重为 $ (1+|x|)^\beta $）中有界，其界仅依赖于区域 $ \Omega $，而不依赖于 $ f $，当 $ p < \infty $ 时成立。
• 在 $ s \to 1^- $ 的极限下，经典Sobolev空间的延拓结果被恢复，表明非局部理论推广并扩展了经典迹与延拓定理。
• 证明了一个 $ L^\infty $-有界性结果：$ \|\operatorname{ext}(f)\|_{L^\infty(\Omega)} \lesssim \|f\|_{L^\infty(\Omega^c)} $，确认了对延拓函数的逐点控制。