[论文解读] A new class of mild and strong solutions of integro-differential equation of arbitrary order in Banach space

J. Vanterler da C. Sousa, D. F. Gomes+1 more|arXiv (Cornell University)|Dec 28, 2018

Nonlinear Differential Equations Analysis参考文献 32被引用 5

一句话总结

本文利用希尔弗分数阶导数，在巴拿赫空间中建立了任意阶分数阶积分微分方程的温和解与强解的存在性与唯一性。通过结合 $C_0$-半群理论、巴拿赫不动点定理以及格朗沃尔不等式，作者在一般条件下证明了解的适定性，推动了无限维环境下分数阶微分方程理论的发展。

ABSTRACT

The motivation that the field of differential equations provide to several researchers for the challenges that have been challenging them over the decades has contributed to the strengthening of the area within mathematics. In this sense, investigating important properties of solutions of differential equations, in particular fractional, has been object of study due to the exponential growth of the fractional calculus. In this paper, we investigate the existence and uniqueness of a new class of mild and strong solution of the fractional integro-differential equations in the Hilfer fractional derivative sense in Banach space, by means of the continuously $C_{0}$-semigroup, Banach fixed point theorem and Gronwall inequality.

研究动机与目标

• 解决在无限维空间中求解分数阶积分微分方程这一长期存在的挑战。
• 将温和解与强解的理论从经典设定扩展至巴拿赫空间中的任意阶方程。
• 为包含希尔弗分数阶导数的方程建立适定性结果，此类导数广义化了黎曼-刘维尔导数与卡波托导数。
• 提供一个统一的框架，利用泛函分析工具与不动点方法分析解。

提出的方法

• 采用 $C_0$-半群理论来刻画与微分方程相关的演化算子。
• 应用巴拿赫不动点定理，在适当的函数空间中证明解的存在性与唯一性。
• 利用格朗沃尔不等式建立解对初值的稳定性与连续依赖性。
• 在希尔弗分数阶导数的背景下提出问题，该导数允许在不同类型分数阶导数之间实现连续过渡。
• 通过涉及半群与非线性项的积分方程定义温和解。
• 将强解定义为几乎处处逐点满足方程且属于适当正则性类的函数。

实验结果

研究问题

• RQ1 在巴拿赫空间中，对于任意阶分数阶积分微分方程，温和解在何种条件下存在且唯一？
• RQ2 在希尔弗分数阶导数的背景下，强解如何表征，并如何证明其存在性？
• RQ3 $C_0$-半群在确保此类方程适定性方面发挥何种作用？
• RQ4 格朗沃尔不等式与不动点方法如何共同促进解的稳定性和唯一性？
• RQ5 该框架能否扩展至包含非整数或非半整数阶的任意阶分数阶导数？

主要发现

• 本文证明了在给定类别的巴拿赫空间中，分数阶积分微分方程存在且唯一温和解。
• 在相同的一般条件下，建立了强解的存在性，扩展了该理论的适用范围。
• 采用希尔弗分数阶导数使得可分析的方程类别更广泛，其中既包含黎曼-刘维尔型，也包含卡波托型作为特例。
• 结合 $C_0$-半群理论与巴拿赫不动点定理，确保了求解过程中迭代格式的收敛性。
• 应用格朗沃尔不等式证明了解对初值的连续依赖性，从而确认了解的稳定性。
• 结果具有普遍性，适用于任意分数阶，增强了未来分数阶演化方程研究的理论基础。