レッスン
理論 — ラプラス変換ラボ
ラプラス変換は、時間の関数を複素変数 s の関数と取り替え、t の解析を s の代数に変えます。ここのカタログはそうした八つの対の辞書であり、それぞれの隣にこのページは四つの事実を表示します。いずれも時間領域へ戻ることなく、F(s) だけから読み取れるものです。
各記号の意味
F(s)- 変換した結果。このカタログのどの項目でも多項式の比であり、続く三行が存在しうるのはそのためです。
poles- 分母を零にする
sの値。ページ上の他のすべては、極がどこにあるかから導かれます。 ROC- 収束領域。定義する積分が実際に収束する半平面です。この行がいかに独自の情報を持たないかは、ステップ 3 が示します。
f(∞)- 最終値。数値として、
∞として、あるいは拒否として表示されます。
公式の導き方
- 対を読みます。既定の指数関数では
e^(−t)が1/(s+1)になります。時間における減衰率が、ひとつの極の位置に変わるのです。 - 分母を零と置いて極を求めます。
s+1=0から s = −1。これが極の行に出ている値です。 - 次に極の行と ROC の行を見比べ、カタログを進みながら比べ続けてください。ROC は最も右にある極の実部です。指数関数は極が −1、ROC は
Re(s) > −1。ステップは極が 0、ROC はRe(s) > 0。正弦は極が±j2でその実部は零なので、やはり ROC はRe(s) > 0。八行、規則はひとつです。 - 二つの値の行は、同じ
F(s)の反対の端から来ます。f(0⁺) = lim(s→∞) sF(s)とf(∞) = lim(s→0) sF(s)。ステップと余弦がf(0⁺) = 1で一致しながら終わり方で食い違うのは、そのためです。
表示の読み方
八つの項目を順に見て、独立に見える二つの列がひとつのように振る舞うさまを眺めてください。ステップ、ランプ、べき関数は極が原点にあり、いずれも Re(s) > 0。指数関数と二つの減衰波は実部 −1 の極を持ち、いずれも Re(s) > −1。正弦と余弦は例外に見えます——極が純虚数だからです——が、例外ではありません。±j2 の実部は零なので、原点に極を持つものと同じく Re(s) > 0 になります。次に終わり方を見てください。これも極が決めます。実部 −1 なら 0、原点の単極なら定数、原点の二重極なら ∞、純虚数の対なら終わりそのものがありません。
- 前提
t = 0より前でf(t) = 0であること——これは片側変換であり、どの項目も単位ステップに対して書かれているのはそのためです。振幅Aは極を動かさずにF(s)を定数倍するだけであり、初期値は変えても ROC や終わり方は決して変えないこと。そして、どの項目も多項式の比であること。分岐切断や真性特異点を持つ変換には読むべき極の一覧がなく、四行のうち三行は語ることを失います。- 成り立たない場合
- 最終値の定理は、条件を添えずに引用されがちな定理であり、このカタログにはその反例が入っています。正弦に無造作に当てはめると
lim(s→0) s·ω/(s²+ω²)は0。きれいで、明確で、そして誤りです。sin(ωt)に最終値はありません。この定理が成り立つのはsF(s)の極が厳密に左半平面にあるときだけで、正弦の極は虚軸上にあります。ページは極限を報告せずに拒否します。その行に 存在しない — 振動 と出て、公式が平然と出す 0 が出ないのはそのためです。ランプは同じ試験に反対側から落ち、∞を受け取ります。八項目のうち二つが、残る六つから一般化しようとしていた規則を破るのです。
全プロセスの詳細解説
-
f(t) = e −1.5t の端点値と減衰 6 ステップ
t ≥ 0 における f(t) = e−1.5t。定義から F(s) を求め、同一の計算過程から極と収束領域を読み取り、変換を逆変換することなく両端点値を確定せよ。その上で、どちらの端点定理も答えてくれない問いに答えよ。減衰には実際どれくらいの時間がかかるだろうか。
-
変換は単一の積分であり、パネル上のそれ以外の要素はすべてこの積分の評価結果から導かれる副産物である。両方の指数関数は底を共有しているため、−(s + 1.5)t という単一の指数にまとめられる。
-
上限の計算こそが肝心な部分である。t が大きくなるときに e−(s+1.5)t が 0 に減衰するのは s + 1.5 の実部が正の場合に限られ、そのひとつの不等式から残る両方の項目が得られる。すなわち、収束領域 Re(s) > −1.5 と、その境界上にちょうど位置する s = −1.5 の極である。極は暗記すべき別の事実ではなく、積分が存在しなくなる s の値そのものである。
-
初期値定理を単に引用するのではなく導出してみよう。大きな s は e−st の重みを小さな t 側へ極めて強く寄せるため、sF(s) は原点付近の f を調べる手段となる。ここでは s/(s + 1.5) は 1 に近づき、e0 = 1 がそれを裏付ける。一度も逆変換していない変換から f(0+) を読み取ったのである。
-
最終値を求めるには、s を逆の方向へ動かす。この極限には適用条件(ライセンス)が付いている。すなわち、sF(s) のすべての極が虚軸の厳密に左側に位置するときにのみ定理として成立するのであり、ここでの唯一の極は −1.5 にある。以下に示す振動の事例こそ、この条件が防ごうとしている事態である。
-
どちらの定理も時間を刻む時計を持っていない。一方は t = 0 を、他方は t = ∞ を記述し、その目で曲線がマイクロ秒で変化するか一世紀かかるかはわからない。不足しているスケールを求めるには、f(τ) = f(0)/e を解けばよい。
-
ここでパネルを離れ、信号が開始時の 1% にまで低下するのはいつかを考えてみよう。
解答
F(s) = 1/(s + 1.5)、−1.5 の極、および τ = 0.667 s — パネルには極と時間定数が表示されており、その両方を単一の積分から導出した。代わりに最後の行に注目しよう。ln(100)/a を 1/a で割ると a が相殺されるため、減衰率が何であれ 1% に達するには常に 4.61 時間定数 かかる。4.61 はこの信号の性質ではなく、数値 100 の属性である。極が制御するのは、単一の τ がどれだけ続くかだけである。a を2倍にして 3 にすると、このページのすべての所要時間は半減する。逆の方向、すなわち虚軸に向かってスライドさせると、τ は無限大へ向かい、極が軸に達した時点で最終値は完全になくなる。これが次の問題である。
-
-
0を返す f(t) = sin(4t) の最終値の極限 5 ステップ
t ≥ 0 における f(t) = sin(4t)。ここでは最終値の極限の計算は極めてスムーズに実行され、0 を返す。発散するものもなく、不定形になるものもない。それにもかかわらず、なぜ 0 が誤った答えであるのか、そして定理が実際には何をチェックするよう求めていたのかを解き明かせ。
-
変換表に頼るのではなく、前問の結果からこの変換を構築しよう。オイラーの公式は正弦関数を一対の複素指数関数に分割し、それぞれが積分からすでに導出した規則に従う。
-
通分してまとめる。分子の j4 − (−j4) が 2j と相殺されるため、複素数による構成から s の実関数が得られる。パネルでは分母が s² + 4² と表記されているが、これは同じことである。
-
極の位置を特定する。分母は s = ±j4 で 0 となり、その実部は 0 である。負でも正でもなく、ちょうど虚軸上に存在する。これこそが、上記の適用条件(ライセンス)が除外するために書かれたケースである。
-
妨げるものは何もないので、とにかく最終値の極限を計算してみる。分子は 0 に近づき、分母は 16 に近づき、商は 0 となる。算術計算は、あなたにそれを適用する権利がなかったことを警告してはくれない。
-
それを関数自体と比較してみよう。sin(4t) の周期は 2π/4 = 1.5708 s であり(パネルでは 1.57 s に四捨五入される)、各周期の四分の一が経過した時点で +1 に戻る。永遠に 1 に戻り続ける関数が 0 に収束することも、何らかの値に収束することもあり得ない。パネルの最終値の行には数値が表示されず、代わりに信号が振動していると表示される。
解答
極は ±j4、周期 1.57 s、および最終値はまったく存在しない — 極限の計算自体はすっきりと 0 に評価されるにもかかわらず、である。教訓は、算術計算が脆弱であるということではなく、算術計算そのものが定理ではないということだ。両方の sF(s) を並べて比較すると、その違いは極の位置が一箇所異なるだけである。0 が単に誤りであるだけでなく興味深い理由は、それがすべての近傍の問いに対する正しい答えになっているからである。正弦関数を任意の a > 0 で減衰させると、極は −a ± j4 に移動し、定理が適用されて最終値はどれほど小さな a であれ真正の 0 となる。この極限は近傍のすべての問題に対する答えを返しているが、当の問題に対する答えは返していない。そして、証明可能な 0 であっても役に立たないことがある。a = 0.1 のとき、問題 1 の時計によると 1% に低下するまでに ln(100)/0.1 = 46 s かかり、これはこの周波数での約 29 周期分に相当する。
-
参考文献 (3)
- When the final-value theorem applies, and when the table must say it does not: E. Gluskin, "Let us teach this generalization of the final-value theorem." European Journal of Physics 24(6), 591–597, 2003.
- Pole location and stability, at length: Katsuhiko Ogata, Modern Control Engineering, 5th edition. Prentice Hall, 2010. ISBN 978-0-13-615673-4.
- Where the region of convergence is derived from the pole positions: A. V. Oppenheim & A. S. Willsky, Signals and Systems, 2nd edition. Prentice Hall, 1997 — chapter 9, on the Laplace transform and its region of convergence. ISBN 978-0-13-814757-0.