由函数 的Riemann-Liouville分数阶微分的定义[1]:
式中,,且 ,表示Riemann-Liouville定义。两端的下标为积分的上下限。则
其中
是因为
大幅修改了答案qwq,验证也很容易(误!)只需再求半阶导验证 ,这种事情就交给mma算啦