[论文解读] The complement value problem for non-local operators

Wei Sun|arXiv (Cornell University)|Mar 31, 2018

Advanced Mathematical Modeling in Engineering参考文献 35被引用 3

一句话总结

本文证明了非局部算子（结合拉普拉斯算子、分数阶拉普拉斯算子、漂移项和势能项）的补值问题存在唯一有界连续弱解。通过半Dirichlet型形式与热核估计，该文利用马尔可夫过程及其在区域补集上的 hitting 时间，给出了该解的随机表示。

ABSTRACT

Let $D$ be a bounded Lipschitz domain of $\mathbb{R}^d$. We consider the complement value problem $$ \left\{\begin{array}{l}(Δ+a^αΔ^{α/2}+b\cdot abla+c)u+f=0\ \ { m in}\ D,\\ u=g\ \ { m on}\ D^c. \end{array} ight.$$ Under mild conditions, we show that there exists a unique bounded continuous weak solution. Moreover, we give an explicit probabilistic representation of the solution. The theory of semi-Dirichlet forms and heat kernel estimates play an important role in our approach.

研究动机与目标

• 建立非局部椭圆积分微分方程在补值条件下有界连续弱解的存在性与唯一性。
• 利用与非局部算子相关的马尔可夫过程，提供解的随机表示。
• 将非局部算子理论扩展至系数不一定连续且最大值原理不成立的情形。
• 借助半Dirichlet型形式与近期热核估计，克服非局部情形下的分析困难。
• 证明解在边界处的正则性，包括当边界数据连续时解在边界点的连续性。

提出的方法

• 利用半Dirichlet型形式理论分析非局部算子，建立弱解的存在性与唯一性。
• 采用Chen与Hu（2018）的热核估计，控制关联马尔可夫过程的转移密度。
• 构造与算子 $L = \Delta + a^\alpha \Delta^{\alpha/2} + b\cdot\nabla$ 在 $\mathbb{R}^d$ 上相关的强马尔可夫过程 $(X_t, P_x)$。
• 将解的随机表示导出为 $u(x) = \mathbb{E}_x\left[e(\tau)g(X_\tau) + \int_0^\tau e(s)f(X_s)ds\right]$，其中 $\tau = \inf\{t > 0 : X_t \in D^c\}$。
• 应用半鞅的分部积分公式推导鞅表示，并利用控制收敛定理证明唯一性。
• 采用截断与正则化相结合的逼近技术，处理低正则性系数，并在极限下建立收敛性。

实验结果

研究问题

• RQ1 在何种条件下，带有漂移项与势能项的非局部算子的补值问题存在唯一的有界连续弱解？
• RQ2 当系数不连续且最大值原理不成立时，能否严格推导出解的随机表示？
• RQ3 热核估计与半Dirichlet型形式理论如何促进对有界区域中非局部算子的分析？
• RQ4 解从边界数据 $g$ 在 $D^c$ 上继承了哪些正则性性质，特别是关于 $\partial D$ 处的连续性？
• RQ5 势能的正部 $c^+$ 在保证指数矩 $\mathbb{E}_x[\exp(\int_0^\tau c^+(X_s)ds)]$ 有限性方面起什么作用？

主要发现

• 在 $\|c^+\|_{L^{p\vee 1}} \leq M$ 对某个 $M > 0$ 成立的条件下，补值问题（1.1）存在唯一的有界连续弱解 $u \in B_b(\mathbb{R}^d)$。
• 解具有显式的随机表示：$u(x) = \mathbb{E}_x\left[e(\tau)g(X_\tau) + \int_0^\tau e(s)f(X_s)ds\right]$，其中 $e(t) = \exp(\int_0^t c(X_s)ds)$ 且 $\tau = \inf\{t > 0 : X_t \in D^c\}$。
• 若 $g$ 在 $z \in \partial D$ 处连续，则 $\lim_{x \to z} u(x) = u(z)$，确保了解在边界处的正则性。
• 解在分布意义下满足方程：对所有 $\phi \in C_c^\infty(D)$，恒等式（1.4）成立，涉及梯度项、非局部项、漂移项、势能项与强迫项。
• 当 $c \leq 0$ 时，解在 $\overline{D}$ 上连续，且解空间为 $u \in B_b(\mathbb{R}^d)$ 满足 $u|_D \in W^{1,2}_{\text{loc}}(D) \cap C(\overline{D})$。
• 通过鞅方法与控制收敛定理证明唯一性，表明在给定矩条件下方程的齐次问题仅有零解。