拉普拉斯變換(英語:Laplace transform)是應用數學中常用的一種積分變換,又名拉氏轉換,其符號為
。拉氏變換是一個線性變換,可將一個有引數實數
的函數轉換為一個引數為複數
的函數:

拉氏變換在大部份的應用中都是對射的,最常見的
和
組合常印製成表,方便查閱。拉普拉斯變換得名自法國天文學家暨數學家皮埃爾-西蒙·拉普拉斯(Pierre-Simon marquis de Laplace),他在機率論的研究中首先引入了拉氏變換。
拉氏變換和傅立葉變換有關,不過傅立葉變換將一個函數或是信號表示為許多弦波的疊加,而拉氏變換則是將一個函數表示為許多矩的疊加。拉氏變換常用來求解微分方程式及積分方程式。在物理及工程上常用來分析線性非時變系統,可用來分析電子電路、諧振子、光學儀器及機械設備。在這些分析中,拉氏變換可以作時域和頻域之間的轉換,在時域中輸入和輸出都是時間的函數,在頻域中輸入和輸出則是複變角頻率的函數,單位是弧度每秒。
對於一個簡單的系統,拉氏變換提供另一種系統的描述方程式,可以簡化分析系統行為的時間[1]。像時域下的線性非時變系統,在頻域下會轉換為代數方程式,在時域下的捲積會變成頻域下的乘法。
形式定義[編輯]
對於所有實數
,函數
的拉普拉斯變換是函數
,定義為:

參數
是一個複數:
和
為實數。
拉普拉斯變換的其他表示法中使用
或
而非
。
是一個運算符號。
積分的含義取決於函數的類型。該積分存在的一個必要條件是在
必須在
上局部可積。對在無窮大處衰減的局部可積函數或指數式,該積分可以理解為(恰當)勒貝格積分。然而,在很多應用中有必要將其視作在
處條件收斂的反常積分。更一般的,積分可以在較弱的意義上理解,在下面會去處理。
可以用勒貝格積分定義拉普拉斯變換為有限鮑萊耳測度
[2]

一種特殊情況是當
為機率測度,或者更具體地說,是[[狄拉克
函數]]時。在運算微積中,拉普拉斯變換的測度常常被視作由分布函數
帶來的測度。在這種情況下,為了避免混淆,一般寫作

其中是 0− 的下限的簡化符號

這個極限強調任何位於 0 的質點都被拉普拉斯變換完全捕獲。雖然使用勒貝格積分,沒有必要取這個極限,但它可以更自然地與拉普拉斯–斯蒂爾吉斯變換建立聯繫。
拉普拉斯逆變換[編輯]
兩個相異的可積函數,只有在其差的勒貝格測度為零時,才會有相同的拉普拉斯變換。因此以轉換的角度而言,存在其反轉換。包括可積分函數在內,拉普拉斯變換是單射映射,將一個函數空間映射到其他的函數空間。典型的函數空間包括有界連續函數、函數空間 L∞(0, ∞)、或是更廣義,在 (0, ∞) 區間內的緩增廣義函數(函數的最壞情形是多項式成長)。
拉普拉斯逆變換有許多不同的名稱,如維奇積分、傅立葉-梅林積分、梅林逆公式,是一個復積分:

其中
是一個使
的積分路徑在收斂域內的實數。另一個拉普拉斯逆變換的公式是由Post反演公式而來。
在實務上一般會配合查表,將函數的拉普拉斯變換分換為許多已知函數的拉普拉斯變換,再利用觀察的方式產生其拉普拉斯逆變換。在微分方程式中會用到拉普拉斯逆變換,會比用傅利葉轉換的處理方式要簡單。
性質和定理[編輯]
函數
和
的拉普拉斯變換分別為
和
:

下面的表格是一系列單邊拉普拉斯變換的性質:[3]
單邊拉普拉斯變換的性質
|
時域 |
s域 |
注釋 |
線性疊加 |
 |
 |
可以用積分的基本規則證明。 |
s域一階微分 |
 |
 |
是 的一階導數。 |
s域一般微分 |
 |
 |
更一般的形式是 的 階導數。 |
時域一階微分 |
 |
 |
是一個可微函數,並且其導數為指數類型。這條性質可以通過分部積分得到。 |
時域二階微分 |
 |
 |
為二階可微且二階導數是指數型的。通過對 應用微分性質可得。 |
時域一般微分 |
 |
 |
為 階可微,其 階導數是指數型的。通過數學歸納法證明。 |
s域積分 |
 |
 |
這是由s域微分和條件收斂推導出來的。 |
時域積分 |
 |
 |
是階躍函數,注意到 是 和 的摺積。 |
時間標度 |
 |
 |
 |
s域平移 |
 |
 |
|
時域平移 |
 |
 |
表示階躍函數 |
乘法 |
 |
 |
積分沿完全處在 收斂域內的豎直線 。[4] |
摺積 |
 |
 |
|
複共軛 |
 |
 |
|
互相關 |
 |
 |
|
周期函數 |
 |
 |
是一個周期為 的周期函數,於是對所有 ,有 。這條性質是時域平移和幾何級數的結果。 |
,要求
為真分式,即分子的最高次小於分母的最高次,否則使用多項式除法將
分解
,要求sF(s)的所有極點都在左半複平面或原點為單極點。
- 由於終值定理無需經過部分分式分解或其他困難的代數就能給出長期的行為,它就很有用。如果
在右側面或虛軸上有極點,(例如
或
)這個公式的行為就是未定義的。
與冪級數的關係[編輯]
拉普拉斯變換可以看成是冪級數的一個連續模擬。如果 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 的矩為

如果 f 的前 n 階矩絕對收斂,則通過反覆在積分符號內取微分,就得到
。這在機率論里是有特別重要的意義的,其中隨機變數 X 的矩是
。下面的關係成立:
![{\displaystyle \mu _{n}=(-1)^{n}{\frac {\mathrm {d} ^{n}}{\mathrm {d} s^{n}}}E\left[e^{-sX}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c14dddd9d0d7ed6f99336d8b210432a7bde98ba5)
證明函數導數的拉普拉斯變換[編輯]
很方便用拉普拉斯變換的微分性質來求函數導數的變換。從拉普拉斯變換的基本表達式就可以推導如下:
![{\displaystyle {\begin{aligned}{\mathcal {L}}\left\{f(t)\right\}&=\int _{0^{-}}^{\infty }e^{-st}f(t)\,\mathrm {d} t\\&=\left[{\frac {f(t)e^{-st}}{-s}}\right]_{0^{-}}^{\infty }-\int _{0^{-}}^{\infty }{\frac {e^{-st}}{-s}}f'(t)\,\mathrm {d} t\quad {\text{(by parts)}}\\&=\left[-{\frac {f(0^{-})}{-s}}\right]+{\frac {1}{s}}{\mathcal {L}}\left\{f'(t)\right\},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a56ba46c739dc0c631bc51748f1a992d1508eb8)
導出

而在雙邊的情形下,

一般化的結果是

其中 f(n) 表示 f 的 n階導數,可以由歸納假設得出。
計算廣義積分[編輯]
令
,則(參見上面的表格)

或

令 s → 0,假定可以改變取極限順序,就得到性質

即便在不可以交換,此計算依然有暗示性。例如,形式上按此計算得到

這個性質的正確性可以用其他方法證明。它是傅汝蘭尼積分(Frullani integral)的一個例子。
例子還有狄利克雷積分。
與其他變換的聯繫[編輯]
與傅立葉變換關係[編輯]
連續傅立葉變換相當於計算令 s = iω 或 s = 2πfi 的雙邊拉普拉斯變換:
![{\begin{aligned}{\hat {f}}(\omega )&={\mathcal {F}}\left\{f(t)\right\}\\[1em]&={\mathcal {L}}\left\{f(t)\right\}|_{s=i\omega }=F(s)|_{s=i\omega }\\[1em]&=\int _{-\infty }^{\infty }e^{-\imath \omega t}f(t)\,\mathrm {d} t.\\\end{aligned}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf5895ba4634696d409dd1b7131df86b64fe61d0)
與z變換的聯繫[編輯]
z 變換表達式為:
![X(z)=\sum _{n=0}^{\infty }x[n]z^{-n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbf7e6d1a9bf26a3017c79040c80295cb1f2eaa1)
其中
. 比較兩者表達式有:

拉普拉斯變換簡表[編輯]
下表提供了許多常用單變數函數的拉普拉斯變換。 [5] [6] 對於定義和解釋,請參見表末的注釋 。
由於拉普拉斯變換是一個線性算子:
-

- 一個函數的倍數的拉普拉斯變換等於該函數的拉普拉斯變換的倍數。
-

使用這個線性性質 ,以及各種三角、雙曲、和複數 (等)的性質,可以從其他拉普拉斯變換得到一些拉普拉斯變換,這會比直接通過使用定義更快。
單邊拉普拉斯變換取時域為非負實數的函數作為輸入,這就是下表中所有時域函數都乘以單位階躍函數 u(t) 的原因。表中涉及時間延遲 τ 的條目必須是因果的 (即 τ > 0)。因果系統是 t = 0 之前的衝激響應 h(t) 都為零的一個系統。在一般情況下,因果系統的收斂區域和反因果系統是不相同的。
函數 |
時域
 |
拉普拉斯s域
 |
收斂區域 |
參考 |
單位脈衝函數 |
 |
 |
所有 s |
檢驗 |
延遲脈衝函數 |
 |
 |
|
單位脈衝函數
的時移 |
單位階躍函數 |
 |
 |
Re(s) > 0 |
對單位衝激函數積分 |
延遲單位階躍函數 |
 |
 |
Re(s) > 0 |
單位階躍函數
的時移 |
斜坡函數 |
 |
 |
Re(s) > 0 |
兩次積分
單位脈衝函數 |
n次冪
(n 為整數) |
 |
 |
Re(s) > 0
(n > −1) |
n次積分
單位階躍函數 |
q次冪
(q 為複數) |
 |
 |
Re(s) > 0
Re(q) > −1 |
[7][8] |
n次方根 |
![{\sqrt[{n}]{t}}\cdot u(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4345a4c33a88daeb8ec5a3002d02d62f66ff3fb) |
 |
Re(s) > 0 |
由前一條性質中令 q = 1/n 得到。 |
頻移的 n 次方 |
 |
 |
Re(s) > −α |
對單位階躍函數積分,
應用頻移 |
延遲的頻移的 n 次方 |
 |
 |
Re(s) > −α |
對單位階躍函數積分,
應用頻移,
應用時移 |
指數衰減 |
 |
 |
Re(s) > −α |
單位階躍函數
的頻移 |
雙側指數衰減
(僅對於雙邊變換) |
 |
 |
−α < Re(s) < α |
單位階躍函數
的頻移 |
指數趨近 |
 |
 |
Re(s) > 0 |
單位階躍函數
減去指數衰減 |
正弦 |
 |
 |
Re(s) > 0 |
Bracewell 1978,第227頁 |
餘弦 |
 |
 |
Re(s) > 0 |
Bracewell 1978,第227頁 |
雙曲正弦 |
 |
 |
Re(s) > |α| |
Williams 1973,第88頁 |
雙曲餘弦 |
 |
 |
Re(s) > |α| |
Williams 1973,第88頁 |
指數衰減
正弦波 |
 |
 |
Re(s) > −α |
Bracewell 1978,第227頁 |
指數衰減
餘弦波 |
 |
 |
Re(s) > −α |
Bracewell 1978,第227頁 |
自然對數 |
 |
![-{1 \over s}\,\left[\ln(s)+\gamma \right]](https://wikimedia.org/api/rest_v1/media/math/render/svg/443e300447c3c06d1a0fe2dd051073dba815ee08) |
Re(s) > 0 |
Williams 1973,第88頁 |
n 階第一類貝索函數 |
 |
 |
Re(s) > 0
(n > −1) |
Williams 1973,第89頁 |
誤差函數 |
 |
 |
Re(s) > 0 |
Williams 1973,第89頁 |
注釋:
|
- t 為實數,通常表示時間,
儘管它可以表示任意獨立空間。
- s 為復角頻率,而 Re(s) 是它的實部。
- α, β, τ 和 ω 是實數。
- n 是整數。
|
|
變換及其性質的應用實例[編輯]
拉普拉斯變換在物理學和工程中是常用的;線性時不變系統的輸出可以通過摺積單位脈衝響應與輸入信號來計算,而在拉氏空間中執行此計算將摺積通過轉換成乘法來計算。後者是更容易解決,由於它的代數形式。
拉普拉斯變換也可以用來解決微分方程式,這被廣泛應用於電氣工程。拉普拉斯變換把線性差分方程式化簡為代數方程式,這樣就可以通過代數規則來解決。原來的微分方程式可以通過施加逆拉普拉斯變換得到其解。英國電氣工程師奧利弗·黑維塞第一次提出了一個類似的計劃,雖然沒有使用拉普拉斯變換;以及由此產生的演算被譽為黑維塞演算。
在工程學上的應用[編輯]
應用拉普拉斯變換解常變數齊次微分方程式,可以將微分方程式化為代數方程式,使問題得以解決。在工程學上,拉普拉斯變換的重大意義在於:將一個信號從時域上,轉換為複頻域(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, Mathematical methods for physics and engineering 3rd, Cambridge University Press: 455, 2010, ISBN 978-0-521-86153-3
- ^ J.J.Distefano, A.R. Stubberud, I.J. Williams, Feedback systems and control 2nd, Schaum's outlines: 78, 1995, ISBN 0-07-017052-5
- ^ Lipschutz, S.; Spiegel, M. R.; Liu, J., Mathematical Handbook of Formulas and Tables, 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
- Korn, G. A.; Korn, T. M., Mathematical Handbook for Scientists and Engineers 2nd, McGraw-Hill Companies, 1967, ISBN 0-07-035370-0 .