ラプラス変換

大きな区分

現在地と前後の項目（サブメニュー）

数列,関数の極限
合成関数
逆関数
逆三角関数
双曲線関数
関数の連続性
εδ論法
フーリエ係数,自然数の累乗の逆数の和

無限級数
収束半径，テイラー展開，マクローリン展開
テイラーの定理，マクローリンの定理
マクローリン展開
逆三角関数の微分法
偏微分
2変数関数の極値,ラグランジュの未定乗数法
ラプラス変換の基本
連分数
ガンマ関数,ベータ関数
ベクトル解析の公式

→ 携帯版は別頁

==ラプラス変換の基本==

【1. はじめに】

　ラプラス変換とは何かということを，数式を使って正確に定義してみても，初めてそれを学ぶ人にはそもそもどのようなものなのかというイメージがないので，伝わらない．ここでは，具体例でイメージをつかんでもらって，簡単な作業ができるところまでを目指します．（あまり高度な内容は扱いません）．
　 $t$ を変数とする関数 $f(t)$ が与えられたとき，これに対して次のような定積分で定義される関数 $X(s)$ を考える． $X(s)=\int_{t_1}^{t_2}f(t)K(s,t)dt$
　このような変換は， $K(s,t)$ を核とする積分変換と呼ばれる．
　積分変換の例として，フーリエ変換やラプラス変換があるが，ここではラプラス変換を扱う．
　ラプラス変換では，核 $K(s,t)$ として，「微積分でとてもよい働きをする」指数関数 $e^{-st}$ を使う．これにより，ｎ回微分方程式がｎ次方程式に書き換えられる．
　この教材では，ラプラス変換の具体例とそれを利用して微分方程式を解くところまでを扱う．
　おそらく，この教材を眺めているだけでは身に着かないので，鉛筆を持って簡単な問題を幾つか解くことが習得のための秘訣ですのでよろしく．

【2. ラプラス変換とは】

　 $t$ を変数とする関数 $f(t)$ が与えられたとき，これに対して次のような定積分で定義される関数 $X(s)$ を考えて， $f(t)$ のラプラス変換という．
$X(s)=\int_{0}^{\infty}f(t)e^{-st}dt$

　元の関数が $t$ を変数とする関数で，変換後の関数が $s$ を変数とする関数とするとき，「入力変数を $t$ ，出力変数を $s$ とする」などと言う．

【3. ラプラス変換で使われる記号】

　関数 $f(t)$ のラプラス（Laplace）変換が $X(s)$ であるとき，すなわち
$X(s)=\int_{0}^{\infty}f(t)e^{-st}dt$
のとき
$X(s)=\mathcal{L}[f(t)](s)$
と書く．（ $\mathcal{L}$ はラプラスの頭文字Ｌを筆記体で書いたもの）
　 $y$ のラプラス変換を $\mathcal{L}(y)$ ， $y\apos$ のラプラス変換を $\mathcal{L}(y\apos)$ ， $e^t$ のラプラス変換を $\mathcal{L}(e^t)$ という書き方も使う．
　このとき，元の関数は独立変数，従属変数とも実数であるが，変換後の関数は独立変数，従属変数とも複素数で考える．（ただし，このページで取り上げる問題のレベルでは，複素数であることを意識しなくてもできる）
　 $X(s)$ に元の関数 $f(t)$ を対応させる変換は，ラプラス逆変換と呼ばれ
$f(t)=\mathcal{L^{-1}}[X(s)](t)$
と書く．

【4. ラプラス変換を用いた微分方程式の解き方】

［簡単な図解でイメージ作り］

元の微分方程式
$\{\begin{matrix}y\apos=y \\ y(0)=1\end{matrix}$

$\rightarrow$

変換された方程式
$s\mathcal{L}(y)-y(0)=\mathcal{L}(y)$

$\downarrow$

解の方程式
$y=e^x$

$\leftarrow$

変換された解
$\mathcal{L}(y)=\frac{1}{s-1}$

（注1） yやy'，その他よく使う関数のラプラス変換は，あらかじめ一覧表にしておく．
（注2）ラプラス逆変換も，個別に計算をすることはめったになく，あらかじめ作っておいた表の右欄から左欄を読むという使い方を考える．

［最低限覚えるべき手順］
(1) $y$ のラプラス変換は， $\mathcal{L}(y)$
(2) $y\apos$ のラプラス変換は，
$\mathcal{L}(y\apos)=s\mathcal{L}(y)-f(0)$

（証明）
$\mathcal{L}(y)=\int_{0}^{\infty}f(t)e^{-st}dt$
のとき
$\mathcal{L}(y\apos)=\int_{0}^{\infty}f\apos(t)e^{-st}dt$
次の部分積分を行う

$f\apos(t)$	$f(t)$
$g(t)=e^{-st}$	$g\apos(t)=-se^{-st}$

$\mathcal{L}(y\apos)=\left[f(t)e^{-st}\right]_0^{\infty}+ s\int_{0}^{\infty}f(t)e^{-st}dt$
ラプラス変換は
$\lim_{t\rightarrow\infty}f(t)e^{-st}=0$
となる関数に対して定義される．
もしそうでなければ
$\mathcal{L}(y)=\int_{0}^{\infty}f(t)e^{-st}dt$
は収束しないから
また，次の式が成り立つ
$f(0)e^{0}=f(0)$
したがって
$\mathcal{L}(y\apos)=s\int_{0}^{\infty}f(t)e^{-st}dt-f(0)=s\mathcal{L}(y)-f(0)$

(3) $y\apos\apos$ のラプラス変換は，
$\mathcal{L}(y\apos\apos)=s\mathcal{L}(y\apos)-y\apos(0)$
$=s\{s\mathcal{L}(y)-y(0)\}-y\apos(0)$
$=s^2\mathcal{L}(y)-sy(0)-y\apos(0)$
(4) $t^n,\hspace{3}e^{nt},\hspace{3}\sin nt,\hspace{3}\cos nt$ などよく使う関数のラプラス変換は，一覧表を見て使う．
(*) $\mathcal{L}(y_1)=\mathcal{L}(y_2)$ ならば $y_1=y_2$ は言えるので，表を逆に読めば元の関数が分かる．

　なぜ， $e^{-st}$ を掛けるのかについての，だいたいの説明．
　ラプラス変換
$X(s)=\int_{0}^{\infty}f(t)e^{-st}dt$
が収束するためには，この被積分関数の極限値が０でなければならない．

$\lim_{t\rightarrow\infty}f(t)e^{-st}=0$
　もしそうでなければ，たとえば正の値 $a\hspace{3}(\gt 0)$ に収束するのならば，十分大きな $t=t_0$ の値に対して，被積分関数は，ほぼ $a$ に等しいから，上記の積分は $a\times(\infty-t_0)$ よりも大きくなって，収束しない．被積分関数が負の値に収束するときも，同様にして積分は負の無限大となり，収束しない．
　結局，ラプラス変換が収束するためには，被積分関数の極限値が０になることが必要条件である．

　微積分でとてもよい働きをするのが指数関数であるが，たとえば $f(t)=1$ のような簡単な関数を考えてみると， $K(s,t)$ として $e^{st}$ を使うと
$X(s)=\int_{0}^{\infty}e^{st}dt$
は発散してしまう．指数関数の内で， $t\rightarrow\infty$ のとき，０に収束するのは $e^{-st}$ である．
　また，この関数は $t\lt 0$ のとき，急速に大きくなるから，ラプラス変換を収束させるためには，積分区間として $t\gt 0$ の区間だけを使う．
　結局， $t\gt 0$ の区間でラプラス変換の積分を収束させるために，急速に0に収束する関数 $e^{-st}$ を使っていると解釈できる．

【用語】　収束座標
　 $s\gt\alpha$ ならばラプラス変換が収束し， $s\lt\alpha$ ならば収束しないとき， $\alpha$ を「収束座標」という．
　正確に言えば， $s$ として複素数を考えるので， $\alpha$ はその実部であるが，ここでは初めから実数を考えればよい．

【5. よく使うラプラス変換とその証明】

(1) $\mathcal{L}[1](s)=\frac{1}{s}$ （収束座標は0）

$\mathcal{L}[1](s)=\int_0^{\infty}1\cdot e^{-st}dt=\left[\frac{e^{-st}}{-s}\right]_0^{\infty}$ $=\frac{0}{-s}-\frac{1}{-s}=\frac{1}{s}\hspace{10}(s\gt 0)$

(2) $\mathcal{L}[t^n](s)=\frac{n!}{s^{n+ 1}}$ （収束座標は0）

$\mathcal{L}[t^n](s)=\int_0^{\infty}t^n\cdot e^{-st}dt$
次の部分積分を行う

$f(t)=t^n$	$f\apos(t)=nt^{n-1}$
$g\apos(t)=e^{-st}$	$g(t)=\frac{e^{-st}}{-s}$

$\int_0^{\infty}t^n\cdot e^{-st}dt=\left[t^n\cdot\frac{e^{-st}}{-s}\right]_0^{\infty}-\int_0^{\infty}nt^{n-1}\frac{e^{-st}}{-s}dt$
$s\gt 0$ のとき， $\lim_{t\rightarrow\infty}\frac{t^n}{e^{st}}=0$
$s\lt 0$ のとき， $\lim_{t\rightarrow\infty}\frac{t^n}{e^{st}}=\infty$
だから，このラプラス変換が収束するには $s\gt 0$ が条件になる．このとき
$\int_0^{\infty}t^n\cdot e^{-st}dt=\frac{n}{s}\int_0^{\infty}t^{n-1}e^{-st}dt$
次々に，この部分積分を繰り返すと
$\int_0^{\infty}t^n\cdot e^{-st}dt=\frac{n!}{s^n}\int_0^{\infty}e^{-st}dt=\frac{n!}{s^n}\left[\frac{e^{-st}}{-s}\right]_0^{\infty}$
$=\frac{n!}{s^{n+ 1}$

(3) $\mathcal{L}[e^{at}](s)=\frac{1}{s-a}}$ （収束座標は $a$ ）

$\mathcal{L}[e^{at}](s)=\int_0^{\infty}e^{at}\cdot e^{-st}dt=\int_0^{\infty}e^{(a-s)t}dt$
この式は， $s\gt a$ のとき収束する
$=\left[\frac{e^{(a-s)t}}{a-s}\right]_0^{\infty}=\frac{1}{s-a}$

(4) $\mathcal{L}[\sin at](s)=\frac{a}{s^2+ a^2}}$ （収束座標は $0$ ）

$\mathcal{L}[\sin at](s)=\int_0^{\infty}\sin at\cdot e^{-st}dt$
次の部分積分を行う

$f(t)=\sin at$	$f\apos(t)=a\cos at$
$g\apos(t)=e^{-st}$	$g(t)=\frac{e^{-st}}{-s}$

$I=\int_0^{\infty}\sin at\cdot e^{-st}dt$
$=\left[\sin at\cdot\frac{e^{-st}}{-s}\right]_0^{\infty}-\int_0^{\infty}a\cos at\cdot\frac{e^{-st}}{-s}dt$
ここで， $s\gt 0$ のとき， $\lim_{t\rightarrow\infty}e^{-st}=0$ だから， $\left[\sin at\cdot\frac{e^{-st}}{-s}\right]_0^{\infty}=0$
$I=\frac{a}{s}\int_0^{\infty}\cos at\cdot e^{-st}dt$
さらに，次の部分積分を行う

$f(t)=\cos at$	$f\apos(t)=-a\sin at$
$g\apos(t)=e^{-st}$	$g(t)=\frac{e^{-st}}{-s}$

$I=\frac{a}{s}\left(\left[\cos at\cdot\frac{e^{-st}}{-s}\right]_0^{\infty}-\int_0^{\infty}(-a)\sin at\cdot\frac{e^{-st}}{-s}dt\right)$
ここで，
$\left[\cos at\cdot\frac{e^{-st}}{-s}\right]_0^{\infty}=0+\frac{1}{s}=\frac{1}{s}$ だから
$I=\frac{a}{s}\left(\frac{1}{s}-\frac{a}{s}\int_0^{\infty}\sin at\cdot e^{-st}dt\right)$
$I=\frac{a}{s}\left(\frac{1}{s}-\frac{a}{s}I\right)$
$I=\frac{a}{s^2}-\frac{a^2}{s^2}I$
$(s^2+ a^2)I=a$
$I=\frac{a}{s^2+ a^2}$

(5) $\mathcal{L}[\cos at](s)=\frac{s}{s^2+ a^2}}$ （収束座標は $0$ ）
証明は(3)とほぼ同様［略］

(6)推移則［シフト公式］

$\mathcal{L}[f(t)]=F(s)$ のとき
$\mathcal{L}[e^{at}f(t)]=F(s-a)$

入力関数に $e^{at}$ を掛けると，出力関数は $s$ の正の向きに $a$ だけシフト［平行移動］される

$\mathcal{L}[e^{-at}f(t)]=F(s+ a)$

入力関数に $e^{-at}$ を掛けると，出力関数は $s$ の負の向きに $a$ だけシフト［平行移動］される

（証明）
$\mathcal{L}[f(t)]=\int_0^{\infty}f(t)e^{-st}dt=F(s)$
のとき
$\mathcal{L}[e^{at}f(t)]=\int_0^{\infty}f(t)e^{at}e^{-st}dt$
$=\int_0^{\infty}f(t)e^{-(s-a)t}dt=F(s-a)$
だから，成り立つ．
$\mathcal{L}[e^{-at}f(t)]=F(s+ a)$ も同様にして示せる．

　推移則［シフト公式］を使うと，各々の公式が次のように関連していることが分かる．
(1)→(3)
$\mathcal{L}[1](s)=\frac{1}{s}$ …(1)
だから
$\mathcal{L}[e^{at}](s)=\frac{1}{s-a}}$ …(3)

(2)→(*3)　(*3)は後出
$\mathcal{L}[t^n](s)=\frac{n!}{s^{n+ 1}}$ …(2)
だから
$\mathcal{L}[t^ne^{at}](s)=\frac{n!}{(s-a)^{n+ 1}}$ …(*3)

(4)→(*1)　(*1)は後出
$\mathcal{L}[\sin bt](s)=\frac{b}{s^2+ b^2}}$ …(4)
だから
$\mathcal{L}[e^{at}\sin bt](s)=\frac{b}{(s-a)^2+ b^2}}$ …(*1)

(5)→(*2)　(*2)は後出
$\mathcal{L}[\cos bt](s)=\frac{s}{s^2+ b^2}}$ …(4)
だから
$\mathcal{L}[e^{at}\cos bt](s)=\frac{s-a}{(s-a)^2+ b^2}}$ …(*2)

【6. ラプラス変換表】

（入力変数を $t$ ，出力変数を $s$ とする）
*** 多項式 ***

$f(t)$	$X(s)$
$1$ ←(*3)でn=0,a=0とおく	$\frac{1}{s}$
$t$ ←(*3)でn=1,a=0とおく	$\frac{1}{s^2}$
$t^n$ ←(*3)でa=0とおく	$\frac{n!}{s^{n+ 1}}$

*** 無理関数 ***

$f(t)$	$X(s)$
$\sqrt{t}$	$\frac{\sqrt{\pi}}{2}s^{-\frac{3}{2}}$
$\frac{1}{\sqrt{t}}$	$\frac{\sqrt{\pi}}{\sqrt{s}}$

*** 指数関数 ***

$f(t)$	$X(s)$
$e^{at}$ ←(*2)でb=0とおく	$\frac{1}{s-a}$

*** 三角関数 ***

$f(t)$	$X(s)$
$\sin bt$ ←(*1)でa=0とおく	$\frac{b}{s^2+ b^2}$
$\cos bt$ ←(*2)でa=0とおく	$\frac{s}{s^2+ b^2}$

*** 双曲線関数 ***

$f(t)$	$X(s)$
$\sinh at=\frac{e^{at}-e^{-at}}{2}$ ←指数関数に分ける	$\frac{a}{s^2-a^2}$
$\cosh at=\frac{e^{at}+ e^{-at}}{2}$ ←指数関数に分ける	$\frac{s}{s^2-a^2}$

*** 指数*三角関数*多項式 ***

$f(t)$	$X(s)$
$e^{at}\sin bt\hspace{10}\cdots(*1)$	$\frac{b}{(s-a)^2+ b^2}$
$e^{at}\cos bt\hspace{10}\cdots(*2)$	$\frac{s-a}{(s-a)^2+ b^2}$
$t^ne^{at}\hspace{10}\cdots(*3)$	$\frac{n!}{(s-a)^{n+ 1}}$

※ラプラス変換の表は必要に応じて見て使えばよいが，試験などに向けて覚えることをなるべく少なくしたいときは，上記の(*1)～(*3)だけを覚えると，他は導かれる．（無理関数と対数関数は難しい）

【7. ラプラス変換の基本性質】

(1) 線形性
$\mathcal{L}\{af(t)+ bg(t)\}=a\mathcal{L}\{f(t)\}+ b\mathcal{L}\{g(t)\}$

（証明）
$\mathcal{L}\{af(t)+ bg(t)\}=\int_0^{\infty}\{af(t)+ bg(t)\}e^{-st}dt$
$=a\int_0^{\infty}f(t)e^{-st}dt+ b\int_0^{\infty}g(t)e^{-st}dt$
$=a\mathcal{L}\{f(t)\}+ b\mathcal{L}\{g(t)\}$

(2) 自己相似性　（ $a\gt 0$ のとき）
$\mathcal{L}[f(at)](s)=\frac{1}{a}\mathcal{L}[f(t)]\left(\frac{s}{a}\right)$

（証明）
$\mathcal{L}[f(at)](s)=\int_0^{\infty}f(at)e^{-st}dt$
に対して $at=x$ とおいて置換積分を行うと

$t$	$0\rightarrow\infty$
$x$	$0\rightarrow\infty\hspace{3}(a\gt 0)$

$\frac{dx}{dt}=a$
$\int_0^{\infty}f(at)e^{-st}dt=\int_0^{\infty}f(x)e^{-s\frac{x}{a}}\frac{dx}{a}$
$=\frac{1}{a}\int_0^{\infty}f(x)e^{-\frac{s}{a}x}dx$
$=\frac{1}{a}\mathcal{L}[f(t)]\left(\frac{s}{a}\right)$

【例１】
　次の関数のラプラス変換を求めてください．ただし，出力変数は $s$ とする．
(1) $2t+ 1$
(2) $3e^{2t}-4e^{-3t}$
(3) $3\sin 2t+ 4\cos(-3t)$

（解答）
(1)ラプラス変換の線形性により，次のように分けられる．
$\mathcal{L}(2t+ 1)=2\mathcal{L}(t)+\mathcal{L}(1)$
次に，ラプラス変換表から
$\mathcal{L}(t)=\frac{1}{s^2},\hspace{5}\mathcal{L}(1)=\frac{1}{s}$ だから
$\mathcal{L}(2t+ 1)=\frac{2}{s^2}+\frac{1}{s}$ …（答）
(2)ラプラス変換の線形性により，次のように分けられる．
$\mathcal{L}(3e^{2t}-4e^{-3t})=3\mathcal{L}(e^{2t})-4\mathcal{L}(e^{-3t})$
次に，ラプラス変換表から
$\mathcal{L}(e^{2t})=\frac{1}{s-2},\hspace{5}\mathcal{L}(e^{-3t})=\frac{1}{s+ 3}$ だから
$\mathcal{L}(3e^{2t}-4e^{-3t})=\frac{3}{s-2}-\frac{4}{s+ 3}$ …（答）
(3)ラプラス変換の線形性により，次のように分けられる．
$\mathcal{L}\{3\sin 2t+ 4\cos(-3t)\}=3\mathcal{L}(\sin 2t)+ 4\mathcal{L}\{\cos(-3t)\}$
次に，ラプラス変換表から
$\mathcal{L}(\sin 2t)=\frac{2}{s^2+ 4},\hspace{5}\mathcal{L}\{\cos(-3t)\}=\frac{s}{s^2+ 9}$ だから
$\mathcal{L}\{3\sin 2t+ 4\cos(-3t)\}=\frac{6}{s^2+ 4}+ \frac{4s}{s^2+ 9}$ …（答）

【例２】
　次の関数のラプラス変換を求めてください．ただし，出力変数は $s$ とする．
(1) $e^{-2t}\sin 3t$
(2) $t^3e^{-2t}$
(3) $\sin^2 3t$

（解答）
(1)
(*1)の公式にa=−2, b=3を代入する
$\mathcal{L}(e^{-2t}\sin 3t)=\frac{3}{(s+ 2)^2+ 9}$ …（答）
(2)
(*3)の公式にa=−2, b=3を代入する
$\mathcal{L}(t^3e^{-2t})=\frac{3!}{(s+ 2)^4}$ …（答）
(3)
積や累乗の形になっているとラプラス変換の線形性が利用できないので，半角公式を使って三角関数の1次式にしておく
$\sin^2 3t=\frac{1-\cos 6t}{2}$
$\mathcal{L}(\sin^2 3t)=\mathcal{L}(\frac{1-\cos 6t}{2})$
$=\frac{1}{2}\left(\frac{1}{s}-\frac{s}{s^2+ 36}\right)$ …（答）

【例３】
　次の関数のラプラス逆変換を求めてください．ただし，変数は $t$ とする．
(1) $\frac{1}{s(s-1)}$
(2) $\frac{1}{s^2(s^2+ 9)}$
(3) $\frac{2s+ 1}{s(s^2-1)}$

（解答）
(1)
部分分数に分解する
$\frac{1}{s(s-1)}=\frac{1}{s-1}-\frac{1}{s}$
$\mathcal{L}^{-1}\{\frac{1}{s(s-1)}\}=\mathcal{L}^{-1}\left(\frac{1}{s-1}-\frac{1}{s}\right)$
$=e^t-1$
(2)
部分分数に分解する
$\frac{1}{s^2(s^2+ 9)}=\frac{1}{9}\left(\frac{1}{s^2}-\frac{1}{s^2+ 9}\right)$
$\mathcal{L}^{-1}\{\frac{1}{s^2(s^2+ 9)}\}=\frac{1}{9}\mathcal{L}^{-1}\left(\frac{1}{s^2}-\frac{1}{s^2+ 9}\right)$
$=\frac{1}{9}\left(t-\frac{\sin 3t}{3}\right)$
(3)
部分分数に分解する
$\frac{2s+ 1}{s(s^2-1)}=\frac{a}{s}+\frac{b}{s-1}+\frac{c}{s+ 1}$
とおいて定数 $a,\hspace{2}b,\hspace{2}c$ を係数比較法によって定める．
$a(s^2-1)+ bs(s+ 1)+ cs(s-1)$
$(a+ b+ c)s^2+(b-c)s-a=2s+ 1$
より
$\{\begin{matrix}a+ b+ c=0\\ b-c=2 \\-a=1\end{matrix}$
この連立方程式を解くと
$\{\begin{matrix}a=-1\\ b=\frac{3}{2} \\c=-\frac{1}{2}\end{matrix}$
$\frac{2s+ 1}{s(s^2-1)}=-\frac{1}{s}+\frac{3}{2}\cdot\frac{1}{s-1}-\frac{1}{2}\cdot\frac{1}{s+ 1}$
$\mathcal{L}^{-1}\{\frac{2s+ 1}{s(s^2-1)}\}=-1+\frac{3}{2}e^t-\frac{1}{2}e^{-t}$

線形な微分方程式（ $y,\hspace{2}y\apos,\hspace{2}y\apos\apos$ の積，累乗，商などを含まないもの）は，ラプラス変換を用いて解くことができます．特に，ラプラス変換を用いると，ｎ階微分方程式をｎ次方程式に直して解くことができます．

【1階線形微分方程式】

(3.1)微分方程式
$\frac{dy}{dx}-y=2x$
　初期条件
$y(0)=0$
を満たす $x$ の関数 $y$ を求めてください．

≪A:ラプラス変換による解き方≫
　両辺をラプラス変換する
$\mathcal{L}(y\apos)-\mathcal{L}(y)=\mathcal{L}(2x)$

$\mathcal{L}(y\apos)=s\mathcal{L}(y)-y(0)$ だから

$s\mathcal{L}(y)-y(0)-\mathcal{L}(y)=2\mathcal{L}(x)$

$\mathcal{L}(x)=\frac{1}{s^2}$ だから

$s\mathcal{L}(y)-\mathcal{L}(y)=\frac{2}{s^2}$
$(s-1)\mathcal{L}(y)=\frac{2}{s^2}$
$\mathcal{L}(y)=\frac{2}{(s-1)s^2}$

右辺を部分分数に分解する．
$\frac{2}{(s-1)s^2}=\frac{a}{s-1}+\frac{bs+ c}{s^2}=\frac{a}{s-1}+\frac{b}{s}+\frac{c}{s^2}$
とおいて，両辺の係数を比較すると
$a=2,\hspace{3}b=-2,\hspace{3}c=-2$

$\mathcal{L}(y)=\frac{2}{s-1}-\frac{2}{s}-\frac{2}{s^2}$
$=2\mathcal{L}(e^x)-2\mathcal{L}(1)-2\mathcal{L}(x)$
$=\mathcal{L}(2e^x-2-2x)$
$y=2e^x-2-2x$ …（答）

≪B:1階線形微分方程式の筆算による解き方≫

同次方程式 $y\apos+ P(x)y=0$ の１つの解を $u(x)$ とするとき，
$y\apos+ P(x)y=Q(x)$ の一般解は
$y=u(x)\left(\int\frac{Q(x)}{u(x)}dx+ C\right)$
この公式を使う

同次方程式
$\frac{dy}{dx}-y=0$
を解く
$\frac{dy}{y}=dx$
$\int\frac{dy}{y}=\int dx$
$\log\mid y\mid=x+ C_1$
$\mid y\mid=e^{x+ C_1}=C_2e^x$
$y=\pm C_2e^{x}=Ce^x$
非同次方程式の1つの特別解は， $y=e^x$ とおけるから，元の微分方程式の一般解は
$y=e^x\left(\int\frac{2x}{e^x}dx+ C\right)=e^x\left(2\int xe^{-x}dx+ C\right)$
次の部分積分を行う

$f(x)=x$	$f\apos(x)=1$
$g\apos(x)=e^{-x}$	$g(x)=-e^{-x}$

$\int xe^{-x}dx=\left[-xe^{-x}+\int e^{-x}dx\right]=-xe^{-x}-e^{-x}$
$y=e^x\{2(-xe^{-x}-e^{-x})+ C\}$
$=-2x-2+ Ce^x$
$y(0)=0$ だから
$0-2+ C=0$
$C=2$
$y=-2x-2+ 2e^x$ …（答）

≪C:フリーソフトwxMaximaによる解き方≫
　メニューをたどって，「方程式」→「微分方程式を解く」

siki1:ode2('diff(y,x)-y=2*x, y, x);
のように方程式に名前を付けておく
y=(2*(-x-1)*%e^(-x)+%c)*%e^x
という形で一般解が得られる

ic1(siki1,x=0,y=0);
という形で初期条件を入れる

y=2*%e^x-2*x-2
が返される

$y=2e^x-2x-2$ …（答）

(3.2)微分方程式
$\frac{dy}{dx}-y=e^{3x}$
　初期条件
$y(0)=1$
を満たす $x$ の関数 $y$ を求めてください．

≪A:ラプラス変換による解き方≫
　両辺をラプラス変換する
$\mathcal{L}(y\apos)-\mathcal{L}(y)=\mathcal{L}(e^{3x})$

$\mathcal{L}(y\apos)=s\mathcal{L}(y)-y(0)$ だから

$s\mathcal{L}(y)-y(0)-\mathcal{L}(y)=\mathcal{L}(e^{3x})$

$y(0)=1,\hspace{2}\mathcal{L}(e^{3x})=\frac{1}{s-3}$ だから

$s\mathcal{L}(y)-1-\mathcal{L}(y)=\frac{1}{s-3}$
$(s-1)\mathcal{L}(y)=\frac{1}{s-3}+ 1=\frac{s-2}{s-3}$
$\mathcal{L}(y)=\frac{s-2}{(s-1)(s-3)}$
右辺を部分分数に分解する
$\mathcal{L}(y)=\frac{1}{2}\left(\frac{1}{s-1}+\frac{1}{s-3}\right)$
$y=\frac{1}{2}\left(e^x+ e^{3x}\right)$ …（答）

≪B:1階線形微分方程式の筆算による解き方≫
同次方程式
$\frac{dy}{dx}-y=0$
を解く
$\frac{dy}{y}=dx$
$\int\frac{dy}{y}=\int dx$
$\log\mid y\mid=x+ C_1$
$\mid y\mid=e^{x+ C_1}=C_2e^x$
$y=\pm C_2e^{x}=Ce^x$

非同次方程式の1つの特別解を求める．右辺の形から $y=Ae^{3x}$ と仮定してAを求める．
$y\apos=3Ae^{3x}$
$y\apos-y=3Ae^{3x}-Ae^{3x}=2Ae^{3x}$
$2A=1$
$A=\frac{1}{2}$
したがって，非同次方程式の１つの特別解は
$y=\frac{1}{2}e^{3x}$
元の微分方程式の一般解は
$y=Ce^x+\frac{1}{2}e^{3x}$
初期条件を入れると
$1=C+\frac{1}{2}$
$C=\frac{1}{2}$
結局，求める方程式は
$y=\frac{1}{2}\left(e^x+ e^{3x}\right)$ …（答）

≪C:フリーソフトwxMaximaによる解き方≫
　メニューをたどって，「方程式」→「微分方程式を解く」

siki1:ode2('diff(y,x)-y=2*exp(3*x), y, x);
のように方程式に名前を付けておく
$y=e^x\left(\frac{e^{2x}+ C}{2}\right)$
という形で一般解が得られる

ic1(siki1,x=0,y=1);
という形で初期条件を入れる

$y=\frac{e^{3x}+ e^x}{2}$
が返される

$y=\frac{e^{3x}+ e^x}{2}$ …（答）

【2階線形微分方程式】

(3.3)微分方程式
$\frac{d^2y}{dx^2}-y=\sin x+ x$
　初期条件
$y(0)=y\apos(0)=0$
を満たす $x$ の関数 $y$ を求めてください．

≪A:ラプラス変換による解き方≫
　両辺をラプラス変換する

$\mathcal{L}(y\apos)=s\mathcal{L}(y)-y(0)$
$\mathcal{L}(y\apos\apos)=s\mathcal{L}(y\apos)-y\apos(0)=s(s\mathcal{L}(y)-y(0))-y\apos(0)$
$=s^2\mathcal{L}(y)-sy(0)-y\apos(0)$ を使う

$s^2\mathcal{L}(y)-sy(0)-y\apos(0)-\mathcal{L}(y)=\frac{1}{s^2+ 1}+\frac{1}{s^2}$
初期条件を入れると
$s^2\mathcal{L}(y)-\mathcal{L}(y)=\frac{2s^2+ 1}{(s^2+ 1)s^2}$
$(s^2-1)\mathcal{L}(y)=\frac{2s^2+ 1}{(s^2+ 1)s^2}$
$\mathcal{L}(y)=\frac{2s^2+ 1}{(s^2+ 1)s^2(s^2-1)}$

右辺を部分分数に分解する．
$\frac{2s^2+ 1}{(s^2+ 1)s^2(s^2-1)}=\frac{a}{s-1}+\frac{b}{s+ 1}+\frac{c}{s^2+ 1}+\frac{d}{s^2}$
とおいて，両辺の係数を比較すると
5次： $a+ b=0$
4次： $a-b+ c+ d=0$
3次： $a+ b=0$
2次： $a-b-c=2$
定数項： $d=-1$
求まるものから順に求めると
$a=\frac{3}{4},\hspace{3}b=-\frac{3}{4},\hspace{3}c=\frac{1}{2},\hspace{3}d=-1$

$\mathcal{L}(y)=\frac{3}{4}\cdot\frac{1}{s-1}-\frac{3}{4}\cdot\frac{1}{s+ 1}+\frac{1}{2}\cdot\frac{1}{s^2+ 1}-\frac{1}{s^2}$
$y=\frac{3}{4}e^x-\frac{3}{4}e^{-x}+\frac{1}{2}\sin x-x$ …（答）

≪B:2階線形微分方程式の筆算による解き方≫

非同次方程式 $y\apos\apos+ ay\apos+ by=R(x)$ の特殊解に，
同次方程式 $y\apos\apos+ ay\apos+ by=0$ の一般解を加えると
非同次方程式 $y\apos\apos+ ay\apos+ by=R(x)$ の一般解が得られる

非同次方程式 $y\apos\apos-y=\sin x$ の１つの特殊解は，
$y=-\frac{1}{2}\sin x$
（ $y=A\sin x+ B\cos x$ とおいて， $y\apos\apos-y=\sin x$ となるA, Bを求めたらよい）
同次方程式
$\frac{d^2y}{dx^2}-y=0$
の特性方程式 $r^2-1=0$ は異なる2つの実数解 $r=\pm 1$ を持つから，同次方程式の一般解は
$C_1e^x+ C_2e^{-x}$
元の微分方程式の一般解は
$y=C_1e^x+ C_2e^{-x}-\frac{1}{2}\sin x-x$
$y(0)=y\apos(0)=0$ により
$C_1=\frac{3}{4},\hspace{3}C_2=-\frac{3}{4}$
$y=\frac{3}{4}e^x-\frac{3}{4}e^{-x}+\frac{1}{2}\sin x-x$ …（答）

≪C:フリーソフトwxMaximaによる解き方≫
　メニューをたどって，「方程式」→「微分方程式を解く」

siki1:ode2('diff(y,x,2)-y=sin(x)+x, y, x);
のように方程式に名前を付けておく
※2階導関数を表現するには，'diff(y,x,2)とするとよい
$y=-\frac{\sin x+ 2x}{2}+ %k1 %e^x+ %k2%e^{-x}$
という形で一般解が得られる

ic2(siki1,x=0,y=0,'diff(y,x)=0);
という形で初期条件を入れる
（２階微分方程式で初期条件に対応する特殊解を求めるには…initial value problems for 2nd order differential equations･･･ic2( )関数が使える．y'=0という条件は，'diff(y,x)=0で書く･･･先頭のアポストロフィーに注意）
$y=-\frac{\sin x+ 2x}{2}+\frac{3}{4}e^x-\frac{3}{4}e^{-x}$ …（答）

(3.4)微分方程式
$\frac{d^2y}{dx^2}-3\frac{dy}{dx}+ 2y=2\cos x$
　初期条件
$y(0)=y\apos(0)=1$
を満たす $x$ の関数 $y$ を求めてください．

≪A:ラプラス変換による解き方≫
　両辺をラプラス変換する

$\mathcal{L}(y\apos)=s\mathcal{L}(y)-y(0)$
$\mathcal{L}(y\apos\apos)=s\mathcal{L}(y\apos)-y\apos(0)=s(s\mathcal{L}(y)-y(0))-y\apos(0)$
$=s^2\mathcal{L}(y)-sy(0)-y\apos(0)$ を使う

$s^2\mathcal{L}(y)-sy(0)-y\apos(0)-3(s\mathcal{L}(y)-y(0))+ 2\mathcal{L}(y)$
$=2\frac{s}{s^2+ 1}$
初期条件を入れると
$s^2\mathcal{L}(y)-s-1-3(s\mathcal{L}(y)-1)+ 2\mathcal{L}(y)=\frac{2s}{s^2+ 1}$
$(s^2-3s+ 2)\mathcal{L}(y)=\frac{2s}{s^2+ 1}+ s-2$
$(s-1)(s-2)\mathcal{L}(y)=\frac{2s}{s^2+ 1}+ s-2$
$\mathcal{L}(y)=\frac{2s}{(s^2+ 1)(s-1)(s-2)}+\frac{1}{s-1}$

右辺を部分分数に分解する．
$\frac{2s}{(s^2+ 1)(s-1)(s-2)}=\frac{as+ b}{s^2+ 1}+\frac{c}{s-1}+\frac{d}{s-2}$
とおいて，両辺の係数を比較すると
3次： $a+ c+ d=0$
2次： $-3a+ b-2c-d=0$
1次： $2a-3b+ c-+ d=2$
定数項： $2b-2c-d=0$
この連立方程式を解くと
$a=\frac{1}{5},\hspace{3}b=-\frac{3}{5},\hspace{3}c=-1,\hspace{3}d=\frac{4}{5}$

$\mathcal{L}(y)=\frac{\frac{1}{5}s-\frac{3}{5}}{s^2+ 1}-\frac{1}{s-1}+\frac{4}{5}\cdot\frac{1}{s-2}+\frac{1}{s-1}$
$=\frac{1}{5}\cdot\frac{s}{s^2+ 1}-\frac{3}{5}\cdot\frac{1}{s^2+ 1}+\frac{4}{5}\cdot\frac{1}{s-2}$
$y=\frac{1}{5}\cos x-\frac{3}{5}\sin x+\frac{4}{5}e^{2x}$ …（答）

≪B:2階線形微分方程式の筆算による解き方≫

非同次方程式 $y\apos\apos-3y\apos+ 2y=2\cos x$ の１つの特殊解は，
$y=-\frac{3}{5}\sin x+\frac{1}{5}\cos x$
（ $y=A\sin x+ B\cos x$ とおいて， $y\apos\apos-3y\apos+ 2y=2\cos x$ となるA, Bを求めたらよい）
同次方程式
$y\apos\apos-3y\apos+ 2y=0$
の特性方程式 $r^2-3r+ 2=0$ は異なる2つの実数解 $r=1,\hspace{2}2$ を持つから，同次方程式の一般解は
$C_1e^x+ C_2e^{2x}$
元の微分方程式の一般解は
$y=C_1e^x+ C_2e^{2x}-\frac{3}{5}\sin x+\frac{1}{5}\cos x$
$y(0)=y\apos(0)=1$ により
$C_1=0,\hspace{3}C_2=\frac{4}{5}$
$y=\frac{4}{5}e^{2x}-\frac{3}{5}\sin x+\frac{1}{5}\cos x$ …（答）

≪C:フリーソフトwxMaximaによる解き方≫
　メニューをたどって，「方程式」→「微分方程式を解く」

siki1:ode2('diff(y,x,2)-3*'diff(y,x,1)+2*y
=2*cos(x), y, x);
のように方程式に名前を付けておく
※2階導関数を表現するには，'diff(y,x,2)とするとよい
$y=-\frac{3\sin x-\cos x}{5}+ %k1 %e^{2x}+ %k2%e^{x}$
という形で一般解が得られる

ic2(siki1,x=0,y=1,'diff(y,x)=1);
という形で初期条件を入れる
（２階微分方程式で初期条件に対応する特殊解を求めるには…initial value problems for 2nd order differential equations･･･ic2( )関数が使える．y'=1という条件は，'diff(y,x)=1で書く･･･先頭のアポストロフィーに注意）
$y=\frac{4}{5}e^{2x}-\frac{3}{5}\sin x+\frac{1}{5}\cos x$ …（答）

(3.5)微分方程式
$\frac{d^2y}{dx^2}+ 2\frac{dy}{dx}+ 4y=2x^2$
　初期条件
$y(0)=y\apos(0)=0$
を満たす $x$ の関数 $y$ を求めてください．

≪A:ラプラス変換による解き方≫
　両辺をラプラス変換する
$s^2\mathcal{L}(y)-sy(0)-y\apos(0)+ 2(s\mathcal{L}(y)-y(0))+ 4\mathcal{L}(y)$
$=2\cdot\frac{2!}{s^3}$
初期条件を入れると
$s^2\mathcal{L}(y)+ 2s\mathcal{L}(y)+ 4\mathcal{L}(y)=\frac{4}{s^3}$
$(s^2+ 2s+ 4)\mathcal{L}(y)=\frac{4}{s^3}$
$\mathcal{L}(y)=\frac{4}{(s^2+ 2s+ 4)s^3}$

右辺を部分分数に分解する．
$\frac{4}{(s^2+ 2s+ 4)s^3}=\frac{as+ b}{s^2+ 2s+ 4}+\frac{cs^2+ ds+ e}{s^3}$
とおいて，両辺の係数を比較し，連立方程式を解くと
$a=0,\hspace{3}b=\frac{1}{2},\hspace{3}c=0,\hspace{3}d=-\frac{1}{2},\hspace{3}e=1$

$\mathcal{L}(y)=\frac{\frac{1}{2}}{s^2+ 2s+ 4}+\frac{-\frac{1}{2}s+ 1}{s^3}$

ここで，次のラプラス変換公式を使う
$\mathcal{L}(e^{at}\sin bt)=\frac{b}{(s-a)^2+ b^2}$ …(A)
$\mathcal{L}(t^n)=\frac{n!}{s^{n+ 1}}$ …(B)

$\mathcal{L}(y)=\frac{\sqrt{3}}{(s+ 1)^2+ 3}\cdot\frac{1}{2\sqrt{3}}-\frac{1}{2}\cdot\frac{1!}{s^2}+\frac{2!}{s^3}\cdot\frac{1}{2}$
$y=\frac{e^{-x}\sin \sqrt{3}x}{2\sqrt{3}}-\frac{x}{2}+\frac{x^2}{2}$ …（答）

≪B:2階線形微分方程式の筆算による解き方≫
非同次方程式 $y\apos\apos+ 2y\apos+ 4y=2x^2$ の１つの特殊解は，
$y=\frac{x^2-x}{2}$
（ $y=Ax^2+ Bx+ C$ とおいて， $y\apos\apos+ 2y\apos+ 4y=2x^2$ となるA, B, Cを求めたらよい）

同次方程式
$y\apos\apos+ 2y\apos+ 4y=0$
の特性方程式 $r^2+ 2r+ 4=0$ は異なる2つの虚数解 $r=-1\pm\sqrt{3}i$ を持つから，同次方程式の一般解は
$e^{-x}(C_1\cos\sqrt{3}x+ C_2\sin\sqrt{3}x)$
元の微分方程式の一般解は
$y=e^{-x}(C_1\cos\sqrt{3}x+ C_2\sin\sqrt{3}x)+\frac{x^2-x}{2}$
$y(0)=0$ により
$C_1=0$
$y\apos=-e^{-x}(C_2\sin\sqrt{3}x)+ e^{-x}C_2\cdot\cos\sqrt{3}x+\frac{2x-1}{2}$
$y\apos(0)=0$ により
$0=C_2\cdot\sqrt{3}-\frac{1}{2}$
$C_2=\frac{1}{2\sqrt{3}}$
$y=\frac{e^{-x}\sin \sqrt{3}x}{2\sqrt{3}}+\frac{x^2-x}{2}$ …（答）

≪C:フリーソフトwxMaximaによる解き方≫
　メニューをたどって，「方程式」→「微分方程式を解く」

siki1:ode2('diff(y,x,2)+2*'diff(y,x,1)+4*y
=2*x^2, y, x);
のように方程式に名前を付けておく
※2階導関数を表現するには，'diff(y,x,2)とするとよい
$y=e^{-x}\{%k1\sin(\sqrt{3}x)+ %k2\cos(\sqrt{3}x)\}+\frac{x^2-x}{2}$
という形で一般解が得られる

ic2(siki1,x=0,y=0,'diff(y,x)=0);
という形で初期条件を入れる
（２階微分方程式で初期条件に対応する特殊解を求めるには…initial value problems for 2nd order differential equations･･･ic2( )関数が使える．y'=0という条件は，'diff(y,x)=0で書く･･･先頭のアポストロフィーに注意）
$y=\frac{e^{-x}\sin \sqrt{3}x}{2\sqrt{3}}+\frac{x^2-x}{2}$ …（答）

推移則［シフト公式］の補足問題
　次の図で示された関数のラプラス変換を求めよ．

(1) 矩形波

（解答）… ラプラス変換の定義に当てはめる
$X(s)=\int_{0}^{a}1\cdot e^{-st}dt+\int_{2a}^{3a}1\cdot e^{-st}dt+\int_{4a}^{5a}1\cdot e^{-st}dt+\cdots$
$=\left[\frac{e^{-st}}{-s}\right]_{0}^{a}+\left[\frac{e^{-st}}{-s}\right]_{2a}^{3a}+\left[\frac{e^{-st}}{-s}\right]_{4a}^{5a}+\cdots$
$=\frac{1}{-s}\{(e^{-as}-1)+(e^{-3as}-e^{-2as})+(e^{-5as}-e^{-4as})+\cdots\}$
$=\frac{1}{-s}\{(e^{-as}-1)+ e^{-2as}(e^{-as}-1)+e^{-4as}(e^{-as}-1)+\cdots\}$
$=\frac{e^{-as}-1}{-s}\{1+ e^{-2as}+ e^{-4as}+\cdots\}$
{　}内は，公比 $e^{-2as}$ の等比級数だから， $e^{-2as}\lt 1$ すなわち $s\gt 0$ のとき収束する．
$=\frac{1-e^{-as}}{s}\cdot\frac{1}{1-e^{-2as}}=\frac{1}{s(1+ e^{-as})}$
（別解）… 推移則［シフト公式］(6.2)を使う
$\int_{0}^{a}1\cdot e^{-st}dt=\frac{1-e^{-as}}{s}$
に対して，2つの目の矩形はtの正の向きに2aだけ平行移動したものだから，積分は第1項に $e^{-2as}$ を掛けると求められる．
　以下，次々に $e^{-2as}$ を掛けるとよいから，公比 $e^{-2as}$ の等比級数の和を求めるとよい．
$\frac{1-e^{-as}}{s}\cdot\frac{1}{1-e^{-2as}}=\frac{1}{s(1+ e^{-as})}$

(2) 鋸波

（別解）… 推移則［シフト公式］(6.2)を使う
$\int_{0}^{a}\frac{t}{a}e^{-st}dt=\frac{1}{a}\int_{0}^{a}te^{-st}dt=I$

$f(t)=t$	$f\apos(t)=1$
$g\apos(t)=e^{-st}$	$g(t)=\frac{e^{-st}}{-s}$

に対して，次の部分積分を行う．
$I=\frac{1}{a}\{\left[t\cdot\frac{e^{-st}}{-s}\right]_0^{a}-\int_0^a\frac{e^{-st}}{-s}dt\}$
$=\frac{1}{a}\{-\frac{ae^{-as}}{s}+\frac{1}{s}\int_0^ae^{-st}dt\}$
$=\frac{1}{a}\{-\frac{ae^{-as}}{s}+\frac{1}{s}\left[\frac{e^{-st}}{-s}\right]_0^a\}$
$=\frac{1}{a}\{-\frac{ae^{-as}}{s}-\frac{e^{-as}-1}{s^2}\}$
2つの目の鋸形はtの正の向きにaだけ平行移動したものだから，積分は第1項に $e^{-as}$ を掛けると求められる．
以下同様にして，公比 $e^{-as}$ の等比級数の和を求めるとよいから
$I\times\frac{1}{1-e^{-as}}=\frac{1}{a}\{-\frac{ae^{-as}}{s}-\frac{e^{-as}-1}{s^2}\}\times\frac{1}{1-e^{-as}}$
$=-\frac{e^{-as}}{s(1-e^{-as})}+\frac{1}{as^2}$

(3) 矩形波

（別解）… 推移則［シフト公式］(6.2)を使う
$\int_{0}^{\frac{T}{2}}e^{-st}dt+\int_{\frac{T}{2}}^{T}(-e^{-st})dt=I$
$I=\left[\frac{e^{-st}}{-s}\right]_{0}^{\frac{T}{2}}+\left[-\frac{e^{-st}}{-s}\right]_{\frac{T}{2}}^{T}$
$=\frac{e^{-\frac{sT}{2}}-1}{-s}+\frac{e^{-sT}-e^{-\frac{sT}{2}}}{s}$
$=\frac{1}{s}\{e^{-sT}-2e^{-\frac{sT}{2}}+ 1\}$
$=\frac{1}{s}\{1-e^{-\frac{sT}{2}}\}^2$
次々に周期 $T$ の分だけ平行移動すればよいから，全体では公比 $e^{-sT}$ の等比級数の和を求めるとよい
$I\times\frac{1}{1-e^{-sT}}=\frac{1}{s}\cdot\left(1-e^{-\frac{sT}{2}}\right)^2\cdot\frac{1}{1-e^{-sT}}$
$=\frac{1}{s}\cdot\left(1-e^{-\frac{sT}{2}}\right)^2\cdot\frac{1}{(1-e^{-\frac{sT}{2}})(1+e^{-\frac{sT}{2}})}$
$=\frac{1-e^{-\frac{sT}{2}}}{s(1+ e^{-\frac{sT}{2}})}$ …（答）
※この形でもよいが，双曲線関数 $\tanh x=\frac{e^x-e^{-x}}{e^x+ e^{-x}}$ を用いて簡単に表すこともできる．
$\frac{1-e^{-\frac{sT}{2}}}{s(1+ e^{-\frac{sT}{2}})}=\frac{1}{s}\cdot\frac{e^{\frac{sT}{4}}-e^{-\frac{sT}{4}}}{e^{\frac{sT}{4}}+ e^{-\frac{sT}{4}}}=\frac{1}{s}\tanh\frac{sT}{4}$ …（答）

(4) 三角波

（別解）… 推移則［シフト公式］(6.2)を使う
$\int_{0}^{\frac{T}{2}}\frac{2}{T}te^{-st}dt-\int_{\frac{T}{2}}^{T}\frac{2}{T}(t-T)e^{-st}dt$
（途中経過略）
$=\frac{2}{T}\{\frac{1}{s^2}-\frac{(Ts+ 2)e^{-\frac{Ts}{2}}}{2s^2}\}-\frac{2}{T}\{-\frac{e^{-Ts}}{s^2}-\frac{(Ts-2)e^{-\frac{Ts}{2}}}{2s^2}\}$
$=\frac{2}{Ts^2}\{1-e^{-\frac{Ts}{2}}\}^2$
次々に周期 $T$ の分だけ平行移動すればよいから，全体では公比 $e^{-sT}$ の等比級数の和を求めるとよい
$\frac{2}{Ts^2}\{1-e^{-\frac{Ts}{2}}\}^2\cdot\frac{1}{1-e^{-sT}}$
$=\frac{2}{Ts^2}\{1-e^{-\frac{Ts}{2}}\}^2\cdot\frac{1}{(1-e^{-\frac{sT}{2}})(1+ e^{-\frac{sT}{2}})}$
$=\frac{2}{Ts^2}\cdot\frac{1-e^{-\frac{sT}{2}}}{1+ e^{-\frac{sT}{2}}}$ …（答）
前問(3)と同様に，この答も双曲線関数を使って表せる．
$\frac{2}{Ts^2}\tanh\frac{sT}{4}$ …（答）

●==目次に戻る　

..高卒～大学数学のメニューに戻る

笆�縺薙�繧ｵ繧､繝亥�縺ｮGoogle讀懃ｴ｢笆�

笆ｳ縺薙�繝壹�繧ｸ縺ｮ蜈磯�ｭ縺ｫ謌ｻ繧銀無縲� 繧｢繝ｳ繧ｱ繝ｼ繝磯∽ｿ｡縲�
… 縺薙�繧｢繝ｳ繧ｱ繝ｼ繝医�謨呎攝謾ｹ蝟��蜿り�↓縺輔○縺ｦ縺�◆縺�縺阪∪縺�

笆�縺薙�鬆√↓縺､縺�※�瑚憶縺�園�梧が縺�園�碁俣驕輔＞縺ｮ謖�遭�後◎縺ｮ莉悶�諢滓Φ縺後≠繧後�騾∽ｿ｡縺励※縺上□縺輔＞��

笳区枚遶�縺ｮ蠖｢繧偵＠縺ｦ縺�ｋ諢滓Φ縺ｯ蜈ｨ驛ｨ隱ｭ縺ｾ縺帙※繧ゅｉ縺｣縺ｦ縺�∪縺呻ｼ�
笳区─諠ｳ縺ｮ蜀�〒�後←縺ｮ蝠城｡後′縺ｩ縺�〒縺ゅ▲縺溘°繧呈ｭ｣遒ｺ縺ｪ譁�ｫ�縺ｧ莨昴∴縺ｦ縺�◆縺�縺�◆謾ｹ蝟�ｦ∵悍縺ｫ蟇ｾ縺励※縺ｯ�悟庄閭ｽ縺ｪ髯舌ｊ蟇ｾ蠢懊☆繧九ｈ縺�↓縺励※縺�∪縺呻ｼ趣ｼ遺ｻ縺ｪ縺奇ｼ梧判謦�噪縺ｪ譁�ｫ�縺ｫ縺ｪ縺｣縺ｦ縺�ｋ蝣ｴ蜷医��後◎繧後ｒ蜈ｬ髢九☆繧九→遲��□縺代〒縺ｪ縺剰ｪｭ閠�ｂ隱ｭ繧縺薙→縺ｫ縺ｪ繧翫∪縺吶�縺ｧ�梧治逕ｨ縺励∪縺帙ｓ�趣ｼ�

雉ｪ蝠上↓蟇ｾ縺吶ｋ蝗樒ｭ斐�荳ｭ蟄ｦ迚医�縺薙�鬆��碁ｫ俶�｡迚医�縺薙�鬆�縺ｫ縺ゅｊ縺ｾ縺�