積分因子

積分因子とは

積分因子（integrating factor）は、微分方程式を解くための強力なツールとして使われる関数です。特に常微分方程式において、この因子を方程式全体に乗じることで、通常の方法では積分が難しい形（不完全微分）を、積分可能な形（完全微分）へと変換します。完全微分とは、あるスカラー関数の全微分として表現できる形式のことです。

この概念は、物理学、特に熱力学の分野でも応用されています。例えば、熱力学第二法則に関連して、温度は不完全微分である熱量を、完全微分であるエントロピーに変換するための積分因子として機能します。

2変数の方程式に関しては、積分因子は常に存在することが知られています。

積分因子の存在とカラテオドリの定理

一般の多次元空間における微分形式、特に1-形式 ψ の積分因子の存在は、カラテオドリの定理によって特徴づけられます。

n次元多様体 M 上の領域 U で定義された1-形式 ψ が与えられたとき、ある非零関数 f と関数 g が存在して ψ = f dg と書けるとき、1/f を ψ の積分因子と呼びます。カラテオドリの定理は、1-形式 ψ が積分因子を持つための条件を、互いに同値な3つの命題で示しています。

これらの同値な命題の一つは、 ψ を満たす（すなわち ψ に直交するベクトル場に沿った）経路によって到達できない近傍内の点が存在するという、幾何学的な条件です。別の命題は、微分形式の外積に関する条件 ψ ∧ dψ = 0 です。そして3番目の命題が、 ψ が（局所的に）積分因子を持つというものです。

この定理は、1909年にコンスタンティン・カラテオドリが熱力学第二法則を数学的に定式化する際に導入されました。

すべての1-形式が積分因子を持つわけではありませんが、いくつかの特別な場合にはその存在が保証されます。例えば、 ψ が閉形式である（すなわち dψ = 0 が成り立つ）ならば、ポアンカレの補題により積分因子として 1 が存在します。また、空間の次元 n が2以下の場合（n ≤ 2）には、カラテオドリの定理によってすべての1-形式について積分因子の存在が保証されることが示されており、これはヨハン・フリードリヒ・プファフによって以前に証明されていた事実です。

積分因子を用いた1階線形常微分方程式の解法

積分因子がどのように微分方程式の解法に用いられるかの典型的な例として、次のような1階線形常微分方程式を考えます。

y' + P(x)y = Q(x)

この方程式を解くために、適当な関数 M(x) （これが積分因子です）を両辺に掛けます。

M(x)y' + M(x)P(x)y = M(x)Q(x)

ここで、積分因子 M(x) をうまく選ぶと、左辺を積の微分 (M(x)y)' の形に書き直すことができます。積の微分の公式 (uv)' = u'v + uv' を M(x) と y に適用すると、(M(x)y)' = M'(x)y + M(x)y' となります。したがって、上記の式の左辺 M(x)y' + M(x)P(x)y が (M(x)y)' と等しくなるためには、M'(x)y が M(x)P(x)y に等しくなる必要があります。

M'(x)y = M(x)P(x)y

y≠0 の一般的な場合を考えると、M'(x) = M(x)P(x) という M(x) に関する微分方程式が得られます。この方程式は変数分離形であり、M(x) について解くことができます。

M'(x) / M(x) = P(x)

両辺を x で積分すると、左辺は ln|M(x)| の微分となることから、次が得られます。

ln|M(x)| = ∫ P(x) dx + C (積分定数)

積分因子は一つ見つかれば十分であり、通常は積分定数を0として正の値をとるように選びます。したがって、積分因子 M(x) は次のように具体的に求められます。

M(x) = exp(∫ P(x) dx)

この積分因子 M(x) を元の式の両辺に掛けた M(x)y' + M(x)P(x)y = M(x)Q(x) は、左辺が (M(x)y)' となるため、結局

(M(x)y)' = M(x)Q(x)

という形になります。この式は、M(x)Q(x) の原始関数を求めることで M(x)y が得られることを示しています。両辺を x で積分すると

yM(x) = ∫ M(x)Q(x) dx + C'

となり、最終的に元の微分方程式の解 y は次のように与えられます。

y = (∫ M(x)Q(x) dx + C') / M(x)

このように、積分因子を用いることで、1階線形常微分方程式を比較的容易に解くことができるのです。

積分因子は、微分方程式の構造を操作し、積分可能な形に帰着させるための、数学における洗練された手法の一つと言えるでしょう。

もう一度検索