線形制御系設計

    線形システムの表現
    線形システムの特性解析
    制御器設計
    観測器設計
    離散時間システム

    モーションコントロール

    加速度制御
    剛体の姿勢制御

    モータドライブ

    駆動制御法
    磁極位置推定法

    システム同定

    ホワイトボックスモデル
    パラメトリックモデル

初期値・最終値の定理

ある関数 f(t)f(t) について導関数 f(t)f'(t) が存在し、原始関数 f(t)f(t) と導関数 f(t)f'(t) のラプラス変換が存在する場合に、 特定の条件下で原始関数のラプラス変換 F(s)F(s) から 原始関数 f(t)f(t) の初期値と収束値を求めることができる。この定理の適用可能条件を確認するため、ラプラス変換の定義から本定理の導出を行う。

準備

時刻 [0,)[0, \infty) で定義された関数 f(t)f(t) について、複素数 ss を用いた以下の変換が有限値に収束するとき、F(s)F(s) を関数 f(t)f(t) のラプラス変換と呼び、ラプラス変換が存在する ss の領域を収束域と呼ぶ。
F(s)0f(t)estdt\begin{align} F(s) \equiv \int^{\infty}_{0} f(t)e^{-st}dt \end{align}
ここで、ラプラス変換が存在する条件は次のように表現される。
limtf(t)est=0\begin{align} \lim_{t\rightarrow\infty} f(t)e^{-st} = 0 \end{align}
関数 f(t)f(t) が実定数 C,aC, a に対して次の条件を満たすとき、収束域を定めることできる。
f(t)<Ceatf(t)est<Ce(s+a)tlimtCe(s+a)t<0Re[s]+a>0s={cC  Re[c]>a}\begin{align} \left| f(t) \right| \lt Ce^{-at} & \rightarrow \left| f(t) \right|e^{-st} \lt Ce^{-(s + a)t}\\ \lim_{t\rightarrow\infty} Ce^{-(s + a)t} \lt 0 & \rightarrow {\rm Re}[s] + a \gt 0 \\ \therefore s =\{ c \in & \mathbb{C}\ |\ {\rm Re}[c] > -a \} \end{align}

各定理の導出

原始関数と導関数のラプラス変換が存在するとき、以下の等式が成立する。
0ddtf(t)estdt=[f(t)est]0+s0f(t)estdt=limτf(τ)esτf(0)+sF(s)=sF(s)f(0)\begin{align} \int^{\infty}_{0} \frac{d}{dt}f(t)e^{-st}dt &= \left[f(t)e^{-st}\right]^{\infty}_{0} + s\int^{\infty}_{0} f(t)e^{-st}dt \\ &= \lim_{\tau\rightarrow\infty} f(\tau)e^{-s\tau} - f(0) + sF(s)\\ &= sF(s) - f(0)\\ \end{align}

初期値の定理

両辺にss\rightarrow \infty の極限を取り、極限値が存在すればその極限値は原始関数 f(t)f(t) の初期値となる。
lims0ddtf(t)estdt=limssF(s)f(0)0=limssF(s)f(0)f(0)=limssF(s)\begin{align} \lim_{s\rightarrow \infty} \int^{\infty}_{0} \frac{d}{dt}f(t)e^{-st}dt &= \lim_{s\rightarrow \infty} sF(s) - f(0)\\ \Leftrightarrow 0 &= \lim_{s\rightarrow \infty} sF(s) - f(0)\\ \Leftrightarrow f(0) &= \lim_{s\rightarrow \infty} sF(s) \end{align}

最終値の定理

両辺にs0s\rightarrow 0 の極限を取り、極限値が存在すればその極限値は原始関数 f(t)f(t) の最終値となる。
lims00ddtf(t)estdt=lims0sF(s)f(0)0ddtf(t)dt=lims0sF(s)f(0)limtf(t)f(0)=lims0sF(s)f(0)limtf(t)=lims0sF(s)\begin{align} \lim_{s\rightarrow 0} \int^{\infty}_{0} \frac{d}{dt}f(t)e^{-st}dt &= \lim_{s\rightarrow 0} sF(s) - f(0)\\ \Leftrightarrow \int^{\infty}_{0} \frac{d}{dt}f(t)dt &= \lim_{s\rightarrow 0} sF(s) - f(0)\\ \Leftrightarrow \lim_{t\rightarrow \infty}f(t) - f(0) &= \lim_{s\rightarrow 0} sF(s) - f(0)\\ \Leftrightarrow \lim_{t\rightarrow \infty}f(t) &= \lim_{s\rightarrow 0} sF(s) \end{align}
持続振動を伴う周期信号の最終値は不定であるが、そのような原始関数のラプラス変換は s=0s = 0 を収束域に含まず、右辺の極限値が存在しないため最終値の定理を適用することはできない。