3 μ=1 の場合

次に、方程式 (5) の $\mu =1$ の場合
\begin{displaymath}
u_{tt}=xu_{xx}+u_x\end{displaymath} (8)

に対して、[1] に基づいた手法 (変数分離法) で $x=0$ での境界条件 (6) の必要性について考察する。

(8) の $u$$u=v(t)w(x)$ と変数分離すると、

\begin{displaymath}
v''(t)w(x)=xv(t)w''(x)+v(t)w'(x)
\end{displaymath}

となるので、
\begin{displaymath}
\frac{v''(t)}{v(t)}=\frac{xw''(x)+w'(x)}{w(x)}
\end{displaymath}

と分離でき、これは $t$ のみの式と $x$ のみの式が等しいことを意味するので、 この両辺は定数となる。それを $c_0$ とする。

$c_0\geq 0$ であると、$v(t)$ は限りなく増大するか、 または単調に減少する関数になってしまい、 それでは本来の糸の運動に対応する振動する解を表現できないので、 $c_0<0$ である必要がある。 よって $c_0=-\lambda^2$ ($\lambda>0$) と書くことにすると、

    $\displaystyle v''(t)+\lambda^2 v(t)=0\hspace{1zw}(t>0)$ (9)
    $\displaystyle xw''(x)+w'(x)+\lambda^2 w(x)=0\hspace{1zw}(0<x<L)$ (10)

となる。(9) より $v(t)$
\begin{displaymath}
v(t)=C_1\cos\lambda t+C_2\sin\lambda t
\end{displaymath}

と求まるが、$w(x)$ はベッセル関数で表されるものとなる。

竹野茂治@新潟工科大学
2009年6月22日