2010/4/19 1
制御工学I第二回 ラプラス変換
平成22年4月19日
2010/4/19 2
授業の予定
• 制御工学概論(1回)– 制御技術は現在様々な工学分野において重要な基本技術となっている。工学における制御工学
の位置づけと歴史について説明する。さらに、制御システムの基本構成と種類を紹介する。
• ラプラス変換(1回)– 制御工学、特に古典制御ではラプラス変換が重要な役割を果たしている。ラプラス変換と逆ラプラ
ス変換の定義を紹介し、微分方程式のラプラス変換について解説する。
• 制御システムのモデリングと伝達関数(3回)– システムの相似性について概説し、システムの入出力特性を表す手法である伝達関数について詳
述する。システムの図的表現であるブロック線図とその等価変換について解説する。
• 過渡特性(3回)– システムの過渡状態を評価する方法であるインパルス応答とインディシャル応答について解説する。
システムの速応性や安定性の指標である整定時間、立ち上がり量、行き過ぎ量について述べる。
• 安定性(2回)– システムの安定性の概念を述べ、安定性を判定する代数的方法であるラウス-フルビッツの方法に
ついて説明する。
• 周波数特性(4回)– 周波数領域におけるシステムの特性を周波数特性という。周波数特性と伝達関数との関係を説明
し、ベクトル軌跡とボード線図の作成方法を説明する。
2010/4/19 3
ラプラス変換
• Pierre Simon Laplace– 1749/Mar./23 – 1827/Mar./5– フランス
2010/4/19 4
ラプラス変換
• 線形常微分方程式– Laplace変換
• 微分・積分演算を,複素変数(演算子)sを用いて表す
事により,代数演算として扱う事を可能にする変換
• 代数方程式の解を求める事で,微分方程式を求解
• 逆Laplace変換により,通常の微分方程式の解として
表す
R
C
i
ES
vdtdCCv
dtdiq
dtd
===
CqRivRiE +=+=
ECkeqt
RC +=−
1一般解
特解
2010/4/19 5
複素変数・関数の復習
• ラプラス変換では実関数から複素関数へ変換
• 複素関数
– 複素変数の性質を持つ
– 複素変数に対する関数も複素量として表される
– 振幅
– 位相
– 逆回転の(共役)複素数
ωσ js +=
( ) yx jFFsF +=22
yx FF +( )xy FFarctan
( ) yx jFFsF −=
2010/4/19 6
ラプラス変換
• 定義– 時間関数。 に対して
– 複素変数:ラプラス演算記号
– 関数 のラプラス変換
• ラプラス変換の定義
• 部分積分
( )tf ( ) 0=tf0<ts
( )sF ( )tf
( )[ ] ( ) ( ) ( ) ( )∫∫∞ −∞−∞ −
−−⎥
⎦
⎤⎢⎣
⎡−
===0
00
dts
edt
tdfs
etfdtetfsFtfLstst
st
[ ] ∫∫ ′−=′ gdxffgdxfg
2010/4/19 7
ラプラス変換
• ラプラス変換の効能
– 線形常微分方程式を代数方程式に変換できる
• 従って
0lim =−
∞→
st
te
( ) ( ) ( )[ ] ( )
( ) ( )⎥⎦⎤
⎢⎣⎡+=
−−−∞
−= ∫
∞ −−∞−
dttdfL
ssf
dtedt
tdfs
efefs
sF stss
10
1010
0
( ) ( ) ( )0fssFdt
tdfL −=⎥⎦⎤
⎢⎣⎡
ラプラス変換関数と初期値で表せる
2010/4/19 8
ラプラス変換
• 高次の微分方程式の変換
( ) ( )
( ) ( )
( ) ( )
( ) ( )[ ] ( )( ) ( ) ( )00
00
0
0
2
2
2
fsfsFsffssFs
ftfdtdsL
fsFs
tfdtdLtf
dtdL
′−−=
′−−=
′−⎥⎦⎤
⎢⎣⎡=
′−′=
⎥⎦⎤
⎢⎣⎡ ′=⎥
⎦
⎤⎢⎣
⎡
( ) ( ) ( ) ( )∑=
−−=⎥⎦
⎤⎢⎣
⎡ n
k
knnnn
n
sfsFstfdtdL
10
2010/4/19 9
ラプラス変換
• 原関数がt=0で不連続の場合
– t=0で微分できない
• ステップ関数等
– 0の周りで分ける
( ) ( )−≠+ 00 ff
( ) ( ) ( )+−=⎥⎦⎤
⎢⎣⎡
+ 0fssFdt
tdfL
( ) ( ) ( )−−=⎥⎦⎤
⎢⎣⎡
− 0fssFdt
tdfL 0<tただし ( ) 0=tf
ラプラス変換では,微分方程式を代数方程式の形で表せる。微分方程式を求解するという点では,まだその効能は不明
2010/4/19 10
ラプラス逆変換
• ラプラス変換した関数から原関数を求める
• Bromwich積分(複素積分)
– ただしcは定数,特異点より大きい必要有。
– この積分はめんどい
• 部分分数展開して,逆変換を簡単化する
( )[ ] ( ) ( )∫∞+
∞−
−− ==jc
jc
st sdesFj
tfsFLπ211
2010/4/19 11
ラプラス逆変換
• 原関数f(t)のラプラス変換F(s)– A(s),B(s)はsの多項式
– A(s)の次数はB(s)より大
– 部分分数展開
• 分母関数の因数分解必要
– ラプラス逆変換
( ) ( ) ( ) ( )sFsFsFsF n+++= L21
( ) ( )( )sAsBsF =
( )[ ] ( )[ ] ( )[ ] ( )[ ]( ) ( ) ( )tftftf
sFLsFLsFLsFL
n
n
+++=+++= −−−−
L
L
21
12
11
11
2010/4/19 12
ラプラス逆変換
• 関数F(s)が重根を持たない場合
– 部分分数展開
( ) ( )( )
( )( ) ( )( )( ) ( )
n
n
n
m
psa
psa
psa
pspspszszszsK
sAsBsF
+++
++
+=
++++++
==
L
L
L
2
2
1
1
21
21 nm <
( ) ( )( )
( ) ( )
( ) ( )
k
psk
n
nk
k
k
kk
psk
a
psps
apsps
a
psps
apsps
a
sAsBps
k
k
=
⎥⎥⎥⎥
⎦
⎤
⎢⎢⎢⎢
⎣
⎡
++
++++
+
+++
+++
=⎥⎦
⎤⎢⎣
⎡+
−=
−= LL
2
2
1
1
係数akが求まる
2010/4/19 13
ラプラス逆変換
• 関数F(s)が重根を持たない場合
– 部分分数の逆変換
– 全体
tpk
k
k keaps
aL −− =⎟⎟⎠
⎞⎜⎜⎝
⎛+
1
( ) ( )[ ]tp
ntptp neaeaea
sFLtf−−−
−
+++=
=
L2121
1
2010/4/19 14
線形時不変常微分方程式の解法
• 微分方程式の求解において積分定数の算出が必要
• ラプラス変換では初期値込みで計算
• d/dtをsに置き換えて計算できる
• ラプラス変換での微分方程式の求解法– 微分方程式をラプラス変換し,sに関する代数方
程式に変換
– ラプラス逆変換で時間領域の解を得る
2010/4/19 15
ラプラス変換の適用範囲
• 関数f(t)のラプラス変換が存在するには,ラプ
ラス積分が収束する必要有
• 収束の条件– 任意のt>0において,f(t)が区分連続
– 関数f(t)は指数α位の関数(指数位数αの指数関数)
• 収束座標σ=-αにおいて0への収束条件はσ>-α
0lim =−−
∞→
tt
tAee ασ
( ) tAetf α−=
( )∫∞ −
0dtetf st
は,sの実部であるσが収束座標実部より大きい時収束
2010/4/19 16
ラプラス変換の収束性
• ラプラス変換が発散する(定義不可)の例
– ただし,時間を有限に区切れば収束する。
( ) 2tetf =
( )[ ] ( )( )
( ) ∞→=
==
==
∫∫∫∫∫
∞ −−
∞ −−∞ −
∞ −∞ −
0
00
00
224
2
422
22
2
dtee
dtedte
dteedtetftfL
ss
ss
t
tstt
sttst
( )⎪⎩
⎪⎨⎧
<<∞<≤≤=tTt
Ttetft
,000
2
2010/4/19 17
ラプラス変換の諸性質
• ラプラス変換の線形作要素としての性質– 関数の定数倍A
– 和
( )[ ] ( )[ ]tfALtAfL =
( ) ( )[ ] ( )[ ] ( )[ ]tfLtfLtftfL 2121 +=+
2010/4/19 18
ラプラス変換の諸性質
• 指数関数
– ただし,収束するにはsの実部は-αより大
( )⎩⎨⎧
≤<
= − tAet
tf t 000
α
( )[ ] ( )( ) ( )[ ]
α
ααα
α
+=
+−==
==
∞+−∞ +−
∞ −−∞ −
∫
∫∫
sA
es
AdteA
dteAedtetftfL
tsts
sttst
00
00
t0
f(t)
2010/4/19 19
ラプラス変換の諸性質
• ステップ関数
– ただし,収束するにはsの実部は0より大
– A=1の場合を単位ステップ関数
( )⎩⎨⎧
≤<
=tA
ttf
000
( )[ ] ( )
[ ]
sA
esAdteA
dteAdtetftfL
stst
stst
=
−==
==
∞−∞ −
∞ −∞ −
∫
∫∫
00
00
t0
f(t)
2010/4/19 20
ラプラス変換の諸性質
• ランプ(傾斜)関数
– 部分積分
– 同様にして
( )⎩⎨⎧
≤<
=tAt
ttf
000
( )[ ] ( )
[ ]
20
00
00
sAdte
sA
dtesAte
sA
dteAtdtetftfL
st
stst
stst
==
+−=
==
∫
∫
∫∫
∞ −
∞ −∞−
∞ −∞ −
t0
f(t)
( ) 3
2 12 sttf →=
( ) 1
1! +→= n
n
snttf
2010/4/19 21
線形時不変常微分方程式の求解例1
• 二次の微分方程式と初期値
– ラプラス変換
( ) ( ) bxaxxxx ===++ 0,0,023 &&&&
( )[ ] ( )( )[ ] ( ) ( ) ( )( )[ ] ( ) ( ) ( ) ( ) bsasXsxsxsXstxL
assXxssXtxLsXtxL
−−=−−=
−=−==
22 000
&&&
&
( )[ ] ( )[ ] ( ) 0232 =+−+−− sXassXbsasXs
( ) ( ) ( )[ ] ( ) ( )[ ] ( ) 0203002 =+−+−− sXxssXxsxsXs &
[ ] ( ) 03232 =−−−++ absasXss
[ ] ( ) absasXss 3232 ++=++
2010/4/19 22
線形時不変常微分方程式の求解例1
• 部分分数展開
• 逆変換
( ) ( )( ) 212
213
233
2 ++
−++
=++++
=++++
=s
bas
bass
absass
absasX
( ) ( ) ( ) 12
231
11
bas
absasXss
s
+=
+++
=+−=
−=S+1の項
S+2の項 ( ) ( ) ( ) 1132
22 −
+=
+++
=+−=
−=
bas
absasXss
s
( ) ( )[ ]
( ) ( ) tt ebaebas
baLs
baLsXLtx
2
111
221
2
−−
−−−
+−+=
⎥⎦⎤
⎢⎣⎡
++
−⎥⎦⎤
⎢⎣⎡
++
==
この例は,重根無しの最も簡単なもの。もう少し複雑な微分方程式を解くために,ラプラス変換の諸性質を知る事が必要
2010/4/19 23
おまけ
2010/4/19 24
ラプラス変換の諸性質
• 正弦波関数
– オイラーの公式
( )⎩⎨⎧
≤<
=ttA
ttf
0sin00
ω
( )[ ] ( ) ( )( ) ( )
( ) ( )
22
0
0
00
112
112
2
2
ωω
ωω
ωωωω
ωω
ωω
+=⎥
⎦
⎤⎢⎣
⎡+
−−
=
⎥⎦
⎤⎢⎣
⎡+
+−
−=
−=
−==
∞+−−
∞ +−−
∞ −−∞ −
∫
∫∫
sA
jsjsjA
ejs
ejsj
A
dteej
A
dteeej
AdtetftfL
tsjtsj
tsjtsj
sttjtjst
( )tjtj eej
t ωωω −−=21sin
t0
f(t)
2010/4/19 25
ラプラス変換の諸性質
• 余弦波関数
– オイラーの公式
( )⎩⎨⎧
≤<
=ttA
ttf
0cos00
ω
( )[ ] ( ) ( )( ) ( )
( ) ( )
22
0
0
00
112
112
2
2
ωωω
ωωωω
ωω
ωω
+=⎥
⎦
⎤⎢⎣
⎡+
+−
=
⎥⎦
⎤⎢⎣
⎡+
−−
−=
+=
+==
∞+−−
∞ +−−
∞ −−∞ −
∫
∫∫
sAs
jsjsA
ejs
ejs
A
dteeA
dteeeAdtetftfL
tsjtsj
tsjtsj
sttjtjst
( )tjtj eet ωωω −+=21cos
t0
f(t)
2010/4/19 26
複素変数・関数の復習
• 複素関数の微分(正則関数←微分可能)
– 変数s• 直交平面上で極限のとり方が一意でない
– 実軸上での微分
– 虚軸上での微分
( ) ( ) ( )sG
ssGssGsG
dsd
ss ΔΔ
=Δ
−Δ+=
→Δ→Δlimlim
00
ωσ Δ+Δ=Δ js
( )σσσσσ ∂
∂+
∂∂
=⎟⎟⎠
⎞⎜⎜⎝
⎛Δ
Δ+
ΔΔ
=→Δ
yxyx GjGG
jGsGdsd lim
0
( )ωωωωω ∂
∂+
∂∂
−=⎟⎟⎠
⎞⎜⎜⎝
⎛Δ
Δ+
ΔΔ
=→Δ
yxyx
j
GGjjG
jjGsG
dsd lim
0
2010/4/19 27
複素変数・関数の復習
• 複素関数の微分
– 複素微分可能
• どのような近づけ方でも一つの値に収束
– コーシー・リーマンの関係
ωωσσ ∂
∂+
∂∂
−=∂
∂+
∂∂ yxyx GGj
GjG
⎪⎪⎩
⎪⎪⎨
⎧
∂∂
−=∂
∂∂
∂=
∂∂
ωσ
ωσ
xy
yx
GjG
GG