[论文解读] Weak solutions of fractional differential equations in non cylindrical domain

Adam Kubica, Piotr Rybka+1 more|arXiv (Cornell University)|May 22, 2016

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

一句话总结

本文通过伽辽金法，在一维非柱形区域中建立了具有柯普托导数的时间分数阶热方程弱解的存在性。关键贡献在于在移动边界和数据的一般条件下证明了解的存在性，将经典PDE技术扩展至具有时间非局部性和区域演化的分数阶方程。

ABSTRACT

We study a time fractional heat equation in a noncylindrical domain. The problem is one-dimensional. We prove existence of properly defined weak solutions by means of the Galerkin approximation.

研究动机与目标

• 在具有柯普托导数的一维非柱形区域中，建立时间分数阶热方程弱解的存在性。
• 解决分数阶PDE中非局部时间导数与区域演化的挑战，动机来自沉积物输运和自由边界问题。
• 将经典伽辽金方法技术扩展至具有历史依赖算子的分数阶方程。
• 通过非局部积分算子定义并分析包含柯普托导数的弱形式。
• 为未来研究具有未知移动界面的分数阶Stefan问题提供基础结果。

提出的方法

• 在由时变边界 $ s(t) $ 定义的非柱形区域 $ Q_{s,T} $ 中使用伽辽金法构造近似解。
• 定义非局部积分算子 $ I_s^\beta $，以在弱形式中表示柯普托导数，从而考虑解的历史。
• 通过涉及光滑截断函数 $ \eta(x) $ 的变换，将原问题的非齐次边界条件转化为具有齐次狄利克雷和诺伊曼条件的等价问题。
• 推导出包含如下恒等式的弱形式：$ -\int_{Q_{s,T}} I_s^{1-\alpha}[u-\tilde{u}_0] \varphi_t \,dxdt + \int_{Q_{s,T}} u_x \varphi_x \,dxdt = \int_0^T h(t)\varphi(0,t)dt + \int_{Q_{s,T}} f\varphi \,dxdt $，其中测试函数在 $ x=s(t) $ 和 $ t=T $ 处为零。
• 利用能量方法和分数阶积分的性质，对近似解建立一致估计，从而在基于 $ L^2 $ 的空间中实现紧致性和弱收敛。
• 应用阿泽拉-阿斯科利型论证和时间加权范数，处理柯普托导数的非局部性，特别是分数阶积分的 $ t^{1-\alpha} $-加权连续性。

实验结果

研究问题

• RQ1 在给定移动边界的非柱形区域中，时间分数阶热方程与柯普托导数的弱解是否存在？
• RQ2 伽辽金法如何适应处理演化区域中柯普托导数的非局部、历史依赖特性？
• RQ3 在区域随时间变化且分数阶导数引入记忆效应时，定义弱解的合适函数空间框架是什么？
• RQ4 移动边界 $ s(t) $ 的正则性，特别是条件 $ t^{1-\alpha} \dot{s}(t) \in C([0,T]) $，如何影响问题的可解性？
• RQ5 在对数据 $ f $、$ h $ 和 $ u_0 $ 的最小假设下，能否建立解的存在性，包括 $ f \in L^2(Q_{s,T}) $、$ h \in C^1([0,T]) $ 和 $ u_0 \in L^2(0,b) $？

主要发现

• 本文在给定假设下证明了在非柱形区域中具有柯普托导数的分数阶热方程弱解的存在性。
• 解满足 $ u, u_x \in L^2(Q_{s,T}) $，且 $ I_s^{1-\alpha}[u - \tilde{u}_0] \in L^\infty(0,T; L^2(0,s(T))) $，确保了弱意义下分数阶导数的良定性。
• 通过使用光滑截断函数将问题约化为具有齐次边界条件的形式后，利用伽辽金法建立了解的存在性。
• 一个关键技术结果是 $ t^{1-\alpha}(I^\alpha f')(t) \in C^{0,\alpha}([0,T]) $，这意味着 $ (I^\alpha f')(t) \in C^{0,\alpha}_{\text{loc}}((0,T]) $，这对处理分数阶积分的正则性至关重要。
• 证明依赖于一致估计和紧致性论证，通过时间加权范数和积分估计管理柯普托导数的非局部性。
• 该结果在条件 $ t^{1-\alpha} \dot{s}(t) \in C([0,T]) $ 且 $ \dot{s} \geq 0 $ 下成立，确保了移动边界的足够正则性。