[论文解读] Schauder estimates for drifted fractional operators in the supercritical case

Paul-Éric Chaudru de Raynal, Stéphane Menozzi+1 more|arXiv (Cornell University)|Feb 7, 2019

Advanced Mathematical Physics Problems参考文献 27被引用 38

一句话总结

本文在超临界情形下证明了带漂移的非本地算子 L_alpha 的全局抛物线 Schauder 估计，其中 alpha∈(0,1)，允许漂移无界，并用扰动方法替代扩展方法。

ABSTRACT

We consider a non-local operator $L_{{ \\alpha}}$ which is the sum of a fractional Laplacian $\ riangle^{\\alpha/2} $, $\\alpha \\in (0,1)$, plus a first order term which is measurable in the time variable and locally $\\beta$-H\\"older continuous in the space variables. Importantly, the fractional Laplacian $\\Delta^{ \\alpha/2} $ does not dominate the first order term. We show that global parabolic Schauder estimates hold even in this case under the natural condition $\\alpha + \\beta >1$. Thus, the constant appearing in the Schauder estimates is in fact independent of the $L^{\\infty}$-norm of the first order term. In our approach we do not use the so-called extension property and we can replace $\ riangle^{\\alpha/2} $ with other operators of $\\alpha$-stable type which are somehow close, including the relativistic $\\alpha$-stable operator. Moreover, when $\\alpha \\in (1/2,1)$, we can prove Schauder estimates for more general $\\alpha$-stable type operators like the singular cylindrical one, i.e., when $\ riangle^{\\alpha/2} $ is replaced by a sum of one dimensional fractional Laplacians $\\sum_{k=1}^d (\\partial_{x_k x_k}^2 )^{\\alpha/2}$.

研究动机与目标

• 为带漂移项 F 的抛物型偏微分不等式（IPDE）提出动机并给出全局 Schauder 估计的表述，其中 F 在局部意义下为 beta- Hölder 且可能无界。
• 确定超临界区间 α∈(0,1) 以及使解保持正则性的关键条件 α+β>1。
• 发展一个扰动框架以在空间上获得解的 Hölder 连续性，与 F 的 L∞ 范数无关。
• 在数据与系数满足适当光滑性的前提下，证明在 Hölder 空间 C_b^{α+β} 中解的存在性和唯一性。
• method bullet placeholder if needed by system

提出的方法

• 使用代理（冻结流）算子 L_alpha + F(t, theta_{t,τ}(ξ))·D_x 来构建带热核 p_α 的双参数半群并推导光滑化估计。
• 引入一个时间非齐次的流 theta_{s,τ}(ξ)，解 d/ds theta = F(s, theta)，并沿此流冻结 F 以形成代理问题。
• 通过局部化函数 η_{τ,ξ}，对局部化版本的 IPDE 使用变常数（Duhamel）表示来推导解的表示式。
• 建立冻结半群的导数光滑化控制，显示 D_x^ℓ tilde P_{s,t,α}^{(τ,ξ)} φ(x) ≤ C[φ]_{β} /(s-t)^{(ℓ/α - β/α)}。
• 施加光滑化性质 (P_β) 并推导依赖于 |y|^β D_y^k p_α(t,y) 的可积性以处理超临界漂移的估计。
• 通过比较代理算子并控制残项，处理一般稳定型算子（对称、非对称、相对论性）及截断变体。
• research_questions_primary_estimates

实验结果

研究问题

• RQ1 对漂移 F 与源项 f 的哪些条件能确保带漂移的 IPDE 的解 u 具备 Hölder 正则性？
• RQ2 在超临界区间 α∈(0,1) 且 α+β>1 的条件下，是否可以在不使用扩展性质的情况下获得全局抛物线 Schauder 估计？
• RQ3 扰动（冻结流）方法如何为 u 提供稳健的 Duhamel 表示并导出显式的 Hölder 上界？
• RQ4 Schauder 估计是否可推广至非本地算子，超越分数阶拉普拉斯算子，包括相对论型和圆柱型稳定算子？

主要发现

• 已建立全局 Schauder 估计： ||u||_{L∞([0,T], C_b^{α+β})} ≤ C(||g||_{C_b^{α+β}} + ||f||_{L∞([0,T], C_b^{β})}).
• 当 α∈(0,1) 且 β∈(0,1) 且 α+β>1 时，即使漂移 F 局部为 Hölder 且可能无界，估计仍成立。
• 该方法不依赖扩展性质，并且对各种 α-稳定型算子均有效，包括相对论型和截断变体。
• 通过冻结流代理获得稳健的 Duhamel 表示，进而在代理算子周围进行扰动展开。
• 在给定假设下证明了 C_b^{α+β} Hölder 空间中的存在性与唯一性，Schauder 上界提供先验控制。
• 该框架包含非退化对称稳定情况，并对热核的导数估计满足 (P_β) 所需的可积性条件。