$$ \ddd{^2y}{x^2} $$$$ + $$$$ 4 $$$$ \ddd{y}{x} $$$$ + $$$$ 5 $$$$ y $$$$ = $$$$ 0 $$ EditToHeaderToFooter

固有値が虚数2つ、同次形 EditToHeaderToFooter

$$ \ddd{^2y}{x^2} $$$$ + $$$$ 4 $$$$ \ddd{y}{x} $$$$ + $$$$ 5 $$$$ y $$$$ = $$$$ 0 $$

$$ \bigg( $$$$ \ddd{^2}{x^2} $$$$ + $$$$ 4 $$$$ \ddd{}{x} $$$$ + $$$$ 5 $$$$ \bigg) $$$$ y $$$$ = $$$$ 0 $$

式1: 線形常微分演算子化

$$ \bigg( $$$$ \ddd{}{x} $$$$ + $$$$ 2 $$$$ + $$$$ \:i $$$$ \bigg) $$$$ \bigg( $$$$ \ddd{}{x} $$$$ + $$$$ 2 $$$$ - $$$$ \:i $$$$ \bigg) $$$$ y $$$$ = $$$$ 0 $$

式2: 線形常微分演算子の因数分解($$ \:i $$は虚数単位)

$$ y $$$$ = $$$$ \bigg( $$$$ \ddd{}{x} $$$$ + $$$$ 2 $$$$ + $$$$ \:i $$$$ \bigg)^{\!\!-1\!\!} \bigg( $$$$ \ddd{}{x} $$$$ + $$$$ 2 $$$$ - $$$$ \:i $$$$ \bigg)^{\!\!-1} $$$$ 0 $$

式3: 逆演算子表記

$$ y $$$$ = $$$$ e^{-(2+\:i)x} \!\!\!\int\!\! e^{(2+\:i)x} $$$$ \cdot $$$$ e^{-(2-\:i)x} \!\!\!\int\!\! e^{(2-\:i)x} $$$$ \cdot $$$$ 0 $$$$ dx $$$$ dx $$

式4: 逆演算子を積分に置換*1

$$ y $$$$ = $$$$ e^{-(2+\:i)x} $$$$ \int $$$$ e^{2\:ix} $$$$ \int $$$$ 0 $$$$ dx^2 $$

式5: 2階の積分式

以下からは具体的な積分計算が始まる。

$$ y $$$$ = $$$$ e^{-(2+\:i)x} $$$$ \int $$$$ e^{2\:ix} $$$$ \int $$$$ 0 $$$$ dx^2 $$

 $$ = $$$$ e^{-(2+\:i)x} $$$$ \int $$$$ e^{2\:ix} $$$$ \bigg[ $$$$ 0 $$$$ + $$$$ C_1 $$$$ \bigg] $$$$ dx $$

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

式6: 不定積分、$$ C_1 $$は積分定数

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

 $$ = $$$$ \ffd{C_1}{2\:i} $$$$ e^{-(2-\:i)x} $$$$ + $$$$ C_2 $$$$ e^{-(2+\:i)x} $$

式7: 不定積分、$$ C_2 $$は積分定数

ここで、$$ c_1 $$$$ = $$$$ \ffd{C_1}{2\:i} $$$$ c_2 $$$$ = $$$$ C_2 $$と置いて式整理すると積和形の解が得られる。

$$ y $$$$ = $$$$ c_1 $$$$ e^{-(2-\:i)x} $$$$ + $$$$ c_2 $$$$ e^{-(2+\:i)x} $$

式8*: 複素数版、積和形の一般解

しかし、この解は例え定数$$ c_1 $$$$ c_2 $$に実数を選んでも$$ y $$が虚数値となりうる*2
一方で、$$ y $$を実数値に限定する場合が多く、そのために以下の式変形が求められる。

$$ y $$$$ = $$$$ c_1 $$$$ e^{-(2-\:i)x} $$$$ + $$$$ c_2 $$$$ e^{-(2+\:i)x} $$

 $$ = $$$$ c_1 $$$$ e^{-2x} $$$$ e^{\:ix} $$$$ + $$$$ c_2 $$$$ e^{-2x} $$$$ e^{-\:ix} $$

 $$ = $$$$ c_1 $$$$ e^{-2x} $$$$ ( $$$$ \cos $$$$ x $$$$ + $$$$ \:i $$$$ \sin $$$$ x $$$$ ) $$$$ + $$$$ c_2 $$$$ e^{-2x} $$$$ ( $$$$ \cos $$$$ x $$$$ - $$$$ \:i $$$$ \sin $$$$ x $$$$ ) $$

オイラーの公式$$ e^{\:i\theta} $$$$ = $$$$ \cos $$$$ \theta $$$$ + $$$$ \;i $$$$ \sin $$$$ \theta $$を適用

 $$ = $$$$ ( $$$$ c_1 $$$$ + $$$$ c_2 $$$$ ) $$$$ e^{-2x} $$$$ \cos $$$$ x $$$$ + $$$$ ( $$$$ c_1 $$$$ - $$$$ c_2 $$$$ ) $$$$ \:i $$$$ e^{-2x} $$$$ \sin $$$$ x $$

ここで、$$ c_c $$$$ = $$$$ c_1 $$$$ + $$$$ c_2 $$$$ c_s $$$$ = $$$$ ( $$$$ c_1 $$$$ - $$$$ c_2 $$$$ ) $$$$ \:i $$と置いて式整理すると、
$$ c_c $$$$ c_s $$を実数から取れば、$$ y $$も必ず実数になる積和形の解が得られる*3
また、指数部が共通しているため、指数部を纏めた和積形が好まれる。

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

式8: 積和形の一般解

$$ y $$$$ = $$$$ e^{-2x} $$$$ ( $$$$ c_c $$$$ \cos x $$$$ + $$$$ c_s $$$$ \sin x $$$$ ) $$

式9: 和積形の一般解

*1 1階線形常微分方程式の解を利用:$$ \ddd{y}{x} $$$$ + $$$$ k $$$$ y $$$$ = $$$$ h $$$$ y $$$$ = $$$$ e^{-kx} $$$$ \int $$$$ e^{-kx} $$$$ h $$$$ dx $$
*2 実数値の$$ y $$を作り出すには、適切な複素数値の$$ c_1 $$$$ c_2 $$を選ぶ必要がある。
*3 $$ c_c $$$$ c_s $$の置き方から、$$ c_1 $$$$ c_2 $$が共役複素数であれば$$ y $$が実数になるのが分かる。

つなぎ EditToHeaderToFooter

リロード   新規 編集 凍結 差分 添付 複製 改名   数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS
Last-modified: 2014.0916 (火) 0614.0200 (3507d)