Fixed Point Results in Non-Linear (Θ, ℜm)-Rational type Contractive Mappings with Application in Fractional Differential Equations

数学往往让人觉得是在混乱的世界中寻找秩序，一种在事物受到推力、拉力或改变时，预测它们最终会趋于何处的方法。在这场探索的核心，存在着一个被称为“不动点”的强大概念。想象一张铺设在实际地面上的城市地图。无论你如何揉皱纸张或轻微移动它，总有一个点位于它所描述的精确位置的正上方。这个点就是不动点。在现实世界中，这一概念帮助科学家理解从桥梁的稳定性到经济行为的一切事物。然而，许多现实世界中的问题，特别是那些涉及并非完全平滑或线性的随时间变化的复杂问题，对于用于寻找这些点的标准数学工具来说过于复杂。这些工具通常依赖于关于距离和形状的严格规则，而当情况变得混乱或不规则时，这些规则就会失效。

为了应对这些困难问题，研究人员数十年来一直在发明各种新型的数学空间——即拥有其独特距离和连接规则的抽象环境。其中一种创新是“度量空间”，这是一个将测量两个事物之间间隙的方式进行了泛化的框架。最近，数学家们开发了更灵活的版本，例如“m-度量空间”，它允许在计算距离时有一定的余地；以及“基于关系的”空间，它侧重于两个事物是否以特定方式相连，而非仅仅是它们之间的距离有多远。这些先进的框架对于模拟复杂的系统至关重要，在这些系统中，常规的几何规则并不适用，例如在分数阶微分方程的研究中。这些方程描述的是以“分数阶”方式演变的过程，这意味着其变化既不是完全瞬时的，也不是完全渐进的，而是介于两者之间，例如热量在材料中的扩散方式，或者病毒如何在人群中扩散的方式。

在最近的一项研究中，来自巴基斯坦、南非和沙特阿拉伯大学的数学家团队致力于扩展解决这些复杂方程的工具箱。他们的工作聚焦于一种特定的数学映射类型，称为“非线性 (Θ, ℜm)-有理型收缩映射”。虽然这个名字听起来很拗口，但其核心概念在于寻找一种方法，即使在数学空间的规则被放宽且点与点之间的关系由一组特定的连接而非仅仅由距离定义时，也能保证解的存在性和唯一性。研究人员在“关系论 m-度量空间”中引入了一种看待这些映射的新思维方式。在这些空间中，环境足够完备以确保可以找到解，但在传统、更严格的意义上并不一定是完备的。这种区别至关重要，因为它允许数学处理那些此前因过于不规则而无法解决的情景。

该团队证明，在这些新的、更灵活的条件下，不动点保证存在。他们表明，如果你从一个特定的点开始并遵循这种新映射的规则，生成的点序列最终会稳定在一个单一的、稳定的位置。这一结果具有重要意义，因为它统一并扩展了之前的若干研究成果，将此前被视为独立处理的不同方法整合在一起。研究人员并未止步于理论，他们还将新发现应用于一个实际问题：寻找带有积分边界条件的非线性分数阶微分方程的解。这些方程描述的是系统在某一状态取决于一段范围内的状态总和的情况，这是物理学和工程学中的常见特征。通过使用这些新的不动点结果，作者证明了只要满足特定条件，这类困难方程的解不仅存在，而且是唯一的。

为了确保其理论结果不仅仅是抽象的练习，研究人员使用两种截然不同的数值技术对线性分数阶微分方程进行了测试：射击法（shooting method）和结合了矩阵方法的同伦扰动法（homematopy perturbation method）。射击法是一种策略，即将一个具有固定端点的问题转化为初值问题，并通过不断调整初始条件，直到解命中正确的目标。而同伦扰动法则是通过从一个简单的近似值开始，并逐步进行精细化处理来构建解。团队将这些方法应用于一个已知精确解的特定方程。他们使用分数阶为 2.9 的特定方程进行了数值实验，并将计算结果与已知的精确解进行了对比。结果显示，两者的差异非常之小，计算出的近似值与真实答案在各个点上的差距往往在百万分之一或十亿分之一的范围内。例如，在计算的某个特定点，误差小于两百万分之一。

研究中呈现的可视化数据证实，通过其数值方法生成的曲线与精确解的曲线几乎完美契合。图表显示，两条曲线追踪着相同的路径，且它们之间的误差在整个范围内都微乎其微。这种高水平的准确性表明，新的数学框架不仅在理论上是稳健的，而且在解决涉及分数微积分的现实问题方面也是切实有效的。研究人员得出结论，他们的方法成功扩展了不动点理论的范畴，为处理此前难以求解的方程提供了一种可靠的方法。通过证明解的存在性并提供可靠的求解方法，这项工作为更精确地模拟科学和工程领域中的复杂非线性系统打开了大门。该研究证明，通过完善数学的基本规则，可以产生更好的工具，从而更好地理解我们周围世界的复杂动态。