$k$ を正の定数、$y_0$ を定数とする。微分方程式 $\frac{dy}{dt} = -k(y-y_0)$ を解く。解析学微分方程式変数分離形指数関数2025/7/2## 解答1. 問題の内容kkk を正の定数、y0y_0y0 を定数とする。微分方程式 dydt=−k(y−y0)\frac{dy}{dt} = -k(y-y_0)dtdy=−k(y−y0) を解く。2. 解き方の手順これは変数分離形の微分方程式なので、次のように解く。まず、y≠y0y \neq y_0y=y0 のとき、両辺を y−y0y-y_0y−y0 で割る。1y−y0dydt=−k\frac{1}{y-y_0}\frac{dy}{dt} = -ky−y01dtdy=−k両辺を ttt で積分する。∫1y−y0dydtdt=∫−kdt\int \frac{1}{y-y_0} \frac{dy}{dt} dt = \int -k dt∫y−y01dtdydt=∫−kdt左辺は置換積分により、dydtdt=dy\frac{dy}{dt} dt = dydtdydt=dy なので、∫1y−y0dy=−kt+C1\int \frac{1}{y-y_0} dy = -kt + C_1∫y−y01dy=−kt+C1ここで、C1C_1C1 は積分定数。左辺を計算すると、ln∣y−y0∣=−kt+C1\ln |y-y_0| = -kt + C_1ln∣y−y0∣=−kt+C1両辺の指数を取ると、∣y−y0∣=e−kt+C1=eC1e−kt|y-y_0| = e^{-kt + C_1} = e^{C_1} e^{-kt}∣y−y0∣=e−kt+C1=eC1e−kty−y0=±eC1e−kty-y_0 = \pm e^{C_1} e^{-kt}y−y0=±eC1e−ktC=±eC1C = \pm e^{C_1}C=±eC1 とおくと、CCC は任意定数となるので、y=y0+Ce−kty = y_0 + Ce^{-kt}y=y0+Ce−kty=y0y = y_0y=y0 のときも、y′=0=−k(y0−y0)y' = 0 = -k(y_0 - y_0)y′=0=−k(y0−y0) を満たすので、この解に含まれる。3. 最終的な答えy=y0+Ce−kty = y_0 + Ce^{-kt}y=y0+Ce−ktここで、CCC は任意定数。