到第三部分核心推导的时候，陆丰彻底卡住了。

图纸上用Mittag-Leffler函数作为分数阶微分方程的基本解，这个函数他压根没见过。

它的定义是一个无穷级数，形式上像是指数函数的推广，但收敛性质完全不同

图纸上直接给出了结论，中间的收敛性证明和Laplace逆变换的过程全部跳过。

陆丰试着自己推，在草稿纸上写了大半页，发现怎么都走不通。

级数的逐项积分需要一致收敛的条件，而Mittag-Leffler函数在某些参数取值下的收敛性并不是显然的。

他换了个思路，试着从Laplace变换的角度反过来推，先假设解的形式，再代入原方程验证。

又写了半页，走到一个需要用到留数定理的地方，卡死了。

复变函数的内容他还没学。

第三张丶第四张草稿纸陆续写满，桌面上铺开了一片。

有些地方画了圈标注「待验证」，有些地方直接划了叉表示此路不通。

陆丰放下笔，揉了揉太阳穴。

「一个小时了，核心推导部分只推进了不到三分之一。」

剩下的部分涉及的数学工具超出了他目前的知识储备，强推只会越走越偏。

但他并不沮丧。

」罗马又不是一天建成的「

剩下的部分不急，等他把复变函数和数学分析的基础补上之后再回来啃，效率会高得多。

窗外的天色已经暗下来了，图书馆的日光灯不知什么时候亮了起来。

陆丰看了眼手机，19:47。

「该去吃晚饭了。」

他把草稿纸叠好，夹进课本里。

然后目光落在桌上那几本高数书上。