tecktom.com

基本性質(証明つき)

2026年10月15日3分で読めますAI生成教科書『基礎理論』第2章 ラプラス変換

AI 生成・木下が未勉強

制御工学入門 第2章 §2.2

要点

主要な性質(L[f]=F, L[g]=G\mathcal{L}[f]=F,\ \mathcal{L}[g]=G)

線形性: L[af+bg]=aF+bG,微分: L[f˙]=sF(s)−f(0),L[f¨]=s2F−sf(0)−f˙(0),積分: L[∫0tf  ⁣dτ]=F(s)s,時間推移: L[f(t−T)u(t−T)]=e−TsF(s),s 推移: L[e−atf(t)]=F(s+a),畳み込み: L[(f∗g)]=F(s)G(s).\begin{aligned}&\text{線形性:}\ \mathcal{L}[af+bg]=aF+bG,\\ &\text{微分:}\ \mathcal{L}[\dot f]=sF(s)-f(0),\quad \mathcal{L}[\ddot f]=s^2F-sf(0)-\dot f(0),\\ &\text{積分:}\ \mathcal{L}\Bigl[\textstyle\int_0^t f\,\mathop{}\!\mathrm{d}\tau\Bigr]=\frac{F(s)}{s},\\ &\text{時間推移:}\ \mathcal{L}[f(t-T)u(t-T)]=\mathrm{e}^{-Ts}F(s),\\ &{s}\text{ 推移:}\ \mathcal{L}[\mathrm{e}^{-at}f(t)]=F(s+a),\\ &\text{畳み込み:}\ \mathcal{L}[(f*g)]=F(s)G(s).\end{aligned}

証明の筋

微分則のみ示す(最重要)。部分積分により

L[f˙]=∫0∞f˙(t)e−st ⁣dt=[f(t)e−st]0∞+s∫0∞f(t)e−st ⁣dt=−f(0)+sF(s).\mathcal{L}[\dot f]=\int_0^\infty\dot f(t)\mathrm{e}^{-st}\mathop{}\!\mathrm{d} t =\bigl[f(t)\mathrm{e}^{-st}\bigr]_0^\infty+s\int_0^\infty f(t)\mathrm{e}^{-st}\mathop{}\!\mathrm{d} t =-f(0)+sF(s).

(Re⁡s\operatorname{Re} s が十分大きく境界項が消えることを使った。)微分が「ss を掛けて初期値を引く」に化けるのがラプラス変換の核心で、これで微分方程式が ss の代数方程式になる。畳み込み則は、第1章の「直列結合は積」の根拠でもある。□

要点

主要な変換対(u(t)u(t) は単位ステップ)

f(t)f(t)F(s)F(s)f(t)f(t)F(s)F(s)
δ(t)\delta(t)11e−at\mathrm{e}^{-at}1s+a\dfrac{1}{s+a}
u(t)u(t)1s\dfrac1ssin⁡ωt\sin\omega tωs2+ω2\dfrac{\omega}{s^2+\omega^2}
tt1s2\dfrac{1}{s^2}cos⁡ωt\cos\omega tss2+ω2\dfrac{s}{s^2+\omega^2}
tnt^nn!sn+1\dfrac{n!}{s^{n+1}}e−atsin⁡ωt\mathrm{e}^{-at}\sin\omega tω(s+a)2+ω2\dfrac{\omega}{(s+a)^2+\omega^2}

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『基礎理論』の記事一覧へ