用 Post 公式给出拉普拉斯逆变换
Emil Post (1930) 推导出一种拉普拉斯逆变换的公式，该公式依赖于计算符号阶数的导数和序列极限的导数。这里，使用 D 和 DiscreteLimit 的新功能实现 Post 反演公式。
Post 反演公式可以陈述如下。
定义一个函数实现 Post 反演公式。
用公式计算 
的拉普拉斯逆变换。
用 InverseLaplaceTransform 获取同样的结果。
用 Post 反演公式创建基本拉普拉斯逆变换表。
显示完整的 Wolfram 语言输入
通过使用足够高阶的导数，Post 公式也可用于求拉普拉斯逆变换的数值近似，如下所示。
显示完整的 Wolfram 语言输入
