工業数学シリーズ 第2回:1次微分方程式の概念
1次微分方程式は工業数学の出発点です。名前が馴染みないように見えますが、実は「ある量の変化速度がわかっているとき、元の量の動きを復元する問題」と考えればずっと身近になります。
問題意識
現実のシステムでは、ほとんどの場合、静的な値よりも変化の過程が重要です。現在の温度、現在の電圧、現在の速度よりも「どれだけ速く変わっているか」がシステムの性質を決めることが多いです。微分方程式はまさにこの変化の規則を数式で書き留めたものです。
1次微分方程式とは、最高次の微分が1回だけ現れる式を意味します。一般的に次のように書きます。
$$F(x, y, y') = 0$$
またはより直接的に
$$\frac{dy}{dx} = f(x, y)$$
ここで$x$は独立変数、$y$は未知関数、$y'$はその変化率です。
解を求めるとは何か
1次微分方程式の解を求めるとは、式を満たす関数$y(x)$を見つけるという意味です。
例えば
$$\frac{dy}{dx} = 2x$$
を満たす関数は
$$y = x^2 + C$$
です。微分してみると確かに$2x$になるからです。つまり微分方程式の解は一つの数ではなく、通常は**関数全体**です。
なぜ積分定数が生まれるのか
微分は情報の一部を消します。$x^2$を微分しても$2x$、$x^2 + 5$を微分しても$2x$です。したがって微分方程式を逆に解く過程では、失われた情報を定数$C$で復元する必要があります。
このため一般解は通常
$$y = \text{何らかの式} + C$$
の形になります。そして初期条件や境界条件が与えられると、その時$C$が決まります。
初期値問題の意味
現実の問題では、現在の状態が一緒に与えられることが多いです。例えば
$$\frac{dy}{dx} = 2x, \quad y(0) = 3$$
であれば、一般解$y = x^2 + C$に$y(0) = 3$を代入して$C = 3$を得て、
$$y = x^2 + 3$$
という特殊解を得ます。
このように微分方程式と初期条件が一緒に与えられる問題を**初期値問題**と呼びます。工学では、回路を入れたときの初期電圧がいくらか、システム開始時の位置と速度がいくらかなどの情報がこの役割を果たします。
傾き場による直観
式
$$\frac{dy}{dx} = f(x, y)$$
は座標平面の各点での傾きを教えてくれます。この情報を矢印や小さな線分で描くと**傾き場**になり、解はその傾き場に沿って進む曲線になります。
例えば
$$\frac{dy}{dx} = y$$
では、$y$が大きいところほど傾きが急で、$y=0$付近ではほぼ平らです。そのため解は指数関数の形になります。
この直観は、後に正確な解を求めるのが難しい問題でも非常に重要です。手で完全に解けなくても、解が増加しているのか減少しているのか、どの値に引き込まれているのかくらいは読み取れるようにならなければなりません。
代表例題
次の問題を見てみましょう。
$$\frac{dy}{dt} = -0.5y, \quad y(0) = 10$$
この式は現在の量の半分の割合で減少する現象を表しています。一般解は
$$y(t) = Ce^{-0.5t}$$
であり、初期条件を代入すると
$$10 = Ce^0 = C$$
なので
$$y(t) = 10e^{-0.5t}$$
です。
この解は、時間が経つにつれて値が0に近づく減衰現象を示しています。
工学応用
冷却問題
ある物体の温度が周囲温度に近づく過程は、しばしば
$$\frac{dT}{dt} = -k(T - T_s)$$
のようにモデリングします。現在の温度と周囲温度の差が大きいほど速く冷えるという意味です。
簡単なRC回路
コンデンサの電圧変化も1次微分方程式から始まります。回路解析で2次、3次システムに進む前に最初に見る典型的な例です。
サービストラフィック減衰モデル
開発者の観点では、キャッシュTTL後に減少するトラフィック、徐々に安定するキュー長、簡単なフィードバックシステムも似た構造で見ることができます。
よくある間違い
式と解を区別できない
微分方程式は関数が満たすべき規則であり、解はその規則を満たす関数です。両者は同じものではありません。
初期条件を入れるのが遅すぎる
一般解を求めた後に特殊解を得るために初期条件を入れるという流れを忘れると、計算がよく混乱します。
変化率と関数値を混同する
$y$と$y'$は全く異なる情報です。値が大きいからといって変化率が必ず大きいわけではなく、逆に値が小さくても変化率は大きいことがあります。
一行まとめ
1次微分方程式は「変化率の規則」から「関数の時間に沿った動き」を復元する問題です。
次回予告
次の記事では、1次微分方程式を実際に解く代表的な方法である**変数分離法、積分因子法、完全微分方程式**を順番に整理します。
参考資料
- Erwin Kreyszig, _Advanced Engineering Mathematics_, 10th Edition
- Dennis G. Zill, _A First Course in Differential Equations_
- Paul Dawkins, _Differential Equations Notes_
현재 단락 (1/53)
1次微分方程式は工業数学の出発点です。名前が馴染みないように見えますが、実は「ある量の変化速度がわかっているとき、元の量の動きを復元する問題」と考えればずっと身近になります。