收敛域

当你写下拉普拉斯变换的定义积分 从 0 到无穷的 e^{-s t} f(t) dt 时，它并不会对每个 s 都自动有意义。收敛域就是使那个积分真正收敛的复数 s 的集合——也就是变换真正由其积分定义、而非由后续延拓定义的那片区域。

对单边拉普拉斯变换而言，这片区域总是一个右半平面：存在一个实数 sigma_0，称为收敛横坐标，只要 s 的实部超过 sigma_0，积分就收敛。原因在于权重 e^{-s t}：它的大小由 e^{-(Re s) t} 控制，所以把 Re s 取得足够大就能强制足够快的衰减，从而压住 f(t)。对 e^{a t}，门槛是 Re s > a；对被常数界住的函数，Re s > 0 即可。比任何指数增长都快的函数（如 e^{t^2}）根本没有收敛横坐标，也就根本没有拉普拉斯变换。

收敛域之所以重要，是因为它是每一对变换背后诚实的小字注脚。两个不同的时间函数可以共用同一个代数公式 F(s)，但由它们的收敛域区分开来；而求逆变换的布罗姆维奇围道必须放在收敛域之内，才能还原出正确的 f(t)。实践中，一旦你知道变换在某处收敛，就把函数 F(s) 通过解析延拓扩展到 s 平面的其余部分——这正是为什么表中公式看上去处处成立，尽管原始积分并非如此。