拉普拉斯变换
对于所有实数formula_7，函数formula_5的拉普拉斯变换是函数formula_6，定义为：