13,000
回編集
(→定数変化法) |
|||
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__ | ||
[[カテゴリ:解析学]] | [[カテゴリ:解析学]] |