[论文解读] Characterization of Image Spaces of Riemann-Liouville Fractional Integral Operators on Sobolev Spaces $W^{m,p}(\Omega)$

Lijing Zhao, Weihua Deng+1 more|arXiv (Cornell University)|Mar 21, 2016

Fractional Differential Equations Solutions参考文献 32被引用 4

一句话总结

本文表征了在 Sobolev 空间 $W^{m,p}(Ω)$ 上 Riemann-Liouville 分数阶积分算子的像空间，提供了这些空间及其交集的等价刻画。研究揭示，这些像空间中的函数在边界点处表现出特定正则性，并在靠近边界时呈现渐近衰减，且可通过 Jacobi 多项式和 Legendre 多项式显式表示。主要贡献在于证明了在这些像空间内，温和分数阶算子与 Riemann-Liouville 算子互为逆算子，为分数阶 PDE 的数值方法提供了理论支持。

ABSTRACT

Fractional operators are widely used in mathematical models describing abnormal and nonlocal phenomena. Although there are extensive numerical methods for solving the corresponding model problems, theoretical analysis such as the regularity result, or the relationship between the left-side and right-side fractional operators are seldom mentioned. In stead of considering the fractional derivative spaces, this paper starts from discussing the image spaces of Riemann-Liouville fractional integrals of $L_p(\Omega)$ functions, since the fractional derivative operators that often used are all pseudo-differential. Then high regularity situation---the image spaces of Riemann-Liouville fractional integral operators on $W^{m,p}(\Omega)$ space are considered. Equivalent characterizations of the defined spaces, as well as of the intersection of the left-side and right-side spaces are given. The behavior of the functions in the defined spaces at both the nearby boundary point/ponits and the points in the domain are demonstrated in a clear way. Besides, tempered fractional operators show to be reciprocal to the corresponding Riemann-Liouville fractional operators, which is expected to make some efforts on theoretical support for relevant numerical methods. Last, we also provide some instructions on how to take advantage of the introduced spaces when numerically solving fractional equations.

研究动机与目标

• 为解决数学模型中分数阶算子缺乏清晰理论正则性分析的问题。
• 表征 Riemann-Liouville 分数阶积分算子在 $W^{m,p}(Ω)$ 上的像空间，重点关注边界行为与正则性。
• 阐明左、右侧行分数阶算子之间的关系及其对解正则性的影响。
• 通过识别捕捉分数阶解真实正则性的函数空间，为数值方法提供理论基础。
• 为在分数阶微分方程数值求解中使用这些像空间提供实际指导。

提出的方法

• 本文将像空间框架从 $L^p(\Omega)$ 扩展至 $W^{m,p}(\Omega)$，分析了 Riemann-Liouville 分数阶积分像中函数的结构。
• 通过边界附近的多项式展开与渐近行为，提供了像空间及其交集的等价刻画。
• 像空间中的函数被分解为内部的光滑部分与具有特定奇异行为的边界层部分，通过 Jacobi 多项式和 Legendre 多项式表示。
• 该方法采用加权 Sobolev 空间与渐近展开，描述边界点（特别是 $x = -1$）处的正则性。
• 在 $L^p(\Omega)$ 的像空间内，建立了温和分数阶算子与 Riemann-Liouville 算子之间的互逆关系。
• 数值实现通过使用满足 $\phi_n^{(k)}(-1) = 0$ 的正交多项式基构造近似解来指导。

实验结果

研究问题

• RQ1 Riemann-Liouville 分数阶积分在 $W^{m,p}(\Omega)$ 上的像空间中函数的精确正则性结构是什么？
• RQ2 边界点处的奇异性如何影响分数阶 PDE 解的全局行为？
• RQ3 从像空间的角度看，左侧行与右侧行分数阶算子之间存在何种关系？
• RQ4 分数阶积分的像空间能否用于提高分数阶方程数值方法的收敛性与稳定性？
• RQ5 边界附近的渐近行为如何系统地表示并应用于谱近似中？

主要发现

• 在 $W^{m,p}(\Omega)$ 上，Riemann-Liouville 分数阶积分算子的像空间由在内部光滑但在边界附近表现出特定正则性与渐近衰减的函数构成，尤其在 $x = -1$ 处显著。
• 像空间中的函数可分解为多项式部分 $v_1(x) \in (x+1)^{\gamma_1 - \gamma_2} P_{m-1}(x)$ 与余项 $v_2(x) = o((x+1)^{m + \gamma_1 - \gamma_2 - 1/2})$，当 $x \to -1$ 时成立。
• 左、右侧行像空间的交集可通过具有受控边界行为的正交多项式展开实现等价刻画。
• 研究证明，在 $L^p(\Omega)$ 的像空间内，温和分数阶算子与 Riemann-Liouville 算子互为逆算子，为数值格式提供了理论依据。
• 对于 $u(x) \in I^{\gamma_1}_{(-1)+}[H^m(\Omega)]$，变分形式中的函数 $h(x)$ 属于 $H^m(\Omega)$，且可表示为 $h(x) = \hat{h}_1(x, \gamma_1, \gamma_2) + \hat{h}_2(x, \gamma_1, \gamma_2)$，其中 $\hat{h}_1 \in (x+1)^{\gamma_1 - \gamma_2} P_{m-1}(x)$，$\hat{h}_2 = o((x+1)^{m + \gamma_1 - \gamma_2 - 1/2})$。
• 当 $\gamma_1 \in (1, 3/2)$ 时，近似解 $\tilde{u}_N(x)$ 通过满足 $\phi_n^{(k)}(-1) = 0$（$k = 0, \dots, m$）的 $\phi_n(x)$ 构造，以确保边界相容性。