「応用数学 - 定数係数2階線形常微分方程式」の版間の差分

ナビゲーションに移動 検索に移動
305行目: 305行目:
したがって、与式の一般解は次式となる。<br>
したがって、与式の一般解は次式となる。<br>
<math>y = C_1 e^{-2x} + C_2 e^{-x} + \frac{2x - 3}{4}</math><br>
<math>y = C_1 e^{-2x} + C_2 e^{-x} + \frac{2x - 3}{4}</math><br>
<br><br>
== 未定係数法 ==
定数係数2階線形常微分方程式 (非同次方程式) <math>\frac{d^2 y}{dx^2} + a \frac{dy}{dx} + by = g(x)</math> において、<br>
g(x)が特定の形(例えば、xの多項式やe<sup>ax</sup>の形)の場合、特殊解v(x)の形を推定できる場合がある。<br>
<br>
この場合、v(x)の形は、以下の定数係数2階線形常微分方程式 (同次方程式)の特性方程式の解とg(x)の形で決まる。<br>
<math>\frac{d^2 y}{dx^2} + a \frac{dy}{dx} + by = 0</math><br>
<br>
このように、g(x)が特定の形の場合に有効な方法が未定係数法である。<br>
<br>
ただし、未定係数法は万能な方法ではなく、<br>
定数係数2階線形常微分方程式 (非同次方程式)において、g(x)が以下のような形の場合に有効な方法である。<br>
(1) xの多項式の形。<br>
(2) e<sup>ax</sup>の形。<br>
(3) <math>\sin{\alpha x}</math> の形。<br>
(4) <math>\cos{\beta x}</math> の形。<br>
(5) 上記(1)〜(4)の組み合わせでできている形。<br>
<br>
以下、上記の場合を考慮して、g(x)の形、特性方程式の解、および特殊解v(x)の形の間の関係を記述する。<br>
<br>
==== 特殊解の形 ====
多項式 <math>p_n, \, P_n, \, Q_n</math> を定める。<br>
<br>
<math>
\begin{cases}
p_n(x) &= k_n x^n + k_{n - 1} x^{n - 1} + \cdots + k_1 x + k_0 \\
P_n(x) &= A_n x^n + A_{n - 1} x^{n - 1} + \cdots + A_1 x + A_0 \\
Q_n(x) &= B_n x^n + B_{n - 1} x^{n - 1} + \cdots + B_1 x + B_0 \\
\end{cases}
</math><br>
<br>
( <math>n = 0</math> の時は、<math>p_n(x), \, P_n(x), \, Q_n(x)</math> は定数となる)<br>
<br>
このとき、定数係数2階線形常微分方程式 (非同次方程式): <math>\frac{d^2 y}{dx^2} + a \frac{dy}{dx} + by = g(x)</math> におけるg(x)の形に応じて、<br>
4通りに分類して、特殊解v(x)の形を見る。<br>
<br>
* <math>g(x) = p_n(x)</math> の場合の特殊解v(x)
** <math>\lambda \ne 0</math> の時
**: <math>v(x) = P_n(x)</math>
** <math>\lambda = 0 \mbox{ ( 単 解 ) }</math> の時
**: <math>v(x) = x P_n(x)</math>
** <math>\lambda = 0 \mbox{ ( 2 重 解 ) }</math> の時
**: <math>v(x) = x^2 P_n(x)</math>
*: <br>
* <math>g(x) = p_n(x) e^{\alpha x}</math> の場合の特殊解v(x)
** <math>\lambda \ne \alpha</math> の時
**: <math>v(x) = P_n(x) e^{\alpha x}</math>
** <math>\lambda = 0 \mbox{ ( 単 解 ) }</math> の時
**: <math>v(x) = x P_n(x) e^{\alpha x}</math>
** <math>\lambda = 0 \mbox{ ( 2 重 解 ) }</math> の時
**: <math>v(x) = x^2 P_n(x) e^{\alpha x}</math>
*: <br>
* <math>g(x) = p_n(x) \sin{\beta x}</math> または <math>p_n(x) \cos{\beta x}</math> の場合
** <math>\lambda \ne i \beta</math> の時
**: <math>v(x) = Pn(x) \cos{\beta x} + Q_n(x) \sin{\beta x}</math>
** <math>\lambda = i \beta</math> の時
**: <math>v(x) = x \{ Pn(x) \cos{\beta x} + Q_n(x) \sin{\beta x} \}</math>
*: <br>
* <math>g(x) = p_n(x) e^{\alpha x} \sin{\beta x}</math> または <math>g(x) = p_n(x) e^{\alpha x} \cos{\beta x}</math> の場合
** <math>\lambda \ne \alpha \pm i \beta</math> の時
**: <math>v(x) = e^{\alpha x} \{ P_n(x) \cos{\beta x} + Q_n(x) \sin{\beta x} \}</math>
** <math>\lambda = \alpha \pm i \beta</math> の時
**: <math>v(x) = x e^{\alpha x} \{ P_n(x) \cos{\beta x} + Q_n(x) \sin{\beta x} \}</math>
<br><br>
<br><br>


__FORCETOC__
__FORCETOC__
[[カテゴリ:解析学]]
[[カテゴリ:解析学]]

案内メニュー