展开 拉普拉斯逆变换定义式