拉普拉斯反变换定义式