拉普拉斯变换
formula_8 is the Laplace transform of formula_9.