[论文解读] Semilinear fractional elliptic equations involving measures

Huyuan Chen, Лаурент Верон|arXiv (Cornell University)|May 4, 2013

Nonlinear Partial Differential Equations参考文献 31被引用 6

一句话总结

本文通过分数阶拉普拉斯算子 $(-\Delta)^\alpha$（$\alpha \in (0,1)$）研究了涉及Radon测度的半线性分数阶椭圆方程弱解的存在性与唯一性。研究证明，对于次临界非线性项，任意Radon测度下均存在解；而对于超临界幂次型非线性项 $g(u) = |u|^{k-1}u$，解存在的充要条件是测度关于特定Bessel容量 $C_{2\alpha,k'}$ 绝对连续。该结果将经典拉普拉斯情形的结果推广至分数阶情形。

ABSTRACT

We study the existence of weak solutions of (E) $ (-Δ)^αu+g(u)=ν$ in a bounded regular domain $Ω$ in $\R^N (N\ge2)$ which vanish on $\R^N\setminusΩ$, where $(-Δ)^α$ denotes the fractional Laplacian with $α\in(0,1)$, $ν$ is a Radon measure and $g$ is a nondecreasing function satisfying some extra hypothesis. When $g$ satisfies a subcritical integrability condition, we prove the existence and uniqueness of a weak solution for problem (E) for any measure. In the case where $ν$ is Dirac measure, we characterize the asymptotic behavior of the solution. When $g(r)=|r|^{k-1}r$ with $k$ supercritical, we show that a condition of absolute continuity of the measure with respect to some Bessel capacity is a necessary and sufficient condition in order (E) to be solved.

研究动机与目标

• 将带测度数据的半线性椭圆方程的弱解存在性与唯一性结果，从经典拉普拉斯算子推广至分数阶拉普拉斯算子 $(-\Delta)^\alpha$（$\alpha \in (0,1)$）情形。
• 在有界 $C^2$ 域 $\Omega$ 中，刻画方程 $(-\Delta)^\alpha u + g(u) = \nu$ 的可解性，其中 $\nu$ 为Radon测度，$g$ 为非减函数。
• 当 $g(u) = |u|^{k-1}u$ 且 $k$ 为超临界时，识别弱解存在的必要与充分条件。
• 推广Bessel容量在刻画分数阶方程测度数据临界性中的作用，类比于经典拉普拉斯情形下的 $C_{2,p'}$ 容量。

提出的方法

• 通过测试函数空间 $\mathbb{X}_\alpha$ 定义弱解，该空间确保分数阶拉普拉斯算子作用的有界性与正则性，采用对偶方法。
• 对于次临界 $g$，利用Marcinkiewicz空间中的线性估计及 $g(u)$ 关于 $\rho^\alpha$ 加权的先验估计，证明存在性与唯一性，其中 $\rho$ 表示到边界的距离。
• 对于幂次情形 $g(u) = |u|^{k-1}u$，采用截断方法：定义 $T_n(u)$ 局域化非线性项，并求解一系列正则化问题。
• 通过Hölder不等式与Riesz势的Sobolev嵌入，结合测试函数估计与容量估计，建立关于Bessel容量 $C_{2\alpha,k'}$ 的绝对连续性的必要性与充分性。
• 利用对偶论证证明：若 $C_{2\alpha,k'}(K) = 0$，则 $\nu(K) = 0$，从而证明容量条件的必要性。
• 利用Green核 $G$ 及其性质控制解 $\mathbb{G}[\nu]$，并应用Riesz势在 $W^{2\alpha,k'}$ 空间中的正则性结果。

实验结果

研究问题

• RQ1 在非线性项 $g$ 与测度 $\nu$ 满足何种条件时，分数阶椭圆方程 $(-\Delta)^\alpha u + g(u) = \nu$ 在有界 $C^2$ 域 $\Omega$ 中存在弱解？
• RQ2 当 $g(u) = |u|^{k-1}u$ 且 $k$ 为超临界时，Bessel容量 $C_{2\alpha,k'}$ 在决定方程可解性方面起何种精确作用？
• RQ3 次临界可积性条件如何确保对任意Radon测度 $\nu$，弱解的存在性与唯一性？
• RQ4 当 $\nu$ 为Dirac测度时，解的渐近行为是否可表征？
• RQ5 当 $g(u) = |u|^{k-1}u$ 且 $k$ 为超临界时，$\nu$ 关于 $C_{2\alpha,k'}$ 的绝对连续性是否为解存在的必要且充分条件？

主要发现

• 对于任意满足次临界可积性条件的非减函数 $g$，只要 $\int_\Omega \rho^\beta d|\nu| < \infty$ 对某个 $\beta \in [0,\alpha]$ 成立，则问题 $(-\Delta)^\alpha u + g(u) = \nu$ 对任意Radon测度 $\nu$ 存在唯一弱解。
• 当 $\nu$ 为Dirac测度时，解在集中点附近表现出精确的渐近行为，其特征由Green核的奇性决定。
• 对于超临界幂次非线性项 $g(u) = |u|^{k-1}u$（$k > 1$），解存在的充要条件是 $\nu$ 关于Bessel容量 $C_{2\alpha,k'}$ 绝对连续，其中 $k'$ 为 $k$ 的Hölder共轭。
• 通过构造一列测试函数 $\phi_n$，其在 $W^{2\alpha,k'}$ 范数下趋于零，证明容量条件的必要性：若 $C_{2\alpha,k'}(K) = 0$，则 $\nu(K) = 0$，意味着测度必须在零容量集上消失。
• 充分性通过逼近 $\nu$ 为 $W^{-2\alpha,k}(\Omega)$ 中的测度，求解截断非线性项的正则化问题，并利用 $L^1(\Omega)$ 与 $L^k(\Omega, \rho^\alpha dx)$ 中的收敛性取极限来证明。
• 对于符号测度，条件 $C_{2\alpha,k'}(K) = 0 \Rightarrow |\nu|(K) = 0$ 是可解性的充分条件，但其必要性尚待证明。