拉普拉斯变换
拉普拉斯变换(英語:)是应用数学中常用的一种积分变换,又名拉氏轉換,其符號為。拉氏變換是一個線性變換,可將一個有實數变量的函數轉換為一個变量為複數的函數:
拉氏變換在大部份的應用中都是對射的,最常見的和組合常印製成表,方便查閱。拉普拉斯变换得名自法國天文學家暨數學家皮埃尔-西蒙·拉普拉斯(),他在機率論的研究中首先引入了拉氏變換。
拉氏變換和傅里叶变换有關,不過傅里叶变换將一個函數或是信號表示為許多弦波的疊加,而拉氏變換則是將一個函數表示為許多矩的疊加。拉氏變換常用來求解微分方程及積分方程。在物理及工程上常用來分析線性非時變系統,可用來分析電子電路、諧振子、光学仪器及機械設備。在這些分析中,拉氏變換可以作時域和頻域之間的轉換,在時域中輸入和輸出都是時間的函數,在頻域中輸入和輸出則是複變角頻率的函數,單位是弧度每秒。
對於一個簡單的系統,拉氏變換提供另一種系統的描述方程,可以簡化分析系統行為的時間[1]。像時域下的線性非時變系統,在頻域下會轉換為代數方程,在時域下的捲積會變成頻域下的乘法。
正式定义
对于所有实数,函数的拉普拉斯变换是函数,定义为:
其中频率参数是一个复数:
- 和为实数。
除了,有时我们也使用 或 来表示拉普拉斯变换。 是一个运算符号。
这个积分的具体含义取决于被积函数的类型。它存在的一个必要条件是在 在 上局部可积。对于在无穷大处衰减的局部可积函数或指数型函数,这积分可以被理解成(恰当)勒贝格积分。然而,在很多应用中,我们有必要将其视作在 处条件收敛的反常积分。更一般的,这个积分可以在较弱的意义上理解,在下面会去处理。
可以用勒贝格积分定义拉普拉斯变换为一个有限博雷尔测度 [2]
以上定义的一个特殊情况是 为概率测度,或者更具体地说,是狄拉克δ函数时。在运算微积分中,拉普拉斯变换的测度常常被视作由分布函数 带来的测度。在这种情况下,为了避免混淆,一般写作
其中积分下限 是
的简化符号。
这个极限强调任何位于 0 的质点都被拉普拉斯变换完全捕获。虽然在使用勒贝格积分时,我们没有必要取这个极限,但它让我们更自然地与拉普拉斯–斯蒂尔吉斯变换建立联系。
拉普拉斯逆变换
兩個相異的可積函數,只有在其差的勒貝格測度為零時,才會有相同的拉普拉斯变换。因此以轉換的角度而言,存在其反轉換。包括可積分函數在內,拉普拉斯变换是单射映射,將一個函數空間映射到其他的函數空間。典型的函數空間包括有界連續函數、函數空間L∞(0, ∞)、或是更廣義,在 (0, ∞) 區間內的缓增广义函数(函數的最壞情形是多項式成長)。
拉普拉斯逆变换有许多不同的名称,如维奇积分、傅立叶-梅林积分、梅林逆公式,是一个複數积分:
其中是一个使的积分路径在收敛域内的实数。另一個拉普拉斯逆变换的公式是由Post反演公式而來。
在實務上一般會配合查表,將函數的拉普拉斯变换分換為許多已知函數的拉普拉斯变换,再利用觀察的方式產生其拉普拉斯逆变换。在微分方程中會用到拉普拉斯逆变换,會比用傅利葉轉換的處理方式要簡單。
性质和定理
函数和的拉普拉斯变换分别为和:
下面的表格是一系列单边拉普拉斯变换的性质:[3]
时域 | s域 | 注释 | |
---|---|---|---|
线性叠加 | 可以用积分的基本规则证明。 | ||
s域一阶微分 | 是的一阶导数。 | ||
s域一般微分 | 更一般的形式是的阶导数。 | ||
时域一阶微分 | 是一个可微函数,并且其导数为指数类型。这条性质可以通过分部积分得到。 | ||
时域二阶微分 | 为二阶可微且二阶导数是指数型的。通过对应用微分性质可得。 | ||
时域一般微分 | 为阶可微,其阶导数是指数型的。通过数学归纳法证明。 | ||
s域积分 | 这是由s域微分和条件收敛推导出来的。 | ||
时域积分 | 是阶跃函数,注意到是和的卷积。 | ||
时间标度 | |||
s域平移 | |||
时域平移 | 表示阶跃函数 | ||
乘法 | 积分沿完全处在收敛域内的竖直线。[4] | ||
卷积 | |||
复共轭 | |||
互相关 | |||
周期函数 | 是一个周期为的周期函数,于是对所有,有。这条性质是时域平移和几何级数的结果。 |
- 初值定理:
- ,要求 为真分式,即分子的最高次小于分母的最高次,否则使用多项式除法将分解
- 终值定理:
- ,要求 的所有极点都在左半复平面或原点为单极点。
- 由于终值定理无需经过部分分式分解或其他困难的代数就能给出长期的行为,它就很有用。如果 在右侧面或虚轴上有极点,如当 或 时,这个公式的行为就是未定义的。
与幂级数的关系
拉普拉斯变换可以看成是幂级数的一个连续模拟。如果 a(n) 是正整数 n 的一个离散函数,那么与 a(n) 相关的幂级数为
其中 x 是实变量(参见Z变换)。将对 n 的加和替换成对 t 的积分,则此幂级数的连续形式为
其中离散型函数 a(n) 被替换成连续型的 f(t)。(参见下文梅林变换。)改变幂的基底 x 为 e 得
要使这个积分对任何有界函数 f 都收敛,就需要满足。使用−s = log x代换就能得到拉普拉斯变换:
换句话说,拉普拉斯变换是幂级数的一个连续模拟,只是把离散参数 n 换成了连续变量 t , x 换成了 e−s。
证明函数导数的拉普拉斯变换
很方便用拉普拉斯变换的微分性质来求函数导数的变换。从拉普拉斯变换的基本表达式就可以推导如下:
导出
而在双边的情形下,
一般化的结果是
其中 f(n) 表示 f 的 n阶导数,可以由归纳假设得出。
计算广义积分
令,则(参见上面的表格)
或
令 s → 0,假定可以改变取极限顺序,就得到性质
即便在不可以交换,此计算依然有暗示性。例如,形式上按此计算得到
这个性质的正确性可以用其他方法证明。它是傅汝兰尼积分(Frullani integral)的一个例子。
例子还有狄利克雷积分。
与傅里叶变换关系
连续傅里叶变换相当于计算令 或 的双边拉普拉斯变换:
与z变换的联系
z 变换表达式为:
其中 。比较两者表达式有:
拉普拉斯变换简表
下表提供了许多常用单变量函数的拉普拉斯变换。 [5] [6] 对于定义和解释,请参见表末的注释 。
由于拉普拉斯变换是一个线性算子:
- 和的拉普拉斯变换等于各项的拉普拉斯变换的总和。
- 一个函数的倍数的拉普拉斯变换等于该函数的拉普拉斯变换的倍数。
使用这个线性性质 ,以及各种三角、双曲、和复数 (等)的性质,可以从其他拉普拉斯变换得到一些拉普拉斯变换,这会比直接通过使用定义更快。
单边拉普拉斯变换取时域为非负实数的函数作为输入,这就是下表中所有时域函数都乘以单位阶跃函数 u(t) 的原因。表中涉及时间延迟 τ 的条目必须是因果的 (即 τ > 0)。因果系统是 t = 0 之前的冲激响应 h(t) 都为零的一个系统。在一般情况下,因果系统的收敛区域和反因果系统是不相同的。
函数 | 时域 |
拉普拉斯s域 |
收敛区域 | 参考 |
---|---|---|---|---|
单位脉冲函数 | 所有 | 检验 | ||
延迟脉冲函数 | 单位脉冲函数 的时移 | |||
单位阶跃函数 | 对单位冲激函数积分 | |||
延迟单位阶跃函数 | 单位阶跃函数 的时移 | |||
斜坡函数 | 两次积分 单位脉冲函数 | |||
n次幂 (n 为整数) |
n次积分 单位阶跃函数 | |||
q次幂 (q 为复数) |
Re(q) > −1 |
[7][8] | ||
n次方根 | 由前一条性质中令 q = 1/n 得到。 | |||
频移的 n 次方 | Re(s) > −α | 对单位阶跃函数积分, 应用频移 | ||
延迟的频移的 n 次方 | Re(s) > −α | 对单位阶跃函数积分, 应用频移, 应用时移 | ||
指数衰减 | Re(s) > −α | 单位阶跃函数 的频移 | ||
双侧指数衰减 (仅对于双边变换) |
−α < Re(s) < α | 单位阶跃函数 的频移 | ||
指数趋近 | 单位阶跃函数 减去指数衰减 | |||
正弦 | Bracewell 1978,第227頁 | |||
余弦 | Bracewell 1978,第227頁 | |||
双曲正弦 | Re(s) > |α| | Williams 1973,第88頁 | ||
双曲余弦 | Re(s) > |α| | Williams 1973,第88頁 | ||
指数衰减 正弦波 |
Re(s) > −α | Bracewell 1978,第227頁 | ||
指数衰减 余弦波 |
Re(s) > −α | Bracewell 1978,第227頁 | ||
自然對數 | Williams 1973,第88頁 | |||
n 阶第一类贝塞尔函数 | (n > −1) |
Williams 1973,第89頁 | ||
误差函数 | Williams 1973,第89頁 | |||
注释: |
变换及其性质的应用实例
拉普拉斯变换在物理学和工程中是常用的;线性时不变系统的输出可以通过卷积单位脉冲响应与输入信号来计算,而在拉氏空间中执行此计算将卷积通过转换成乘法来计算。后者是更容易解决,由于它的代数形式。
拉普拉斯变换也可以用来解决微分方程,这被广泛应用于电气工程。拉普拉斯变换把线性差分方程化简为代数方程,这样就可以通过代数规则来解决。原来的微分方程可以通过施加逆拉普拉斯变换得到其解。英国电气工程师奧利弗·黑維塞第一次提出了一个类似的计划,虽然没有使用拉普拉斯变换;以及由此产生的演算被誉为黑維塞演算。
在工程学上的应用
应用拉普拉斯变换解常变量齐次微分方程,可以将微分方程化为代数方程,使问题得以解决。在工程学上,拉普拉斯变换的重大意义在于:将一个信号从时域上,转换为复频域(s域)上来表示,对于分析系统特性,系统稳定有着重大意义;在线性系统,控制自动化上都有广泛的应用。
參考書目、資料來源
- Korn & Korn 1967,§8.1
- Feller 1971,§XIII.1
- Korn & Korn 1967,第226–227頁
- Bracewell 2000,Table 14.1, p. 385
- K.F. Riley, M.P. Hobson, S.J. Bence, 3rd, Cambridge University Press: 455, 2010, ISBN 978-0-521-86153-3
- J.J.Distefano, A.R. Stubberud, I.J. Williams, 2nd, Schaum's outlines: 78, 1995, ISBN 0-07-017052-5
- Lipschutz, S.; Spiegel, M. R.; Liu, J., , Schaum's Outline Series 3rd, McGraw-Hill: 183, 2009, ISBN 978-0-07-154855-7 - provides the case for real q.
- http://mathworld.wolfram.com/LaplaceTransform.html (页面存档备份,存于) - Wolfram Mathword provides case for complex q
- 電機電子類科《工程數學》,ISBN 957-584-377-0,作者陳锡冠、胡曦、周祯晖老師,高立出版社。
- Korn, G. A.; Korn, T. M., 2nd, McGraw-Hill Companies, 1967, ISBN 0-07-035370-0.