多項式関数と指数関数の関係 (未定係数法における解釈)、解の線形独立性、共鳴の規則

多項式関数と指数関数の関係 (未定係数法における解釈)、解の線形独立性、共鳴の規則

未定係数法で非同次線形微分方程式の特殊解を求める際に、「多項式は $e^{0x}$ と見なせる」という表現が使われることがあります。これは、多項式関数を指数関数の一種として解釈することで、特殊解の仮定形を決定する際のルールを統一的に適用するための考え方です。

多項式と指数関数e^(0x)の関係

任意の多項式 $P(x)$ は、次のように表現できます。

$$P(x) = (c_n x^n + c_{n-1} x^{n-1} + \dots + c_1 x + c_0)$$

ここで、$e^{0x} = e^0 = 1$ であるため、$P(x)$ は常に $P(x) \cdot e^{0x}$ と書くことができます。

$$P(x) = P(x) \cdot e^{0x}$$

未定係数法におけるこの考え方の意味

非同次方程式 $f(D)y = F(x)$ の特殊解 $y_p$ を未定係数法で求めるとき、非同次項 $F(x)$ の形に応じて $y_p$ の仮定形を決定します。

1. 非同次項が指数関数 $F(x) = e^{ax}$ の場合:
   特殊解は通常 $y_p = A e^{ax}$ と仮定されます。

2. 非同次項が多項式 $F(x) = P_n(x)$ の場合:
   特殊解は通常 $y_p = A_n x^n + \dots + A_0$ と仮定されます。

ここで、「多項式は $P_n(x) \cdot e^{0x}$ と見なせる」という考え方が重要になります。これは、多項式関数を「$e^{ax}$ の特殊なケースで $a=0$ の場合」と解釈することを意味します。

共鳴 (Resonance) のチェックとe^(0x)

未定係数法では、仮定した特殊解の形が同次解の形と線形独立であることを確認する必要があります。もし仮定形が同次解の項と重複する場合（共鳴と呼ばれる現象）、単純な仮定形では解を決定できません。

• $F(x) = e^{ax}$ のケース:
  もし $a$ が同次方程式の特性根である場合、共鳴が発生します。このとき、仮定形に $x$ を掛けて $A x e^{ax}$ または $A x^k e^{ax}$ (特性根の重複度 $k$ に応じて) と修正します。

• $F(x) = P_n(x)$ (多項式) のケース:
  多項式を $P_n(x) \cdot e^{0x}$ と見なすことで、$a=0$ のケースとして扱えます。

  1. 特性方程式の根に $r=0$ が含まれていない場合:
     $a=0$ が特性根ではないため、共鳴は発生しません。この場合、多項式 $P_n(x)$ の仮定形 ($A_n x^n + \dots + A_0$) は同次解のどの項とも重複せず、そのまま仮定できます。
     （例: $(D^2+2D-3)y = 6x-1$ の場合、特性根は $r=1, -3$ であり $0$ は含まれない。したがって $y_p = Ax+B$ と仮定できる。）

  2. 特性方程式の根に $r=0$ が含まれている場合:
     これは $e^{0x}$ が同次解の項として現れることを意味します ($C_1 e^{0x}$ や $C_2 x e^{0x}$ など)。この場合、$a=0$ が特性根であると判断し、共鳴の規則に従って $y_p = x^k (A_n x^n + \dots + A_0)$ のように $x$ を掛けて修正する必要があります。ここで $k$ は特性根 $0$ の重複数です。
     （例: $y'' = x$ ($D^2 y = x$) の場合、特性方程式は $r^2=0$ で根は $r=0$ (重解)。同次解は $C_1 + C_2 x$。非同次項 $x$ を $x \cdot e^{0x}$ と見なし、$a=0$ が重解なので、$y_p = x^2(Ax+B)$ と仮定する必要がある。）

このように、「多項式は $e^{0x}$ と見なせる」という考え方は、未定係数法において、指数関数形 ($e^{ax}$) の非同次項に対する一般的な規則を多項式にも適用し、同次解との線形独立性をチェックする際の統一的な枠組みを提供するためのものです。

微分方程式における「解の線形独立性」とは

「解の線形独立性」とは、微分方程式の解の集合が、互いにスカラー倍の関係にないことを指します。より厳密に言うと、関数の集合 ${y_1(x), y_2(x), \dots, y_n(x)}$ が線形独立であるとは、以下の式が全ての $x$ について成り立つならば、そのとき定数 $c_1, c_2, \dots, c_n$ がすべてゼロでなければならないことを意味します。

$$c_1 y_1(x) + c_2 y_2(x) + \dots + c_n y_n(x) = 0$$

もし、少なくとも1つの定数がゼロではないのにこの式が成り立つ場合、その関数の集合は「線形従属」であると言えます。これは、ある関数が他の関数の線形結合で表せてしまう状態を指します。

なぜ線形独立性が重要なのか？

1. 一般解の構成
   同次線形微分方程式の一般解を構成する際には、線形独立な基本解の集合を見つけることが非常に重要です。$n$ 階の同次線形微分方程式の一般解は、$n$ 個の線形独立な特殊解の線形結合で表されます。もし解が線形従属であれば、それらは新しい情報を提供せず、一般解の構成には意味がありません。

2. ロンスキアン (Wronskian)
   関数の線形独立性を判定するための一般的な方法として、ロンスキアンという行列式を用いるものがあります。ロンスキアンがゼロでない場合、その関数の集合は線形独立であると判定できます。

3. 未定係数法との関連
   未定係数法で特殊解を仮定する際に、仮定する形が同次解のいずれかの項と線形従属になる場合、「共鳴」と呼ばれる現象が発生します。この場合、仮定した形ではその係数を一意に決定できません。
   例えば、$y''+y=0$ の同次解は $C_1 \cos x + C_2 \sin x$ です。もし非同次項が $\cos x$ の場合、単純に $A \cos x$ と仮定すると、同次解の項 ($\cos x$) と線形従属になってしまい、適切な特殊解を導出できません。このため、修正として $Ax \cos x + Bx \sin x$ のように $x$ を掛けて仮定形を修正する必要があります。

線形独立性の概念は、微分方程式の理論だけでなく、線形代数や関数解析など、数学の様々な分野で基本的な役割を果たします。

微分方程式の「共鳴の規則」とは

共鳴の規則（または共振の規則、Modification Rule）は、未定係数法や逆演算子法を用いて非同次線形微分方程式の特殊解 $y_p$ を求めるときに適用される重要なルールです。この規則は、非同次項 $F(x)$ の形が同次方程式の解（同次解 $y_c$）の項と線形従属になる場合に、特殊解の仮定形を修正するために使われます。

共鳴とは

線形微分方程式 $f(D)y = F(x)$ において、非同次項 $F(x)$ の形が、対応する同次方程式 $f(D)y = 0$ の特性方程式の根と「一致」する場合に共鳴が発生します。

具体的には、

• $F(x) = C e^{ax}$ の場合: 同次方程式の特性方程式の根に $a$ が含まれているとき。
• $F(x) = C_1 \cos(bx) + C_2 \sin(bx)$ の場合: 同次方程式の特性方程式の根に $\pm ib$ が含まれているとき。
• $F(x) = P_n(x)$（$n$次多項式）の場合: 同次方程式の特性方程式の根に $0$ が含まれているとき（多項式は $P_n(x)e^{0x}$ と見なせるため）。

共鳴が発生すると、通常の仮定形（例：$A e^{ax}$ や $Ax^n+B$）では特殊解を適切に求めることができません。なぜなら、その仮定形はすでに同次解の空間に属しているため、微分方程式に代入すると恒等的にゼロになってしまい、係数を決定できないからです。

共鳴の規則

共鳴が発生する場合、特殊解の仮定形は、非同次項の通常の仮定形に $x^k$ を掛けて修正します。 ここで $k$ は、非同次項の「特性根」（指数関数の指数 $a$、または三角関数の $ib$）が、同次方程式の特性方程式の根として持っている重複度です。

具体的な例:

1. 非同次項が $e^{ax}$ の場合:

   • 通常の仮定形: $y_p = A e^{ax}$
   • 共鳴の場合: $a$ が特性方程式の $k$ 重根であるなら、$y_p = A x^k e^{ax}$ と仮定します。
     • 例: $(D^2 - D - 6)y = e^{3x}$ の場合。
       特性方程式は $r^2 - r - 6 = 0 \Rightarrow (r-3)(r+2) = 0$ で、根は $r=3, -2$ です。
       非同次項 $e^{3x}$ の指数 $3$ は特性根 $3$ と一致し、その重複度は $k=1$ です。
       よって、特殊解は $y_p = A x^1 e^{3x}$ と仮定します。

2. 非同次項が $\cos(bx)$ または $\sin(bx)$ の場合:

   • 通常の仮定形: $y_p = A \cos(bx) + B \sin(bx)$
   • 共鳴の場合: $\pm ib$ が特性方程式の $k$ 重根であるなら、$y_p = x^k (A \cos(bx) + B \sin(bx))$ と仮定します。
     • 例: $(2D^2+D+3)y = \cos x$ の場合。
       特性方程式は $2r^2+r+3=0 \Rightarrow r = -\frac{1}{4} \pm i\frac{\sqrt{23}}{4}$ です。
       非同次項 $\cos x$ の $b=1$ なので、特性根の虚部と一致しません。この場合は共鳴は発生しません。
       もし、特性根が $\pm i$ (つまり $b=1$) で重解でない場合 ($k=1$) であれば、$y_p = x (A \cos x + B \sin x)$ と仮定します。

3. 非同次項が多項式 $P_n(x)$ の場合:

   • 通常の仮定形: $y_p = A_n x^n + \dots + A_0$
   • 共鳴の場合: $0$ が特性方程式の $k$ 重根であるなら、$y_p = x^k (A_n x^n + \dots + A_0)$ と仮定します。
     • 例: $y'' = x$ ($D^2 y = x$) の場合。
       特性方程式は $r^2 = 0$ で、根は $r=0$（重解）です。重複度は $k=2$ です。
       非同次項 $x$ は $x e^{0x}$ と見なせるため、$0$ が特性根と一致します。
       よって、特殊解は $y_p = x^2 (Ax+B)$ と仮定します。

共鳴の規則を適用することで、線形従属の問題を回避し、特殊解の係数を一意に決定できるようになります。