5. ラプラス変換と定数係数線形常微分方程式
本章では,ラプラス変換の定義,公式と定理,ラプラス変換による定数係数線形常微分方程式の解法を復習する.これらは教科書に十分な説明が記載されているため,本資料では数式の証明や導出等は省略し,留意すべき点を Note に示す.
- 5.1. ラプラス変換の定義
- 5.2. ラプラス変換の公式と定理
- 5.3. ラプラス変換による定数係数線形常微分方程式の解法
- 5.4. 逆変換における部分分数への分解方法
- 余談: 何故ラプラス変換で定数係数線形常微分方程式が解けるのか
- 本章の参考文献
5.1. ラプラス変換の定義
t ≥ 0 で定義された関数 f (t) のラプラス変換 F (s) を以下に示す.
ここで s は複素数で s = σ + jω と表す事が多い.また,f (t) を原関数,F (s) を像関数,F (s) が収束する s の範囲を収束域と言う.原関数 f (t) と像関数 F (s) の関係を以下の様に表示する場合もある.
同様に,原関数 f (t) は像関数 F (s) のラプラス逆変換とも呼ばれ,以下の様に表示される.
ラプラス逆変換の公式を以下に示す.
Note:原関数 f (t) の定義域は t ≥ 0 となる事に注意せよ.式 (5‑1) から明らかな通り,原関数 f (t) の t < 0 の部分は像関数 F (s) に影響を与えない.このため,原関数 f (t) の t < 0 に意味を持たせてはならない.同様に,逆変換の結果得られる原関数 f (t) の t < 0 の部分には意味は無い.即ち,原関数 f (t) の t < 0 は不定となる.これは線形時不変システムを分析する際には殆ど問題とはならないが,定数係数線形常微分方程式をラプラス変換によって解く場合,4 章に示した方法と比較して若干の制約となる事に留意せよ.
尚,ラプラス変換は,定数係数線形常微分方程式の解法や線形時不変システムの解析に用いられるが,フーリエ解析の様に観測した信号をラプラス変換する事や,任意の原関数をラプラス変換する必要が生じる事は稀である.このため,上記のラプラス変換,逆変換の公式を実際に解く必要は殆ど無く,多くの場合変換,逆変換には以下のラプラス変換の公式や定理が用いられる.
5.2. ラプラス変換の公式と定理
ラプラス変換の主要な公式を以下に示す.
項番 | 原関数 | 像関数 | 収束域 |
---|---|---|---|
1 | |||
2 | |||
3 | |||
4 | |||
5 | |||
6 | |||
7 | |||
8 | |||
9 | |||
10 | |||
11 |
項番 1 の原関数は単位インパルス関数やデルタ関数と呼ばれる超関数である.これは,虚数と同様に物理的な事象を記述したものではなく,理論上,想像上の関数であり,下記で定義される.
ここで,f (t) = 1 とすると,単位インパルス関数の面積は 1 となる事が判る.
一方,式 (5‑5) を満たすには,単位インパルス関数は t ≠ 0 において δ (t) = 0 となる.従って,t = 0 において形式的に δ (0) = ∞ と見做される.尚,式 (5‑5), (5‑6) は積分範囲を [−∞,∞] としているが,以下に示す様に積分範囲に 0 が含まれていれば,これらの式は成り立つとされている.
項番 2 の原関数は単位ステップ関数と呼ばれる.原関数の定義域は t ≥ 0 であるから,これを項番 3 の様に表す場合もある.単位インパルス関数は,以下の通り単位ステップ関数の微分であると考えても良い.
項番 4 はランプ関数や定速度関数と呼ばれ,サーボ系の定常偏差の評価に良く用いられる.項番 10, 11 は各々項番 8, 9 を s 領域で平行移動したものである.
Note: ラプラス変換の原関数の定義域が t ≥ 0 である事から,これを明示するために原関数を sin (ωt) u (t) の様にステップ関数との積で表示する流儀もある.
最後に,ラプラス変換の主要な定理を以下に示す.
5.3. ラプラス変換による定数係数線形常微分方程式の解法
ラプラス変換による下記の 2 階定数係数線形常微分方程式の初期値問題における特殊解の解法を示す.高階の場合も解法は原理的に同じである.
上記の両辺のラプラス変換を以下に示す.
ここで,X (s), Y (s) は各々原関数 x (t), y (t) の像関数を表す.上記を Y (s) について解き,初期条件を代入すると以下の通りとなる.
上記は原関数 y (t) のラプラス変換を与えるから,これを下記の様に逆変換する事によって y (t) の初期値問題における特殊解が得られる.
逆変換は,式 (5‑11) の各項を部分分数に分解して,ラプラス変換の公式に当てはめる方法が簡易である.この方法は 5.4 に述べる.
Note: 式 (5‑11) の分母 a2 s 2 + a1 s + a0 を 0 とした方程式は,式 (5‑9) を x (t) = 0 とした同次方程式における特性方程式と等しい事に注意せよ.
Note: 式 (5‑12) の右辺第 1 項は初期条件に依存し,入力に依存しないため零入力応答,第 2 項は入力に依存し,初期条件に依存しないため零状態応答と呼ばれる.尚,零状態応答には過渡現象が含まれており,零入力応答や零状態応答は,同次方程式の一般解 (過渡解) yc (t) や非同次方程式の特殊解 (定常解) yp (t) と 1 対 1 の対応関係は無い.
5.4. 逆変換における部分分数への分解方法
式 (5-11) の各項を部分分数に分解する具体的な方法を説明する.部分分数分解は高校数学で学習しているし,直感で解いても差し支えないが,ここでは汎用性の高い留数定理 (ヘビサイドの展開定理) に基づいた方法を示す.説明を簡単にするために,下記に示した,分母の次数が 2 次,分子の次数が 1 次となる像関数の部分分数への分解方法を示す.
ここで,上記の式の分母を 0 とした以下の方程式を,特性方程式と呼ぶものとする.
Note: 分子と分母の次数が共に 2 次となる場合は,下記の様に定数項を繰り出して,分子の次数を 2 次以下とする.この定数項はインパルス関数に逆変換される.従って,この様な分子と分母の次数が等しい像関数の逆変換は,インパルス応答の様な論理上,想像上の応答を求める場合には考えられるが,現実的な過渡現象を求める場合には通常はあり得ない.
尚,制御理論では,分子の次数が分母の次数より高い場合は扱わないため,その様な場合は考えなくてよい.
Y (s) の極が実数で単極の場合
これは,特性方程式の s が異なる実数解となる場合であるから,これらを各々 α, β とすると像関数は以下の様に部分分数に分解できる.
ここで,k1, k2 は以下の様に留数定理 (ヘビサイドの展開定理) から求められる.
以上とラプラス変換表より,原関数 y (t) の特殊解は以下の通りとなる.
Y (s) の極が実数で重極の場合
これは,特性方程式の s が重解となる場合であるから,これを α とすると像関数は以下の様に部分分数に分解できる.
ここで,k1, k2 は以下の様に留数定理から求められる.
以上とラプラス変換表より,原関数 y (t) の特殊解は以下の通りとなる.
Y (s) の極が複素数の場合
これは,特性方程式の s が共役複素数となる場合であり,上に示した極が実数で単極の場合と同じ方法で解けるが,計算が煩雑となる.この場合は,以下の様に係数比較によってラプラス変換の公式に変換した方が簡単である.ここで,特性方程式における s の共役複素数の解を σ ± jω とする.
上記の係数を比較すると下記が得られる.
以上とラプラス変換表より,原関数 y (t) の特殊解は以下の通りとなる.
上記に式 (1-14) に示した三角関数の合成定理を適用しても良い.
分母の次数が 3 次以上の場合
像関数の分母の次数が 3次以上の場合の分解方法は 2次の場合と原理的に同じとなる.何故なら,n 次の多項式には複素数を含む n 個の根があるため,像関数の極が実数の場合は分母の次数が 1 次の部分分数,複素数の場合は分母の次数が 2 次の部分分数に分解できるからである.
分母の次数が 3 次以上となる場合は,以下の様に Y (s) の極が複素数と実数となる際の部分分数への分解方法が必要となる.
ここで,右辺 1 項の特性方程式における s の共役複素数の解を σ ± jω とすると,k1, k2 は以下の様に係数比較によって求める事ができる.
また,分母の次数が 3 次以上となる場合は重極の扱いも必要となる.例えば n 重極の場合,原関数は以下の様に部分分数に分解できる.
ここで,kr は以下の留数定理から求められる.
また,複素数の重極の場合は,原関数を以下の様に部分分数に分解しても良い.
余談: 何故ラプラス変換で定数係数線形常微分方程式が解けるのか
本資料を作成するにあたって,この問題を考えたが,気の利いた説明を見出せなかった.そもそも,微分方程式が何故解けるのか,との問いを考えても,教科書に載っている微分方程式は解法が判明しているものに限られ,大抵の高階非線形の微分方程式は解析的には解けず,数値計算によって数値解を求めるしか無いのである.
4.3,4.4 に述べた定数係数線形常微分方程式の解法は,これの一般解が指数関数的減衰 (或いは発散) と正弦波振動の組み合わせにしかならない事を利用している.ラプラス変換による解法もこれと根本的に異なる方法では無く,類似の点が多く見られ,解法をさらに洗練しパターン化定型化している様に思える.
すると,結局ラプラス変換の定義である式 (5‑1) による積分変換が何を意味しているのか,という事になるが,適切な説明に思い至らなかった.多くの教科書や資料に書かれている通り,ラプラス変換に物理的なイメージを見出す事は難しく,指数関数や対数関数と同様の計算量を削減する数学的手法と見做すことが妥当であろう.
一部の資料においてラプラス変換の定義式を s = jω としてフーリエ変換と類似の式として考察している場合が見受けられるが,それでは定常解が解ける事の直感的な説明にしかならないであろう.ラプラス変換の積分変換における複素指数関数の指数は s = σ + jω であるため,これは以下の図の様に複素平面上で指数関数的減衰と正弦波振動を同時に表す事を暗喩しており,この様な関数における何らかの直交性を利用した変換を行っているのではないかと想像する.
上記を σ > 0 とし更に時間軸を加えて 3 次元表示にすると EXILE のグルグルとなるのである.
本章の参考文献
明石一, "制御工学 増訂版," 大学講座 機械工学 12, 共立出版, 1979.