定数係数４階線形常微分方程式のバックアップ(No.7)

$\ddd{^4y}{x^4}$ $\ddd{^3y}{x^3}$ $\ddd{^2y}{x^2}$ $\ddd{y}{x}$ $e^{2x}$

固有値が重根１つ、虚根２つ、非同次形、非共鳴

$\ddd{^4y}{x^4}$ $\ddd{^3y}{x^3}$ $\ddd{^2y}{x^2}$ $\ddd{y}{x}$ $e^{2x}$
⇔ $\bigg($ $\ddd{^4}{x^4}$ $\ddd{^3}{x^3}$ $\ddd{^2}{x^2}$ $\ddd{}{x}$ $\bigg)$ $e^{2x}$	式1：線形常微分演算子化
⇔ 　　　 $\bigg($ $\ddd{}{x}$ $\bigg)\;\;\bigg($ $\ddd{}{x}$ $\bigg)\;\;\bigg($ $\ddd{}{x}$ $\:i$ $\bigg)\;\;\bigg($ $\ddd{}{x}$ $\:i$ $\bigg)$ $e^{2x}$	式2：線形常微分演算子の因数分解
⇔ $\bigg($ $\ddd{}{x}$ $\:i$ $\bigg)^{\!-1}\!\bigg($ $\ddd{}{x}$ $\:i$ $\bigg)^{\!-1}\!\bigg($ $\ddd{}{x}$ $\bigg)^{\!-1}\!\bigg($ $\ddd{}{x}$ $\bigg)^{\!-1}$ $e^{2x}$	式3：逆演算子表記
⇔ $\bigg($ $e^{-\:ix} \!\!\!\int\!\! e^{\:ix}$ $\bigg)\;\;\bigg($ $e^{\:ix} \!\!\!\int\!\! e^{-\:ix}$ $\bigg)\;\;\bigg($ $e^{x} \!\!\int\! e^{-x}\,$ $\bigg)\;\;\bigg($ $e^{x} \!\!\int\! e^{-x}\,$ $\bigg)$ $e^{2x}$	式4：逆演算子を積分に置換*1
⇔ $e^{-\:ix}$ $\cdot \!\!\int\!\! e^{2\:ix}$ $\cdot \!\!\int\!\! e^{x-\:ix}$ $\cdot \!\!\int\!\! \cdot \!\!\int\! e^{x}$	式5：４回の逐次積分

*1 １階線形常微分方程式の解を利用： $\ddd{y}{x}$ $$ + $$ $$ k $$

⇔

$e^{-kx}$ $\int$ $e^{kx}$ $$ h $$

以下からは具体的な積分計算が始まる。 $C_\ast$ は全て積分定数。

$$ y_1 $$ $$ = $$ $\int\! e^{x}$ $$ dx $$

　　 $$ = $$ $e^{x}$ $$ + $$ $$ C_1 $$

$$ y_2 $$ $$ = $$ $\int\!$ $$ y_1 $$ $$ dx $$ $$ = $$ $\int\!$ $\bigg($ $e^{x}$ $$ + $$ $$ C_1 $$ $\bigg)$

　　 $$ = $$ $e^{x}$ $$ + $$ $$ C_1 $$ $$ x $$ $$ + $$ $$ C_2 $$

$$ y_3 $$ $$ = $$ $\int\!$ $e^{x-\:ix}$ $$ y_2 $$ $$ dx $$ $$ = $$ $\int\!$ $e^{x-\:ix}$ $\bigg($ $e^{x}$ $$ + $$ $$ C_1 $$ $$ x $$ $$ + $$ $$ C_2 $$ $\bigg)$

　　 $$ = $$ $\int\!$ $\bigg($ $e^{2x-\:ix}$ $$ + $$ $$ C_1 $$ $$ x $$ $e^{x-\:ix}$ $$ + $$ $$ C_2 $$ $e^{x-\:ix}$ $\bigg)$ $$ dx $$

　　 $$ = $$ $\ffd1{2-\:i}$ $e^{2x-\:ix}$ $$ + $$ $\ffd{C_1}{1-\:i}$ $$ x $$ $e^{x-\:ix}$ $$ - $$ $\ffd{C_1}{(1-\:i)^2}$ $e^{x-\:ix}$ $$ + $$ $\ffd{C_2}{1-\:i}$ $e^{x-\:ix}$ $$ + $$ $$ C_3 $$ 　| *2

$\int\!$ $e^{2\:ix}$
$\int\!$ $e^{2\:ix}$ $\bigg($ $\ffd1{2-\:i}$ $e^{2x-\:ix}$ $\ffd{C_1}{1-\:i}$ $e^{x-\:ix}$ $\ffd{C_1}{(1-\:i)^2}$ $e^{x-\:ix}$ $\ffd{C_2}{1-\:i}$ $e^{x-\:ix}$ $\bigg)$
$\int\!$ $\bigg($ $\ffd1{2-\:i}$ $e^{2x+\:ix}$ $\ffd{C_1}{1-\:i}$ $e^{x+\:ix}$ $\ffd{C_1}{(1-\:i)^2}$ $e^{x+\:ix}$ $\ffd{C_2}{1-\:i}$ $e^{x+\:ix}$ $e^{2\:ix}$ $\bigg)$
$\ffd1{(2-\:i)(2+\:i)}$ $e^{2x+\:ix}$ $\ffd{C_1}{1-\:i}$ $\bigg($ $\ffd1{1+\:i}$ $e^{x+\:ix}$ $\ffd1{(1+\:i)^2}$ $e^{x+\:ix}$ $\bigg)$ 　　　　　　 $\ffd{C_1}{(1-\:i)^2(1+\:i)}$ $e^{x+\:ix}$ $\ffd{C_2}{(1-\:i)(1+\:i)}$ $e^{x+\:ix} +$ $\ffd{C_3}{2\:i}$ $e^{2\:ix}$
$\ffd15$ $e^{2x+\:ix}$ $\ffd{C_1}{2}$ $e^{x+\:ix}$ $\ffd{C_1}{2(1+\:i)}$ $e^{x+\:ix}$ $\ffd{C_1}{2(1-\:i)}$ $e^{x+\:ix}$ $\ffd{C_2}{2}$ $e^{x+\:ix} +$ $\ffd{C_3}{2\:i}$ $e^{2\:ix}$	*3
$\ffd15$ $e^{2x+\:ix}$ $\ffd{C_1}{2}$ $e^{x+\:ix}$ $\ffd{C_1}{2}$ $e^{x+\:ix}$ $\ffd{C_2}{2}$ $e^{x+\:ix} +$ $\ffd{C_3}{2\:i}$ $e^{2\:ix}$	*4
$\ffd15$ $e^{2x+\:ix}$ $\ffd{C_1}{2}$ $e^{x+\:ix}$ $\ffd{C_2-C_1}{2}$ $e^{x+\:ix} +$ $\ffd{C_3}{2\:i}$ $e^{2\:ix}$

$y_{\phantom0}$ $$ = $$ $e^{-\:ix}$ $$ y_4 $$

　　 $$ = $$ $e^{-\:ix}$ $\bigg($ $\ffd15$ $e^{2x+\:ix}$ $$ + $$ $\ffd{C_1}{2}$ $$ x $$ $e^{x+\:ix}$ $$ + $$ $\ffd{C_2-C_1}{2}$ $e^{x+\:ix} +$ $\ffd{C_3}{2\:i}$ $e^{2\:ix}$ $$ + $$ $$ C_4 $$ $\bigg)$

　　 $$ = $$ $\ffd15$ $e^{2x}$ $$ + $$ $\ffd{C_1}{2}$ $$ x $$ $e^{x}$ $$ + $$ $\ffd{C_2-C_1}{2}$ $e^{x} +$ $\ffd{C_3}{2\:i}$ $e^{\:ix}$ $$ + $$ $$ C_4 $$ $e^{-\:ix}$

$$ c_1 $$ $$ = $$ $\ffd{C_1}{2}$ 、 $$ c_2 $$ $$ = $$ $\ffd{C_2 - C_1}{2}$ 、 $$ c_3 $$ $$ = $$ $\ffd{C_3}{2\:i}$ 、 $$ c_4 $$ $$ = $$ と置けば、複素係数での解集合が得られる。

$$ y $$ $$ = $$ $\ffd15$ $e^{2x}$ $$ + $$ $$ c_1 $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ + $$ $$ c_3 $$ $e^{\:ix}$ $$ + $$ $$ c_4 $$ $e^{-\:ix}$

*2 部分積分により $\int$ $xe^{ax}$ $$ dx $$ $$ = $$ $\ffd1a$ $xe^{ax}$ $$ - $$ $\ffd1{a^2}$ $e^{ax}$ $$ + C $$
*3 $$ (1-i)(1-i)=2 $$

、

*4 $\ffd1{(1-i)} + \ffd1{(1-i)} = \ffd{(1-i) + (1+i)}{(1-i)(1+i)} = \ffd22 = 1$

さらに解集合を実係数に限定したければ、 $$ c_3 $$ $e^{\:ix}$ $$ + $$ $$ c_4 $$ $e^{-\:ix}$ を三角関数で表示してから係数を制限すれば良い。

$e^{\:ix}$ $e^{-\:ix}$
$\cos$ $\:i$ $\sin$ $\cos$ $\:i$ $\sin$	*5
$\cos$ $\:i$ $\sin$

改めて $$ c_c $$ $$ = $$ $$ c_3 $$ $$ + $$ $$ c_4 $$ 、 $$ c_s $$ $$ = $$ $$ ( $$ $$ - $$ $$ ) $$ $\:i$ と置いた上で、全ての係数を実数に限定すれば、実数係数での解集合が得られる。

$$ y $$ $$ = $$ $\ffd15$ $e^{2x}$ $$ + $$ $$ c_1 $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ + $$ $$ c_c $$ $\cos$ $$ x $$ $$ + $$ $$ c_s $$ $\sin$ $$ x $$

*5 オイラーの公式： $e^{\:i\theta}$ = $ \cos $ \theta $ + $ \;i $ \sin $ \theta $$

検算

$$ y $$ $$ = $$ $\ffd15$ $e^{2x}$ $$ + $$ $$ c_1 $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ + $$ $$ c_c $$ $\cos$ $$ x $$ $$ + $$ $$ c_s $$ $\sin$ $$ x $$

より、

$\ddd{y}{x}\;$ $$ = $$ $\ffd25$ $e^{2x}$ $$ + $$ $\;\,$ $$ c_1 $$ $e^{x}$ $$ + $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ - $$ $$ c_c $$ $\sin$ $$ x $$ $$ + $$ $$ c_s $$ $\cos$ $$ x $$

$\ddd{^2y}{x^2}$ $$ = $$ $\ffd45$ $e^{2x}$ $$ + $$ $$ 2 $$ $$ c_1 $$ $e^{x}$ $$ + $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ - $$ $$ c_c $$ $\cos$ $$ x $$ $$ - $$ $$ c_s $$ $\sin$ $$ x $$

$\ddd{^3y}{x^3}$ $$ = $$ $\ffd85$ $e^{2x}$ $$ + $$ $$ 3 $$ $$ c_1 $$ $e^{x}$ $$ + $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ + $$ $$ c_c $$ $\sin$ $$ x $$ $$ - $$ $$ c_s $$ $\cos$ $$ x $$

$\ddd{^4y}{x^4}$ $$ = $$ $\ffd{16}5$ $e^{2x}$ $$ + $$ $$ 4 $$ $$ c_1 $$ $e^{x}$ $$ + $$ $$ x $$ $e^{x}$ $$ + $$ $$ c_2 $$ $e^{x}$ $$ + $$ $$ c_c $$ $\cos$ $$ x $$ $$ + $$ $$ c_s $$ $\sin$ $$ x $$

定数係数４階線形常微分方程式 のバックアップ(No.7)

固有値が重根１つ、虚根２つ、非同次形、非共鳴

検算

定数係数４階線形常微分方程式のバックアップ(No.7)