制御と振動の数学/Laplace 変換/定積分の計算への応用/主値積分

次に，定積分の計算において Cauchy の主値の現れる場合を取り扱おう．

$f(x)$ は閉区間 $[a,b]$ 内の 1 点 $c$ を除いて連続，$x=c$ では不連続としよう． このとき $[a,c-\delta ](\delta >0),[c+\epsilon ,b](\epsilon >0)$ では $f(x)$ は連続であるから，これらの区間での積分， テンプレート:制御と振動の数学/equation は存在する．そこで，これらの積分の値が $\delta \to 0,\epsilon \to 0$ の極限でも確定するとき， テンプレート:制御と振動の数学/equation とおいて，これを $a$ から $b$ までの広義の積分あるいは変格積分ということは良く知られている．

例61$$

テンプレート:制御と振動の数学/equation これは明らかに値を持たない．

しかしながら $\frac{1}{x}$ は奇関数であるから， テンプレート:制御と振動の数学/equation としたい気持ちを抑えることはできない．そこで広義積分の定義を少し修正して，$\delta =\epsilon$ とおくと，希望どおり， テンプレート:制御と振動の数学/equation を得る． $\mathrm{♢}$

そこで，次の定義を設ける．

[定義：Cauchy の主値積分]

広義積分，式(2.36)において，$\delta ,\epsilon$ を独立に $\to 0$ とすると極限値は存在しないが， $\delta =\epsilon$ として極限をとると， テンプレート:制御と振動の数学/equation は存在することがある．このとき，式(2.37)　を Cauchy の主値積分あるいは単に積分の主値といい， テンプレート:制御と振動の数学/equation と書く．$p.v.$ は principal value の略記号である． $\mathrm{♢}$

この定義によれば， テンプレート:制御と振動の数学/equation である．

例62$$

テンプレート:制御と振動の数学/equation 事実， テンプレート:制御と振動の数学/equation テンプレート:制御と振動の数学/equation テンプレート:制御と振動の数学/equation テンプレート:制御と振動の数学/equation となる． $\mathrm{♢}$

Cauchy の主値積分に関する公式を示そう． テンプレート:制御と振動の数学/equation

テンプレート:制御と振動の数学/equation とおいて Laplace 変換すると， テンプレート:制御と振動の数学/equation ここで，被積分関数を部分分数に分解すると， テンプレート:制御と振動の数学/equation であるから， テンプレート:制御と振動の数学/equation となる．例 62を用いると，この右辺は， テンプレート:制御と振動の数学/equation である．よってこの原像を求めると， テンプレート:制御と振動の数学/equation ここで，$t=a$ とおけば求める結果を得る．

例63$$ テンプレート:制御と振動の数学/equation を示せ．

解答例

$f(t)=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x\sin tx}{b^2-x^2}$

とおく．この両辺のラプラス変換を取ると，

$ℒ[f]=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^2}{(b^2-x^2)(x^2+s^2)}dx$

$=\frac{1}{s^2+b^2}p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\{\frac{x^2}{b^2-x^2}+\frac{x^2}{x^2+s^2}\}dx$

$=\frac{1}{s^2+b^2}p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\{(\frac{b^2}{b^2-x^2}-1)+(1-\frac{s^2}{x^2+s^2})\}dx$

$=\frac{1}{s^2+b^2}p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\{\frac{b^2}{b^2-x^2}-\frac{s^2}{x^2+s^2}\}dx$

$=\frac{1}{s^2+b^2}\{b^{2}p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{b^2-x^2}-s^2\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{s^2+x^2}\}$

ここで例62より，

$p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{b^2-x^2}=0$

また例56 より，

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{x^2+s^2}=\frac{\pi }{2s}$

よって，

$ℒ[f]=\frac{-s^2}{s^2+b^2}\cdot \frac{\pi }{2s}$

$=-\frac{\pi }{2}\cdot \frac{s}{s^2+b^2}$

この原像は，

$f(t)=-\frac{\pi }{2}\cos bt(b>0,t>0)$

よって，

$f(a)=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x\sin ax}{b^2-x^2}=-\frac{\pi }{2}\cos ab(a,b>0)$

$\mathrm{♢}$

例64$$ テンプレート:制御と振動の数学/equation を示せ．

解答例

$f(t)=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin tx}{x(b^2-x^2)}dx$

とおくと，両辺をラプラス変換して，

$ℒ[f]=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x}{x(b^2-x^2)(x^2+s^2)}dx$

$=\frac{1}{s^2+b^2}p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{b^2-x^2}+\frac{1}{x^2+s^2})dx$

$=\frac{1}{s^2+b^2}(p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{1}{b^2-x^2}dx+\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{1}{x^2+s^2}dx)$

ここで例62より，

$p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{b^2-x^2}=0$

また例56 より，

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{x^2+s^2}=\frac{\pi }{2s}$

よって，

$ℒ[f]=\frac{1}{s^2+b^2}\frac{\pi }{2s}$

$=\frac{\pi }{2}\frac{1}{s(s^2+b^2)}$

$=\frac{\pi }{2b^2}(\frac{1}{s}-\frac{s}{s^2+b^2})$

よってこの原像は，

$f(t)=\frac{\pi }{2b^2}(1-\cos bt)$

よって，

$f(a)=p.v.\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin ax}{x(b^2-x^2)}dx=\frac{\pi }{2b^2}(1-\cos ab)$

$\mathrm{♢}$