留数定理を利用した有理関数の複素積分と逆ラプラス変換

はじめに

本問は、ジョルダンの補助定理を用いた複素積分のやり方を覚えるのに最適な問題です。分子に三角関数、対数関数などが乗っておらず、積分対象の関数が比較的平易です。

今後の記事で、複雑にした関数の場合も説明していきます。準備運動としてご覧いただければと思います。

留数定理とは

正則関数が閉曲線$C$の内部で有限個の孤立特異点$a_{1},a_{2},\cdots,a_{n}$を持つとき、下記の関係が成り立つことを言います。

\begin{aligned}\int_{c}f(z)dz=2 \pi i \sum^{n}_{k=1}\mathrm{Res}(f,a_k)\end{aligned}

$\mathrm{Res}(f,a_k)$は、孤立特異点$a_k$における$f(z)$の留数です。

• 1位の極(単純極)の場合：

\begin{aligned}\mathrm{Res}(f,a)=\lim_{z→a} (z-a)f(z)\end{aligned}

• m位の極(多重極)の場合：

\begin{aligned}\mathrm{Res}(f,a)=\dfrac{1}{(m-1)!}\lim_{z→a}\dfrac{d^{m-1}}{dz^{m-1}}\left \lbrack(a-z)^{m}f(z) \right \rbrack \end{aligned}

本定理を用いれば、複素関数の積分は直接計算しなくとも孤立特異点の情報だけで求められるようになります。

本記事で覚えてほしいこと

教科書でも同様の説明がありますが、平易な言葉で書くと上記のようになります。

本問に限らず、円弧積分路の結果は0になることが多いです。同様の問題を見かけた際は２．の想定で動くと良いかもしれません。

また、(2)については下記の手順で解けます。

問われていることはラプラス逆変換ですが、作業としては留数を考える作業と類似しています。別の分野として見るのではなく、このような点があることも注意しましょう。(証明は応用数学の教科書を参照ください。院試では、証明せずに使っても時間の制約的に大幅減点は無いと思います。

解答例

(1)留数定理を用いた複素積分

留数定理を用いた閉路全体の積分結果

与えられた関数を展開すると

\begin{aligned}\dfrac{z^{2}}{(2z^{2}+1)^{2}}=\dfrac{1}{4}\dfrac{z^{2}}{\left(z+\dfrac{i}{\sqrt{2}}\right)^{2}\left(z-\dfrac{i}{\sqrt{2}}\right)^{2}}\end{aligned}

与えられた積分路の孤立特異点は、\(z=\dfrac{i}{\sqrt{2}}\)。多重極のため、(5式)の微分項を計算する。

\begin{aligned}
& \quad \dfrac{d}{dz} \left[ \dfrac{1}{4} \left(z-\dfrac{i}{\sqrt{2}}\right)^{2}
\dfrac{z^{2}}{ \left(z-\dfrac{i}{\sqrt{2}}\right)^{2} \left(z+\dfrac{i}{\sqrt{2}}\right)^{2}} \right] \\
&= \dfrac{1}{4}\,\dfrac{d}{dz}\left[ \dfrac{z^{2}}{\left(z+\dfrac{i}{\sqrt{2}}\right)^{2}} \right] \\
&= \dfrac{1}{4}\,\dfrac{ 2z \left(z+\dfrac{i}{\sqrt{2}}\right)^{2} – z^{2}\cdot 2\left(z+\dfrac{i}{\sqrt{2}}\right) }{\left(z+\dfrac{i}{\sqrt{2}}\right)^{4}} \\
&=\dfrac{1}{2}･ \dfrac{z\left(z+\dfrac{i}{\sqrt{2}}\right)-z^{2}}{\left(z+\dfrac{i}{\sqrt{2}}\right)^{3}}
\end{aligned}

これにより、\(z=\dfrac{i}{\sqrt{2}}\)の留数は

\begin{eqnarray}\mathrm{Res}_{z=\frac{i}{\sqrt{2}}} f(z) &=\dfrac{1}{2}\dfrac{-1+\dfrac{1}{2}}{-2 \sqrt{2}i}\\ &= \dfrac{1}{8\sqrt{2}i}\end{eqnarray}

\(C_{2}\)の積分結果

\(z=Re^{i\theta}\)で、\(0≦\theta≦\pi\)の積分範囲となる。

\(dz=iRe^{i \theta} d \theta\)であるので、次式のようになる。

\begin{eqnarray}\int _{C_{2}}\dfrac{\left( Re^{i\theta}\right) ^{2}}{\left( 2\left( Re^{i\theta }\right) ^{2}+1\right) ^{2}}\cdot iRe^{i\theta }\cdot d\theta\end{eqnarray}

R→∞の極限を考えたとき、Rの次数は(分母)>(分子)のため0に収束する。

\begin{eqnarray}\int _{C_{2}}f\left( z\right) dc\rightarrow 0\end{eqnarray}

最終的な積分結果

コーシーの積分定理により、

\begin{eqnarray}\int _{C_{1}+C_{2}}f\left( z\right) =2\pi i\cdot \left( \dfrac{1}{8\sqrt{2}i}\right)=\dfrac{\pi}{4√2}\end{eqnarray}

(5)式より、\(C_{2}\)分の積分値は0に収束するので、ジョルダンの補助定理から

\begin{aligned}\int _{C_{1}}f\left( z\right) dz=\int ^{\infty }_{-\infty }\dfrac{z^{2}}{\left( 2z^{2}+1\right) }dz =\dfrac{\pi }{4\sqrt{2}}\end{aligned}

z→xとすると、題意を満たす積分結果になる。

(2)留数定理を用いた逆ラプラス変換

与えられた関数$F\left( s\right) =\dfrac{s+1}{s^{3}+s^{2}-6s}$の極は

\[ \begin{aligned}s^{3}+6s^{2}-6s=0 \\ s(s-2)(s+3)=0 \\ s=-2,0,3\end{aligned} \]

それぞれの留数を足し合わせることで、原関数を得る。

\begin{align} f(t) &= \mathop{\mathrm{Res}}\limits_{s=-3}(F\left( s\right) e^{st}) + \mathop{\mathrm{Res}}\limits_{s=0} (F\left( s\right) e^{st}) + \mathop{\mathrm{Res}}\limits_{s=2} ( F\left( s\right) e^{st}) \\ &= \dfrac{s+1}{s\left( s-2 \right) }| _{s=-3}e^{st} + \dfrac{s+1}{\left( s-2\right) \left( s+3\right) }|_{s=0}e^{st}+\dfrac{s+1}{s\left( s+3\right) }e^{st}|_{s=2} \\ &= -\dfrac{2}{15}e^{-3t}-\dfrac{1}{6}+\dfrac{3}{10}e^{2t} \end{align}

\begin{align}L^{-1} \left[ F\left( s\right) \right] &=\dfrac{1}{2\pi i}\int _{a+i\infty }^{a+i\infty }F\left( s\right) e^{st}ds \\ &= -\dfrac{2}{15}e^{-3t}-\dfrac{1}{6}+\dfrac{3}{10}e^{2t} \end{align}

であることが分かった。

最後に

本問が、複素積分を利用し、積分結果を求める問題の基本となる考え方になります。

分母が2次以上のとき、留数を求めるときに微分が必要なことに注意しましょう。