定数変化法

数学における**係数変化法**（けいすうへんかほう、）または**定数変化法**（じょうすうへんかほう、ていすうへんかほう、）は線型非斉次な常微分方程式の一般解法である。ラグランジュの定数変化法と呼ばれることもある。

一階の非斉次線型微分方程式は、かなり労力の少ない積分因子や未定係数法を通じて解けるのが普通であるが、それらは推測から来る経験則として利用するもので、しかもすべての非斉次微分方程式に対してうまくいくわけではない。

定数変化法は線型偏微分方程式にも拡張することができて、具体的に熱方程式、波動方程式、振動板方程式などの線型発展方程式の非斉次問題が解ける。この設定での定数変化法を用いた解法は、むしろデュアメルの原理としてよく知られている。この呼称は、非斉次熱方程式の解法として定数変化法を初めて適用したジャン＝マリー・デュアメルに因むものであり、一般の定数変化法をデュアメルの原理と呼ぶこともある。

## 解法の説明
階数 *n* の非斉次常微分方程式
: \text{(i) }\quad y^{(n)}(x) + \sum_{i=0}^{n-1} a_i(x) y^{(i)}(x) = b(x)
が与えられたとき、*y*1, …, *y**n* を対応する斉次方程式
: \text{(ii) }\quad y^{(n)}(x) + \sum_{i=0}^{n-1} a_i(x) y^{(i)}(x) = 0
の解の基本系とすると、もとの非斉次方程式のひとつの特殊解が
:\text{(iii) }\quad y_p(x) = \sum_{i=1}^{n} c_i(x) y_i(x)
で与えられる。ここで、*c**i*(*x*) は連続函数で方程式
:\text{(iv) }\quad \sum_{i=1}^{n} c_i'(x) y_i^{(j)}(x) = 0\quad (j = 0,\ldots, n-2)
を満足する。(iii) を (i) に代入して (iv) を適用すれば
:\text{(v) }\quad \sum_{i=1}^n c_i'(x) y_i^{(n-1)}(x) = b(x)
を得る。*y**i*(*x*) たちは線型独立だから、条件を満たすにはすべての *x* および *i* に対して *c**i*&prime; = 0 でなければならない。従って、*b*(*x*) = 0 の場合には、すべての *c**i*(*x*) が *x* に無関係な定数になる。

この *n* 本の線型方程式系はクラメルの公式を用いて解くことができて、
:c_i'(x) = \frac{W_i(x)}{W(x)}, \quad (i=1,\ldots,n)
が導かれる。ただし、*W*(*x*) は解の基本系のロンスキー行列式で、*W**i*(*x*) は基本系のロンスキー行列式の第 *i*-列を (0, 0, …, *b*(*x*)) で置き換えたものとする。

ゆえに、非斉次方程式の特殊解は
:\sum_{i=1}^n \left[\int \frac{W_i(x)}{W(x)} dx\right] y_i(x)
と書くことができる。

## 例
### 特定の二階方程式
方程式
:  y*+4y'+4y=\cosh{x}</math>
を解くことを考える。一般解を求めるために、斉次方程式
: <math>y*+4y'+4y=0
を解くと、この固有多項式は
: \lambda^2+4\lambda+4=(\lambda+2)^2
で、固有値 &minus;2 は重根であるから、*u*1 = *e*&minus;2*x* および *u*2 = *xe*&minus;2*x* が基本解となる。これらのロンスキー行列式は
: \begin{vmatrix}
   e^{-2x} & xe^{-2x} \\
 -2e^{-2x} & -e^{-2x}(2x-1)
\end{vmatrix} = e^{-4x}
である。これは 0 でないから、この二つの函数は確かに斉次方程式の一般解を生成する。

従って、*A*(*x*)*u*1 + *B*(*x*)*u*2 が非斉次方程式の一般解となるような *A*(*x*), *B*(*x*) を求めればよいが、それには積分
:A(x) = - \int {1\over W}\, u_2(x) b(x)\,dx,\quad B(x) = \int {1 \over W}\, u_1(x)b(x)\,dx
を計算すればよい。結局、
:\begin{cases}
  A(x) = - \int xe^{2x}\cosh{x}\,dx = -{1\over 18}e^x(9(x-1)+e^{2x}(3x-1))+C_1\\
  B(x) = \int e^{2x}\cosh{x}\,dx ={1\over 6}e^{x}(3+e^{2x})+C_2
\end{cases}
が求まる。ただし、*C*1, *C*2 は積分定数である。

### 一般の二階方程式
微分方程式
:u*+p(x)u'+q(x)u=f(x)</math>
を解くにあたって、*D* を[[微分演算子]]として線型微分作用素
:<math>L=D^2+p(x)D+q(x)</math>
を定義すると、*L* および *f*(*x*) が既知として、方程式 *Lu* = *f* を *u* に関して解けばよい、ということになる。

定数変化法を用いるために、まずは対応する斉次方程式
: <math>u*+p(x)u'+q(x)u=0
を解かねばならない。この方程式は二階であるから、線型独立な二つの解 *u*1, *u*2 が得られれば、定数変化法を適用することができる。

求める微分方程式の一般解 *u**G* は
:u_G(x)=A(x)u_1(x)+B(x)u_2(x)
の形をしているはずである。ただし、*A*(*x*), *B*(*x*) は未知で、*u*1(*x*), *u*2(*x*) は斉次方程式の解である。*A*(*x*) と *B*(*x*) がともに定数ならば *Lu**G* = 0 となるのは明らかである。*A* = *A*(*x*), *B* = *B*(*x*) は
:A'(x)u_1(x)+B'(x)u_2(x)=0
となるものと仮定すると、
:u_G'(x) = A(x)u_1'(x)+B(x)u_2'(x)
となり、さらに微分して
:u_G*(x) = A(x)u_1*(x)+B(x)u_2*(x)+A'(x)u_1'(x)+B'(x)u_2'(x)</math>
を得る。従って、*L* の *u*<sub>*G*</sub> への作用は
:<math>Lu_G = A(x)Lu_1(x)+B(x)Lu_2(x)+A'(x)u_1'(x)+B'(x)u_2'(x)</math>
と書くことができるが、*u*<sub>1</sub> と *u*<sub>2</sub> は斉次方程式の解だから
:<math>Lu_G(= f) = A'(x)u_1'(x)+B'(x)u_2'(x)</math>
となる。

以上から連立方程式
:<math>\begin{pmatrix}u_1(x) & u_2(x)\\u_1'(x) & u_2'(x)\end{pmatrix}\begin{pmatrix}A'(x)\\B'(x)\end{pmatrix}=\begin{pmatrix}0\\f\end{pmatrix}</math>
が得られたので、*A*(*x*), *B*(*x*) を求めるために、これを *A*&prime;, *B*&prime; について解くと
:<math>\begin{pmatrix}A'(x) \\B'(x)\end{pmatrix}
={1\over W}\begin{pmatrix}
u_2'(x)  & -u_2(x) \\
-u_1'(x) & u_1(x) \end{pmatrix}
\begin{pmatrix}0\\f\end{pmatrix}</math>
を得る。ただし *W* は *u*<sub>1</sub> と *u*<sub>2</sub> の[[ロンスキー行列式]]である（*u*<sub>1</sub> と *u*<sub>2</sub> が線型独立であるという仮定から *W* が 0 でないことは分かっている）。ゆえに
:<math>A(x) = - \int {1\over W}\, u_2(x) f(x)\,dx,\quad B(x) = \int {1 \over W}\, u_1(x)f(x)\,dx</math>
を得る。

斉次方程式が比較的容易に解ける限り、この方法で非斉次方程式の一般解の係数を計算することができて、非斉次方程式の完全な一般解を決定することができる。

*A*(*x*) も *B*(*x*) も任意定数（[[積分定数]]）を除いて定まる点に注意。元々の方程式が二階だったので、積分定数が2個出ることは予期されることである。*A*(*x*) または *B*(*x*) に定数を加えても、*L* は[[線型作用素|線型]]だから、*Lu*<sub>*G*</sub>(*x'') の値は変わらない。

## 参考文献
* 
* , pages 186-192, 237-241
* 

## 外部リンク
*Online Notes / Proof by Paul Dawkins, Lamar University.
* 
*Motivation of method via celestial mechanics