クレローの方程式

クレローの方程式：詳細解説

クレローの方程式は、数学において特異な性質を持つ微分方程式の一種です。フランスの数学者アレクシス・クレローの名にちなんで命名されました。この方程式は、常微分方程式と偏微分方程式の2つの形で表すことができます。それぞれについて、その定義と解法を詳しく見ていきましょう。

1. 常微分方程式としてのクレローの方程式

常微分方程式としてのクレローの方程式は、以下の形で表されます。

y(x) = x(dy/dx) + f(dy/dx)

ここで、y(x) は x の関数、f は任意の関数です。この方程式を解くには、まず両辺を x について微分します。すると、次の式が得られます。

dy/dx = dy/dx + x(d²y/dx²) + f'(dy/dx)(d²y/dx²)

この式を整理すると、

0 = (x + f'(dy/dx))(d²y/dx²)

となります。この式から、次の2つの場合が考えられます。

場合1: d²y/dx² = 0

この場合、dy/dx はある定数 C となります。これを元の方程式に代入すると、一般解

y(x) = Cx + f(C)

が得られます。これは、C を任意定数とする関数の族を表しています。

場合2: x + f'(dy/dx) = 0

この場合、dy/dx は x の関数となります。この式から y(x) を求めることで、特異解が得られます。特異解は、一般解の包絡線として幾何学的に解釈することができます。つまり、一般解の曲線群が接する曲線が特異解となります。

2. 偏微分方程式としてのクレローの方程式

偏微分方程式としてのクレローの方程式は、以下の形で表されます。

u = xux + yuy + f(ux, uy)

ここで、u は x と y の関数、ux と uy はそれぞれ u の x と y に関する偏微分を表し、f は任意の関数です。この方程式は、シャルピの解法を用いて解くことができます。

シャルピの解法では、まず p = ux、q = uy とおき、方程式を

F(x, y, u, p, q) = u - xp - yq - f(p, q) = 0

と書き換えます。その後、補助方程式

dx/(x + fp) = dy/(y + fq) = du/(xp + pfp + yq + qfq) = dp/0 = dq/0

を解くことで、一般解を得ることができます。ここで、fp と fq はそれぞれ f の p と q に関する偏微分を表します。 補助方程式から dp = dq = 0 が得られるため、ux = a、uy = b とおくと、完全解

u = ax + by + f(a, b)

が得られます。a と b は積分定数です。 この完全解の包絡面が特異解となります。 また、積分定数 a, b の間に関係式 b = g(a) を与えることで一般解を得ることも可能です。

まとめ

クレローの方程式は、その特殊な形と解法から、微分方程式論において重要な役割を果たしています。常微分方程式の場合、一般解と特異解という2種類の解を持ち、偏微分方程式の場合、シャルピの解法を用いて解くことができます。これらの解法を理解することで、様々な微分方程式問題への対応能力を高めることができます。

もう一度検索